Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта




Скачать 44.44 Kb.
НазваниеЛабораторная работа №2 по дисциплине “Системы искусственного интеллекта
Дата19.03.2013
Размер44.44 Kb.
ТипЛабораторная работа
ЛАБОРАТОРНАЯ РАБОТА №2

по дисциплине “Системы искусственного интеллекта"

 

ДЕДУКТИВНЫЕ И ИНДУКТИВНЫЕ РАССУЖДЕНИЯ. ЗАДАЧИ НА ПОИСК ДОКАЗАТЕЛЬСТВА МЕТОДОМ РЕЗОЛЮЦИЙ

 

Введение

 

Одной из типовых задач искусственного интеллекта является задача моделирования дедуктивных и индуктивных рассуждений и задача на поиск доказательства методом резолюций.

 

1. Цель занятия

 

Закрепить теоретические знания и приобрести практические навыки решения задач моделирования дедуктивных и индуктивных рассуждений и задачи на поиск доказательства методом резолюций.

 

2. Задание на занятие

 

Построить регрессионные модели объектов по заданным ЭД. Решение общей задачи разбивается на несколько этапов.

  1. Предварительная обработка данных с целью стандартизации результатов наблюдения.

  2. Вывод соотношений для оценки параметров заданных регрессионных моделей.

  3. Оценка параметров регрессионных моделей.

  4. Проверка адекватности регрессионной модели.

  5. Оценка точности регрессионных моделей.

  6. Формирование выводов о возможности применения разработанных регрессионных моделей.

 

3. Методические указания по выполнению работы

 

  1. Получение резольвенты

Предположим, что справедливы следующие утверждения:

  • если электрички приходят не по расписанию, то студенты опаздывают на лекцию;

  • если студенты опаздывают на лекцию, то преподаватель недоволен. 

Введем следующие обозначения: обозначим через Р утверждение "Электрички приходят не по расписанию", через Q — "Студенты опаздывают на лекцию" и, наконец, через R — "Преподаватель недоволен". Тогда приведенные рассуждения записываются формулами:

(P => Q) и (Q => R).

После преобразования к КНФ получим дизъюнкты

(~ P v Q) и (~ Q v R),

содержащие контрарную пару. Резольвентой этих двух дизъюнктов будет формула (~ Р v R), которая эквивалентна формуле => R). Последняя формула, очевидно, соответствует рассуждению: "Если электрички не приходят по расписанию, то преподаватель недоволен".


  1. метод

Пример. "Инспектор Крег стремится при помощи логических рассуждений установить истину. Рассматривается дело, в котором четверо подсудимых: A,B,C и D.

1. Если A виновен, то B был соучастником (и, следовательно, виновен);

2. Если B виновен, то либо C был соучастником, либо A не виновен;

3. Если D не виновен, то A виновен и C не виновен;

4. Если D виновен, то A виновен.

Спрашивается, виновен ли D?"

Предположим, что через A обозначается высказывание "A- виновен"; через B: "B- виновен"; через С: "C- виновен"; и, наконец, через D: "D- виновен". Запишем каждое из утверждений формулой исчисления высказываний:

F1: A B

F2: B ~A C

F3: ~D A&~C

F4: D A

Требуется выяснить, следует ли утверждение D: "D виновен" из этих четырех. По теореме2 нам достаточно исследовать на противоречивость следующую формулу F: (A B)&( B ~A C)&(~D A&~C)&( D A)& ~D..

Приведем формулу F к КНФ. Получим множество S, состоящее из шести дизъюнктов S1,S2,S3,S4,S5 и S6.

S: {~A B, ~B ~A C, A D, ~C D, ~D A, ~D}.

По теореме о полноте метода резолюций для того, чтобы установить противоречивость S достаточно построить опровержение в S. Одно из опровержений может быть следующим:

S7: ~A C, резольвента S1 и S2;

S8: A, резольвента S3 и S6;

S9: ~C, резольвента S4 и S6;

S10: C, резольвента S7 и S8;

S11:  , резольвента S9 и S10;

Опровержение, которое было приведено для примера, не является линейным. Построим линейный вывод для нашего множества дизъюнктов S.

S7: ~A C, резольвента S1 и S2;

S8: C D, резольвента S7 и S3;

