The purpose of the article is to study and solve the problems of using the basic principles of the modern formalism of descriptive (terminological) logic in intelligent learning systems that use knowledge bases of educational content. The research methods are the main methodological approaches and technological tools for the development of intelligent learning systems. In particular, systemic and comparative analyses to identify the features of intelligent learning systems, the method of expert evaluation, which involves the analysis of literature and information resources, interviews and surveys of experts in the field of information technology and mathematical logic, as well as the process of developing and testing an intelligent system. The scientific novelty of the study is the development of a system for obtaining expert knowledge for an intelligent system that combines the formation of an expert knowledge base, and the formalism for representing which is descriptive logic. The proposed approach of formalized knowledge representation using descriptive logic can be used in the development of authors’ intelligent learning systems in the field of online education and cognitive skills development. Conclusions. The scope of application of descriptive logic in intelligent systems is constantly expanding, increasing the capabilities of these systems to formally derive new knowledge, including in conditions of incomplete certainty. Descriptive logic, used in intelligent learning systems, provides ample opportunities for building a conclusion (i.e., forming an answer), in particular in situations such as forming and answering various types of queries to the system’s knowledge base (e.g., fully defined and clearly formulated, incompletely defined and vaguely formulated, completely vague, incompletely defined and clearly formulated, completely vague, completely vague and vaguely formulated), helping to specify the query. To do this, it is necessary to formulate a rigorous number system (to build an axiomatic theory). Thus, as a means of solving semantic and logical problems, descriptive logic has become a unique and powerful mechanism for representing knowledge. The successful use of descriptive logic in the author’s intelligent educational system will ensure the improvement of the quality of the educational process; monitoring of the learning process and control of its results; will facilitate the integration of this system into many modern information educational systems; will provide various consultations, advice, interpretations, explanations regarding the educational content or educational process, as well as a wide range of topics of educational content and tests of different levels.
Read full abstract