Abstract
The article presents a developed software package that implements the training system that automates intellectual activity in creating programs in the language of logical programming. The choice of semantic networks as a way of the representation of knowledge in the process of modeling subject domains in the learning system during the formulation of educational logical problems is substantiated. The typology of the learning tasks used to master the logical programming language Prolog is grounded, including the following types of tasks: logical, arithmetic, value analysis tasks with subsequent selection or ordering and creation of knowledge bases on the subject domain. In this case, for each type of problem, the possibility of applying analysis of formal concepts to solve them has been investigated and a set of examples has been compiled. The technique of analysis of formal concepts and their grouping depending on the parameters of objects of the domain is developed, the essence of which is to identify an invariant set of descriptors suitable for representing different subject areas, which allows the generation of rules. The technique for generating domain representation rules based on the declaration of predicates with one or more parameters, which are correlated with the peculiarities of formulations of typical learning tasks, is developed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Cussens, J.: Issues in learning language in logic. In: Proceeding Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 491–505. Springer-Verlag, London, UK (2002)
Borovskaya, E.V., Davydova, N.A.: Fundamentals of artificial intelligence/Training manual, BINOM. Laboratory of Knowledge, p. 127 (2010)
Yasnitsky, L.N.: Intellectual systems/tutorial. Laboratory of Knowledge, 221 p. (2016)
Davydova, E.A., Lapenok, M.V.: The Application of the analysis of formal concepts for the generation of the rules of the representation of a subject domain when creating educational software/Actual problems of teaching mathematics, informatics and information technologies, no. 2, 170–181 pp. (2017)
Kuznetsov, S.O.: Lattices of formal concepts in modern methods of analysis and data development, 86 p. Pospelov Readings (2011)
Bratko, I.: Programming in the language PROLOG for artificial intelligence, 243 p. Mir, Moscow (1990)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Lapenok, M.V., Patrusheva, O.M., Pokhodzey, G.V., Suetina, A.I., Lozinskaya, A.M., Rozhina, I.V. (2019). Automation System of Intellectual Activity on Creating Programs in the Language of Logical Programming. In: Uskov, V., Howlett, R., Jain, L., Vlacic, L. (eds) Smart Education and e-Learning 2018. KES SEEL-18 2018. Smart Innovation, Systems and Technologies, vol 99. Springer, Cham. https://doi.org/10.1007/978-3-319-92363-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-92363-5_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-92362-8
Online ISBN: 978-3-319-92363-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)