Модели нейронных сетей и их реализации. Последовательный и параллельный методы резолюции как средства логического вывода. Зависимость между логическим следованием и логическим выводом. Применение технологии CUDA и реализация параллельного алгоритма.
Аннотация к работе
Глава 1. Задача логического вывода в нейронных сетях 1.1 Искусственные нейронные сети 1.2 Логические нейронные сети 1.3 Логический вывод 1.3.1 Принцип резолюции Робинсона 1.3.2 Параллельный метод резолюции 1.4 Выводы Глава 2. Построение логической нейронной сети для задачи логического следования 2.1 Реализация конструктора сети и подстановки значений 2.2 Возможности параллелизации использованных алгоритмов 2.3 Выводы Глава 3. Применение технологии CUDA для параллельной реализации логической нейронной сети 3.1 История и структура технологии CUDA 3.2 Применение технологии 3.3 Реализация параллельного алгоритма Заключение Список литературы Приложения Введение Начиная с появления первых людей, человечество генерирует различную информацию, и с каждым днём, скорость и объёмы создаваемой информации только увеличиваются. На сегодняшний день информационная сфера является неотъемлемой части жизни практически любого человека. Однако, количество существующей сегодня информации, и информации, действительно нужной человек