Providing Assistance during Decision-making Problems Solving in an Educational Modelling Environment

  • Panagiotis Politis
  • Ioannis Partsakoulakis
  • George Vouros
  • Christos Fidas
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 296)


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.


Reference Model Young Student Atomic Formula Conjunctive Normal Form Student Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Beckett, L., Boohan, R.: Computer Modelling for the Young — and not so Young — Scientist, Microcomputer Based Labs: educational research and Standards, R. Thinker (ed), Springer Verlag, ASI series, Vol 156, (1995) 227–238Google Scholar
  2. 2.
    Dimitracopoulou, A., Vosniadou, S., Ioannides, C.: Exploring and modelling the real world through designed environments for young children. In Proceedings 7th European Conference for Research on Learning and Instruction EARLI, Athens, Greece (1997)Google Scholar
  3. 3.
    Dimitracopoulou, A., Komis, V., Apostolopoulos P., Politis, P.: Design Principles of a New Modelling Environment Supporting Various Types of Reasoning and Interdisciplinary Approaches. In Proceedings 9th International Conference of Artificial Intelligence in Education, IOS Press, Ohmsha, (1999) 109–120Google Scholar
  4. 4.
    Fidas, C., Komis, V., Avouris, N., Dimitracopoulou, A.: Collaborative Problem Solving using an Open Modelling Environment. In G. Stahl (edited by), Computer Support For Collaborative Learning: Foundations For A CSCL Community, Proceedings of CSCL 2002, Boulder, Colorado, Lawrence Erlbaum Associates, Inc., (2002) 654–655CrossRefGoogle Scholar
  5. 5.
    Partsakoulakis, I., Vouros, G.: Helping Young Students Reach Valid Decision through Model Checking. In Proceedings 3rd Hellenic Conference on Technology of Information and Communication in Education, Rhodes, Greece (2002) 669–678Google Scholar
  6. 6.
    Teodoro, V. D.: Learning with Computer-Based Exploratory Environments in Science and Mathematics. In S. Vosniadou, E. De Corte, H. Mandl (Eds.), Technology -Based Learning Environments: Psychological and Educational Foundations, NATO ASI Series, Vol. 137, Berlin: Springer Verlag. (1994) 179–186Google Scholar
  7. 7.
    Teodoro V.D. Modellus: Using a Computational Tool to Change the Teaching and Learning of Mathematics and Science, in “New Technologies and the Role of the Teacher” Open University, Milton Keynes, UK (1997)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2009

Authors and Affiliations

  • Panagiotis Politis
    • 1
  • Ioannis Partsakoulakis
    • 2
  • George Vouros
    • 2
  • Christos Fidas
    • 3
  1. 1.Dept. of Primary EducationUniversity of ThessalyVolosGreece
  2. 2.Dept. of Information and Communication Systems EngineeringUniversity of the AegeanSamosGreece
  3. 3.Dept. of Electrical and Computer EngineeringUniversity of PatrasRio PatrasGreece

Personalised recommendations