Шаповалова, Світлана ІгорівнаБараніченко, Олексій Миколайович2019-05-222019-05-222019-05Бараніченко, О. М. Автоматичне розв’язання логічних задач : магістерська дис. : 121 Інженерія програмного забезпечення / Бараніченко Олексій Миколайович. – Київ, 2019. – 106 с.https://ela.kpi.ua/handle/123456789/27624На сьогоднішній день в різних областях науки і техніки існує велика кількість задач, для розв’язання яких необхідно проводити логічні роздуми. Найбільш відомою такою задачею є «Загадка Ейнштейна». Однак існуючі методи їх розв’язання або є занадто складними і ресурсномісткими для реалізації, або не дозволяють вирішувати складні задачі. Тому розроблення методу розв’язання таких задач є актуальним і має практичне застосування. В роботі запропоновано метод розв’язання логічних задач на основі спеціальної обчислювальної структури – мережі зв’язків та наведено алгоритми її побудови та навчання. Після цього було розроблено програмне забезпечення, яке дозволяє розв’язувати логічні задачі розробленим методом, та проведено обчислювальні експерименти, які довели ефективність та доцільність його використання.ukлогічна задачаzebra puzzleмашинне навчаннямережа зв’язківlogical taskmachine learningnetwork of linksMaster Thesis106 с.004.032.26