Формалізація представлення продукційних правил в Erlang
У статті запропоновано формалізацію представлення в Erlang продукційної моделі представлення знань та відповідне представлення продукційних правил, умовна частина яких відповідає логіці першого порядку. Метою роботи є створення функції Erlang, яка не тільки представляє в базі знань правило висновува...
Gespeichert in:
| Veröffentlicht in: | Математичне та комп'ютерне моделювання. Серія: Технічні науки |
|---|---|
| Datum: | 2020 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2020
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/181492 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Формалізація представлення продукційних правил в Erlang / С.І, Шаповалова // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2020. — Вип. 21. — С. 125-139. — Бібліогр.: 8 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-181492 |
|---|---|
| record_format |
dspace |
| spelling |
Шаповалова, С.І, 2021-11-18T10:47:46Z 2021-11-18T10:47:46Z 2020 Формалізація представлення продукційних правил в Erlang / С.І, Шаповалова // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2020. — Вип. 21. — С. 125-139. — Бібліогр.: 8 назв. — укр. 2308-5916 DOI: 10.32626/2308-5916.2020-21.125-139 https://nasplib.isofts.kiev.ua/handle/123456789/181492 004.832 У статті запропоновано формалізацію представлення в 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. uk Інститут кібернетики ім. В.М. Глушкова НАН України Математичне та комп'ютерне моделювання. Серія: Технічні науки Формалізація представлення продукційних правил в Erlang Formalization of the Rules of Inference in Erlang Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Формалізація представлення продукційних правил в Erlang |
| spellingShingle |
Формалізація представлення продукційних правил в Erlang Шаповалова, С.І, |
| title_short |
Формалізація представлення продукційних правил в Erlang |
| title_full |
Формалізація представлення продукційних правил в Erlang |
| title_fullStr |
Формалізація представлення продукційних правил в Erlang |
| title_full_unstemmed |
Формалізація представлення продукційних правил в Erlang |
| title_sort |
формалізація представлення продукційних правил в erlang |
| author |
Шаповалова, С.І, |
| author_facet |
Шаповалова, С.І, |
| publishDate |
2020 |
| language |
Ukrainian |
| container_title |
Математичне та комп'ютерне моделювання. Серія: Технічні науки |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Formalization of the Rules of Inference in Erlang |
| description |
У статті запропоновано формалізацію представлення в 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.
|
| issn |
2308-5916 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/181492 |
| citation_txt |
Формалізація представлення продукційних правил в Erlang / С.І, Шаповалова // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2020. — Вип. 21. — С. 125-139. — Бібліогр.: 8 назв. — укр. |
| work_keys_str_mv |
AT šapovalovasí formalízacíâpredstavlennâprodukcíinihpravilverlang AT šapovalovasí formalizationoftherulesofinferenceinerlang |
| first_indexed |
2025-12-07T17:34:39Z |
| last_indexed |
2025-12-07T17:34:39Z |
| _version_ |
1850871780308156416 |