In this paper we present the model-checking module of decision-making models in the frame of ModelsCreator, an educational modelling environment. The model-checking module aims to assist young students to construct qualitative models for decision-making problems solving. We specify the decision-making models that may be built and we explain the model checking mechanism. The model-checking mechanism compares the student model with the reference model constructed by the teacher and provides immediate advice to the student to help him create a valid model. So, the model-checking module of a decision-making model aims to facilitate student to structure convincing decisions in the proper situations.
展开▼