A Knowledge Testing Production Model Based on a Cognitive Map for SWI-Prolog Applications

摘要

In this paper, we describe the ways of improving knowledge assessment with the help of cognitive maps, made during the process of working with intelligent tutoring system “E-learning center — High-edu”. Cognitive map consists of didactic units — minimal units of knowledge about some discipline’s domain. This article shows, how they can be used in intelligent tutoring systems. The example of algorithm realization of forming the didactic units list from discipline cognitive map for consistency of test task presentation determining is shown. The operator model are presented in this paper, which can be helpful for researchers and engineers for using Prolog language for expert systems and knowledge management systems development as well as for support of educational process and the control of student knowledge that will allow achieving improvement of quality of electronic education.