Формалізація представлення продукційних правил в 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, яка не тільки представляє в базі знань правило висновува...