Автоматичне розв’язання логічних задач

Скорочена інформація про документ
dc.contributor.advisorШаповалова, Світлана Ігорівна
dc.contributor.authorБараніченко, Олексій Миколайович
dc.date.accessioned2019-05-22T16:32:44Z
dc.date.available2019-05-22T16:32:44Z
dc.date.issued2019-05
dc.description.abstractenToday, in various fields of science and technics there are a large number of tasks for the solution of which it is necessary to produce logical reasoning. The most famous such task is the "Einstein's riddle". However, existing methods for their solution are both too difficult and resource-intensive for implementation, or do not allow solving complex tasks. Therefore, the development of a method for solving such tasks is relevant and has practical application. The paper proposes a method for solving logical problems on the basis of a special computational structure - a network of connections and provides algorithms for its construction and training. After that, software was developed that allows solving logical problems by the developed method, and computational experiments were carried out, which proved the efficiency and expediency of its use.uk
dc.description.abstractruСегодня в разных областях науки и техники существует большое количество задач, для решения которых необходимо производить логические рассуждения. Наиболее известной такой задачей является «Загадка Эйнштейна». Однако существующие методы их решения являются либо слишком сложными и ресурсоёмкими для реализации, либо не позволяют решать сложные задачи. Поэтому, разработка метода решения таких задач актуальна и имеет практическое применение. В работе предложено метод решения логических задач на базе специальной вычислительной структуры – сети связей и приведены алгоритмы её построения и обучения. После этого было разработано программное обеспечение, которое позволяет решать логические задачи разработанным методом, и проведены вычислительные эксперименты, которые доказали эффективность и целесообразность его использования.uk
dc.description.abstractukНа сьогоднішній день в різних областях науки і техніки існує велика кількість задач, для розв’язання яких необхідно проводити логічні роздуми. Найбільш відомою такою задачею є «Загадка Ейнштейна». Однак існуючі методи їх розв’язання або є занадто складними і ресурсномісткими для реалізації, або не дозволяють вирішувати складні задачі. Тому розроблення методу розв’язання таких задач є актуальним і має практичне застосування. В роботі запропоновано метод розв’язання логічних задач на основі спеціальної обчислювальної структури – мережі зв’язків та наведено алгоритми її побудови та навчання. Після цього було розроблено програмне забезпечення, яке дозволяє розв’язувати логічні задачі розробленим методом, та проведено обчислювальні експерименти, які довели ефективність та доцільність його використання.uk
dc.format.page106 с.uk
dc.identifier.citationБараніченко, О. М. Автоматичне розв’язання логічних задач : магістерська дис. : 121 Інженерія програмного забезпечення / Бараніченко Олексій Миколайович. – Київ, 2019. – 106 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/27624
dc.language.isoukuk
dc.publisher.placeКиївuk
dc.subjectлогічна задачаuk
dc.subjectzebra puzzleuk
dc.subjectмашинне навчанняuk
dc.subjectмережа зв’язківuk
dc.subjectlogical taskuk
dc.subjectmachine learninguk
dc.subjectnetwork of linksuk
dc.subject.udc004.032.26uk
dc.titleАвтоматичне розв’язання логічних задачuk
dc.typeMaster Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Baranichenko_magistr.pdf
Розмір:
9.23 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.06 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Магістерські роботи (АПЕПС)
Магістерські роботи