Please use this identifier to cite or link to this item: http://elar.uspu.ru/handle/uspu/10585
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.
Issue Date: 2019
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
INTELLECTUAL ACTIVITY
LOGICAL PROGRAMMING
PREDICATE
PROLOG
RULE GENERATION
AUTOMATION
E-LEARNING
FORMAL CONCEPT ANALYSIS
PROBLEM ORIENTED LANGUAGES
SEMANTICS
FORMAL CONCEPTS
INTELLECTUAL ACTIVITIES
LOGICAL PROGRAMMING
PREDICATE
PROLOG
RULE GENERATION
PROLOG (PROGRAMMING LANGUAGE)
URI: http://elar.uspu.ru/handle/uspu/10585
ISBN: 9783319923628
DOI: 10.1007/978-3-319-92363-5_6
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.