Формалізація представлення продукційних правил в Erlang
У статті запропоновано формалізацію представлення в Erlang продукційної моделі представлення знань та відповідне представлення продукційних правил, умовна частина яких відповідає логіці першого порядку. Метою роботи є створення функції Erlang, яка не тільки представляє в базі знань правило висновува...
Збережено в:
| Опубліковано в: : | Математичне та комп'ютерне моделювання. Серія: Технічні науки |
|---|---|
| Дата: | 2020 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2020
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/181492 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Формалізація представлення продукційних правил в Erlang / С.І, Шаповалова // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2020. — Вип. 21. — С. 125-139. — Бібліогр.: 8 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862712005749637120 |
|---|---|
| author | Шаповалова, С.І, |
| author_facet | Шаповалова, С.І, |
| citation_txt | Формалізація представлення продукційних правил в Erlang / С.І, Шаповалова // Математичне та комп'ютерне моделювання. Серія: Технічні науки: зб. наук. пр. — Кам’янець-Подільський: Кам'янець-Подільськ. нац. ун-т, 2020. — Вип. 21. — С. 125-139. — Бібліогр.: 8 назв. — укр. |
| collection | DSpace DC |
| container_title | Математичне та комп'ютерне моделювання. Серія: Технічні науки |
| 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.
|
| first_indexed | 2025-12-07T17:34:39Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-181492 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 2308-5916 |
| language | Ukrainian |
| last_indexed | 2025-12-07T17:34:39Z |
| publishDate | 2020 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Формалізація представлення продукційних правил в Erlang Шаповалова, С.І, |
| title | Формалізація представлення продукційних правил в Erlang |
| title_alt | Formalization of the Rules of Inference in Erlang |
| title_full | Формалізація представлення продукційних правил в Erlang |
| title_fullStr | Формалізація представлення продукційних правил в Erlang |
| title_full_unstemmed | Формалізація представлення продукційних правил в Erlang |
| title_short | Формалізація представлення продукційних правил в Erlang |
| title_sort | формалізація представлення продукційних правил в erlang |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/181492 |
| work_keys_str_mv | AT šapovalovasí formalízacíâpredstavlennâprodukcíinihpravilverlang AT šapovalovasí formalizationoftherulesofinferenceinerlang |