|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Автоматическое доказательство логических теорем с помощью метода резольвентдипломная работа (Бакалавр)
- Научный руководитель: Санников В.Ф.
- Автор: Пугач И.А.
- Тип: Бакалавр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова, Филиал МГУ имени М.В.Ломоносова в городе Севастополе
- Год защиты: 2016
- Аннотация: Дипломная работа посвящена применению существующих методов математиче-ской логики для доказательства теорем в логике предикатов первого порядка, в частности, метода резольвент. Автоматическое доказательство теорем — одна из наиболее интерес-ных задач интенсивно развивающихся разработок искусственного интеллекта. В работе представлен обзор существующих методов автоматического доказатель-ства логических теорем. Выполнен анализ, на основе которого разработана простая в ис-пользовании система автоматического доказательства логических теорем, предназначен-ная для изучения метода резольвент в учебном процессе в качестве вспомогательного ин-струмента. Проведено тестирование работоспособности этой системы на учебных и бо-лее сложных задачах. Результаты работы показывают, что разработанная система решает простейшие учебные задачи за небольшое время и обладает удобным интерфейсом.
- Добавил в систему: Санников Виктор Федорович