(2019-05) Бараніченко, Олексій Миколайович; Шаповалова, Світлана Ігорівна
На сьогоднішній день в різних областях науки і техніки існує велика кількість задач, для розв’язання яких необхідно проводити логічні роздуми. Найбільш відомою такою задачею є «Загадка Ейнштейна». Однак існуючі методи їх розв’язання або є занадто складними і ресурсномісткими для реалізації, або не дозволяють вирішувати складні задачі. Тому розроблення методу розв’язання таких задач є актуальним і має практичне застосування.
В роботі запропоновано метод розв’язання логічних задач на основі спеціальної обчислювальної структури – мережі зв’язків та наведено алгоритми її побудови та навчання. Після цього було розроблено програмне забезпечення, яке дозволяє розв’язувати логічні задачі розробленим методом, та проведено обчислювальні експерименти, які довели ефективність та доцільність його використання.