Розв'язання логічних задач на основі машинного навчання

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

У статті запропоновано спосіб розв’язання логічних задач‑головоломок на основі машинного навчання. Спосіб розраховано на попередню формалізацію задач у вигляді опису властивостей та відношень між ними. Оскільки кожна властивість має множину можливих значень, розв’язання задачі методами перебору має комбінаторну складність. При великій кількості властивостей та їх значень час розв’язання стрімко зростає. 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. Be-cause 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.