12323232

  • 01 июня 2013 г.
  • 2025 Слова
Министерство образования и науки Российской Федерации
ФГБОУ ВПО
«Сибирский государственный технологический университет»

Факультет автоматизации и информационный технологий

Кафедра информационных технологий

Метод резолюций

ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
(ИТ. 000000. 113. ПЗ)

Руководитель:
С.С.Москалёва
(подпись)2013 г.
(оценка, дата)
Разработал:
Студент группы 22-06
А.Д.Филиппов
(подпись)
2013 г.
(дата)

Красноярск 2013

Министерство образования и науки Российской Федерации

ФГБОУ ВПО «Сибирский государственный технологический университет»

Факультет автоматизации иинформационных технологий

Кафедра информационных технологий

ЗАДАНИЕ
на курсовую работу

Студент Филиппов А.Д.

Тема Реализация метода резолюций

Для выполнения задания необходимо:
1. Изучить метод резолюции
2. Постановка задачи
3. Разработать программу демонстрирующую работу метода резолюций
4. Составить пояснительную записку







Задание выдано2013 г.
Руководитель С.С.Москалёва

Реферат

Пояснительная записка содержит введение, основную часть, заключение, список используемых источников, приложение. Общий объем работы содержит 15 листов.
МЕТОД РЕЗОЛЮЦИЙ, PROLOG, ДИЗЬЮНКТОРЫ, МАТЕМАТИЧЕСКАЯ ЛОГИКА, ИССКУСТВННЫЙ ИНТЕЛЛЕКТ.
Объектом разработки курсовой работы являются программнаяреализация метода резолюции.
Цель данной курсовой работы заключается в том, что необходимо написать программу реализующую алгоритм проверки логического следования методом резолюции, и закрепить пройденный на лекциях материал.
Результатом курсовой работы является программная система, пояснительная записка.
Выполнение данной работы это процесс, объединяющий и углубляющий полученные при выполнениилабораторных работ знания и навыки. Результатом работы являются электронные документы: тексты, таблицы, программный продукт.

Измн.
Арк.
№ докум.
Подпись

Дата
лист
3
ИТ.000000.113.П3
Разработал
Филиппов А.Д.

Проверила.
Москалёва С.С


Н. Контр.

Утв.

Пояснительная
записка

Лит
листов
14
Кафедра информационных технологий

Содержание

Введение 5
Постановка задачи 6
Выборструктуры данных 7
Формулировка алгоритма 8
Примеры работы программы 11
Заключение 12
Список использованных источников 13
Приложение А 14
Листинг программы на языке Prolog 14

Изм.
Лист
№ докум.
Подпись
Дата
Лист
5
ИТ. 000000.113. ПЗ

Введение

В данной курсовой работе будет рассмотрен алгоритм проверки логического следования методом резолюции. Его реализация будет представленапа логическом языке Prolog. Метод резолюции - метод доказательства теорем в теориях первого порядка, использующий правило вывода, называемое резолюцией.
Резолюция заключается в следующем: если выводимые дизъюнкты P / Q и ~P / R, где P - атомарная формула, а Q и R обозначают остальные части дизъюнктов (возможно пустые), то выводим и дизъюнкт Q / R, называемый резольвентой.
Цель данной курсовойработы заключается в том, что необходимо написать программу реализующую алгоритм проверки логического следования методом резолюции, и закрепить пройденный на лекциях материал.
Для решения поставленной цели необходимо решить следующую задачу:
1) проанализировать поставленную задачу;
2) составить алгоритм, с помощью которого будет решена задача;
3) реализовать его на любом языке.
алгоритм проверкалогический резолюция

Изм.
Лист
№ докум.
Подпись
Дата
Лист
6
ИТ. 000000.113. ПЗ

Постановка задачи

Итак, рассмотрим алгоритм проверки логического следования методом резолюции. Для начала необходимо рассмотреть принцип резолюции. Допустим, имеется множество дизъюнктов - D, которые представляют некую формулу F. Формула F противоречива тогда и...
tracking img