Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.uspu.ru/handle/uspu/10585
Название: Automation system of intellectual activity on creating programs in the language of logical programming
Авторы: Lapenok, M. V.
Patrusheva, O. M.
Pokhodzey, G. V.
Suetina, A. I.
Lozinskaya, A. M.
Rozhina, I. V.
Дата публикации: 2019
Издатель: Springer Science and Business Media Deutschland GmbH
Аннотация: 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.
Ключевые слова: 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
Располагается в коллекциях:Научные публикации, проиндексированные в Scopus и Web of Science

Файлы этого ресурса:
Нет файлов, ассоциированных с этим ресурсом.


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
Размещение материалов в ЭБ УрГПУ осуществляется в соответствии с законодательством о защите интеллектуальной собственности, Гражданским кодексом РФ часть IV. В случае наличия у автора договорных обязательств перед третьими лицами, ответственность за объем авторских прав, предоставляемых третьим лицам, несет автор.