Автоматичне розв’язання логічних задач
Вантажиться...
Дата
2019-05
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
На сьогоднішній день в різних областях науки і техніки існує велика кількість задач, для розв’язання яких необхідно проводити логічні роздуми. Найбільш відомою такою задачею є «Загадка Ейнштейна». Однак існуючі методи їх розв’язання або є занадто складними і ресурсномісткими для реалізації, або не дозволяють вирішувати складні задачі. Тому розроблення методу розв’язання таких задач є актуальним і має практичне застосування.
В роботі запропоновано метод розв’язання логічних задач на основі спеціальної обчислювальної структури – мережі зв’язків та наведено алгоритми її побудови та навчання. Після цього було розроблено програмне забезпечення, яке дозволяє розв’язувати логічні задачі розробленим методом, та проведено обчислювальні експерименти, які довели ефективність та доцільність його використання.
Опис
Ключові слова
логічна задача, zebra puzzle, машинне навчання, мережа зв’язків, logical task, machine learning, network of links
Бібліографічний опис
Бараніченко, О. М. Автоматичне розв’язання логічних задач : магістерська дис. : 121 Інженерія програмного забезпечення / Бараніченко Олексій Миколайович. – Київ, 2019. – 106 с.