S9: D, резольвента S8 и S4;

S10:  , резольвента S9 и S6;

3. Запишите следующие рассуждения в виде последовательности формул логики высказываний. Если рассуждение логично, то докажите это методом резолюций; если нелогично, то постройте интерпретацию, при которой посылки истинны, а заключение ложно.


Если конгресс отказывается принять новые законы, то забастовка не будет окончена, кроме случая, когда она длится более месяца и президент фирмы уйдет в отставку. Допустим, что конгресс отказывается действовать и забастовка заканчивается. Следовательно, забастовка длилась более месяца.


Рассмотрим высказывания: Х=«конгресс отказывается принять законы», Y=«забастовка не будет закончена», Z=«забастовка длится более месяца», U=«президент фирмы уйдет в отставку». Тогда предложения рассуждения можно представить формулами F1=XY(Z&U), F2=X&Y, G=Z. Сформируем множество T={F1,F2,G}, каждую из формул приведем к КНФ и получим множество дизъюнктов S={XYZ, XYU,X,Y,Z} Легко видеть, что из S выводим □. Следовательно, рассуждение логично.

 

4. Содержание отчета

 

Отчет должен содержать:

  1. постановку задачи;

  2. описание выбранного метода решения;

  3. описание формализации постановки задачи;

  4. описание цепочки высказываний, составляющих рассуждение;

  5. выводы.

 


5. Варианты заданий


1. Доказать с помощью метода резолюций, что формула G есть логическое следствие формул F1,…Fn:


а) F1=X, F2=X&YZ, G=YZ;

б) F1=XYZ, F2=ZW, F3=W, G=XY;

в) F1=X&Y X&Z, F2=(X&Y)Z, G=XZ;

2. На острове рыцарей и лжецов за совершение преступления судили двух местных жителей X и Y. Дело необычное, так как об обвинителе было известно, что он либо рыцарь, либо лжец. На суде обвинитель сделал два следующих заявления:

1. X виновен

2. X и Y не могут быть виновны оба.

Кто обвинитель: рыцарь или лжец?


3. Запишите следующее рассуждение в виде последовательности формул логики высказываний. Если рассуждение логично, то докажите это методом резолюций; если нелогично, то постройте интерпретацию, при которой посылки истинны, а заключение ложно.


Если подозреваемый совершил эту кражу, то она была тщательно подготовлена или он имел соучастника. Если бы кража была тщательно подготовлена, то если бы он имел соучастника, был бы украден дорогой компьютер. Компьютер остался на месте. Следовательно, подозреваемый невиновен.

Похожие:

Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта iconЛабораторная работа №1 по дисциплине “Системы искусственного интелекта
Исчисление предикатов первого порядка является теоретической основной множества формализмов методов искусственного интеллекта. Задачи...
Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта iconЛабораторная работа №4 по дисциплине “Системы искусственного интеллекта
Целью лабораторных работ является освоение технологии и методики построения экспертных систем на примере разработанной учебной экспертной...
Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта iconЛабораторная работа №3 по дисциплине “Системы искусственного интеллекта
Задачи на исследование свойств систем правил. Написание простых систем, основанных на правилах
Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта iconКонспект лекций по дисциплине «Системы искусственного интеллекта»
Место среди других наук, первые шаги и современные направления искусственного интеллекта
Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта icon«шаг за шагом» создание искусственного интеллекта гашева Светлана
Интеллект рассматривают как прикладную область исследований, связанных с имитацией отдельных функций интеллекта человека [6]. Распознавание...
Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта icon«Основы искусственного интеллекта»
Рабочая учебная программа по дисциплине «Основы искусственного интеллекта» для ооп «050100 Физика и информатика по циклу б в. 13...
Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта iconУчебно-методический комплекс по дисциплине “основы искусственного интеллекта”
...
Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта iconРабочая программа дисциплины «Системы искусственного интеллекта»
Рабочая программа основана на требованиях Федерального государственного стандарта высшего профессионального образования по направлению...
Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта iconУчебно-методический комплекс по дисциплине “основы искусственного интеллекта” для специальности
...
Лабораторная работа №2 по дисциплине “Системы искусственного интеллекта iconУчебно-методический комплекс по дисциплине “основы искусственного интеллекта” для специальности
...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница