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



Скачать 44.44 Kb.
Дата28.04.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Лабораторная работа №3 по дисциплине "Системы искусственного интеллекта"
Задачи на исследование свойств систем правил. Написание простых систем, основанных на правилах
Лабораторная работа №2 по дисциплине \"Системы искусственного интеллекта\" iconКурс лекций по дисциплине "Системы искусственного интеллекта"
Охватывает все стадии производственного процесса и выглядит следующим образом
Лабораторная работа №2 по дисциплине \"Системы искусственного интеллекта\" iconО работе научного советаран по методологии искусственного интеллекта
Первой Всероссийской междисциплинарной конференции, посвященной философским, методологическим и теоретическим проблемам искусственного...
Лабораторная работа №2 по дисциплине \"Системы искусственного интеллекта\" iconВопросы к экзамену По дисциплине "Системы искусственного интеллекта". Осенний семестр 2008/2009 учебного года
Искусственный интеллект как научная область. Основные направления исследований. Классификация интеллектуальных систем
Лабораторная работа №2 по дисциплине \"Системы искусственного интеллекта\" iconСостояние работ в области искусственного интеллекта в Европе
Представлен анализ современных направлений исследований в области искусственного интеллекта в Европе
Лабораторная работа №2 по дисциплине \"Системы искусственного интеллекта\" iconМетоды оптимизации инновационных технологий средствами искусственного интеллекта
Целью данной публикации является разработка методов искусственного интеллекта, обеспечивающих многокритериальную оптимизацию технологий...
Лабораторная работа №2 по дисциплине \"Системы искусственного интеллекта\" iconЛ. М. Чайлахян искусственный интеллект и мозг (Можно ли моделировать мозг средствами искусственного интеллекта?)
Эта проблема подробно рассмотрена в номерах 1-3 журнала «Новости искусственного интеллекта» за 1998 г. [3-5]. На их страницах ведущие...
Лабораторная работа №2 по дисциплине \"Системы искусственного интеллекта\" iconДоклад, представленный на международном конгрессе: «Личность общество: перспективы 21 века» /Брага, Португалия,17-19 ноября 2005 г
Век – век информационных технологий. Их бурное развитие породило феномен искусственного интеллекта. Независимо от того насколько...
Лабораторная работа №2 по дисциплине \"Системы искусственного интеллекта\" iconЛабораторная работа №3 по дисциплине «организация ЭВМ и систем» Вариант №2
Изучение архитектуры и основ системы команд арифметического сопроцессора К1810ВМ87 (i8087). Получение навыков программирования сопроцессорной...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org