Формалізація представлення продукційних правил в Erlang

• Published in: Математичне та комп'ютерне моделювання. Серія: Технічні науки
• Date: 2020
• Main Author: Шаповалова, С.І
• Format: Article
• Language: Ukrainian
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2020
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/181492
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Формалізація представлення продукційних правил в Erlang / С.І, Шаповалова // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2020. — Вип. 21. — С. 125-139. — Бібліогр.: 8 назв. — укр.

У статті запропоновано формалізацію представлення в Erlang продукційної моделі представлення знань та відповідне представлення продукційних правил, умовна частина яких відповідає логіці першого порядку. Метою роботи є створення функції Erlang, яка не тільки представляє в базі знань правило висновування, а також виконує його активізацію при виклику. The article proposes a method of solving logical puzzles on the basis of machine learning. The method is designed for the preliminary formalization of tasks in the form of description of properties and relations between them. Because each property has a set of possible values, the solution of the puzzle by the methods of search has a combinatorial complexity. With a large number of properties and their values, the time of the solving is rapidly increasing.