Please use this identifier to cite or link to this item:
|Title:||Automation system of intellectual activity on creating programs in the language of logical programming|
|Authors:||Lapenok, M. V.|
Patrusheva, O. M.
Pokhodzey, G. V.
Suetina, A. I.
Lozinskaya, A. M.
Rozhina, I. V.
|Publisher:||Springer Science and Business Media Deutschland GmbH|
|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. © 2019, Springer International Publishing AG, part of Springer Nature.|
|Keywords:||ANALYSIS OF FORMAL CONCEPTS|
FORMAL CONCEPT ANALYSIS
PROBLEM ORIENTED LANGUAGES
PROLOG (PROGRAMMING LANGUAGE)
|Appears in Collections:||Научные публикации, проиндексированные в Scopus и Web of Science|
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.