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

dc.contributor.author	Шаповалова, С.І,
dc.date.accessioned	2021-11-18T10:47:46Z
dc.date.available	2021-11-18T10:47:46Z
dc.date.issued	2020
dc.identifier.citation	Формалізація представлення продукційних правил в Erlang / С.І, Шаповалова // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2020. — Вип. 21. — С. 125-139. — Бібліогр.: 8 назв. — укр.	uk_UA
dc.identifier.issn	2308-5916
dc.identifier.other	DOI: 10.32626/2308-5916.2020-21.125-139
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/181492
dc.description.abstract	У статті запропоновано формалізацію представлення в Erlang продукційної моделі представлення знань та відповідне представлення продукційних правил, умовна частина яких відповідає логіці першого порядку. Метою роботи є створення функції Erlang, яка не тільки представляє в базі знань правило висновування, а також виконує його активізацію при виклику.	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Інститут кібернетики ім. В.М. Глушкова НАН України	uk_UA
dc.relation.ispartof	Математичне та комп'ютерне моделювання. Серія: Технічні науки
dc.title	Формалізація представлення продукційних правил в Erlang	uk_UA
dc.title.alternative	Formalization of the Rules of Inference in Erlang	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.832