Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В icon

Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В



НазваниеКонтрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В
Дата конвертации16.09.2012
Размер72.87 Kb.
ТипКонтрольная работа
1. /Контрольная работа.docКонтрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В


МОСКОВСКИЙ ГОСУДАРСТВЕНЫЙ ИНСТИТУТ
РАДИОТЕХНИКИ, ЭЛЕКТРОНИКИ И АВТОМАТИКИ


(ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)


КОНТРОЛЬНАЯ РАБОТА

ПО ПРЕДМЕТУ




Системы искусственного интеллекта




Группа: ВТ-2-98


Студент: Журавлев А.В.


Шифр: С-981084


Преподаватель:

Профессор Болотова Л.С.


Москва, 2003г.

ЗАДАНИЕ №1


МОДЕЛЬ ПРЕДМЕТНОЙ ОБЛАСТИ

«Запуск автомобиля»


Предметная область – гараж со следующими объектами: человек, машина, замок зажигания, дверь, ключ.


Задача: построить программу для того, чтобы человек (Ч) открыл дверь (Д) машины (М), сел в машину, закрыл дверь, вставил ключ (КЛ) в замок зажигания (ЗЗ) и повернул его.


Множество объектов:

X = <Ч, Д, М, ЗЗ, К>

Множество элементарных действий:

G = g5-ВСТАВИТЬ, g6-ПОВЕРНУТЬ>

Множество свойств:

C = < КООРДИНАТА (a, b)>

Множество отношений:




У (Ч, М) - человек у машины

В (Ч, М) - человек в машине

В (КЛ, ЗЗ) - ключ в замке зажигания

ПОВЕРНУТ (КЛ, ЗЗ) - ключ в замке зажигания повернут

ОТКРЫТА (Д, М) - дверь у машины открыта


Состояния:

S(t) = ( К(Ч) , К(М) , Φ, Θ, Ψ, Ω)





Начальное состояние: SН = - а – координаты человека, b – координаты машины.

Целевое состояние: SЦ = , т.е. координаты человека и машины совпадают, человек в машине, дверь закрыта (не открыта), ключ в замке зажигания, ключ повернут в замке зажигания.


Правила:

(x, b, 0, 0, 0, 0)  g1  (b, b, 0, 0, 0, 0) - подойти к машине

(b, b, 0, 0, 0, 0)  g2  (b, b, 0, 1, 0, 0) - открыть дверь

(b, b, 0, 1, 0, 0)  g3  (b, b, 1, 1, 0, 0) - сесть в машину

(b, b, 1, 1, 0, 0)  g4  (b, b, 1, 0, 0, 0) - закрыть дверь

(b, b, 1, 0, 0, 0)  g5  (b, b, 1, 0, 1, 0) - вставить ключ

(b, b, 1, 0, 1, 0)  g6  (b, b, 1, 0, 1, 1) - повернуть ключ


ЗАДАНИЕ №2


Продукционная модель предметной области


1. Рабочая база данных (РБД)


В РБД содержаться следующие факты


F1: НУ (Ч.М); - не у машины F2: У (Ч,М) - человек у машины

F3: НВМ (Ч,М); - не в машине F4: ВМ (Ч,М) - человек в машине

F5: НВЗ (КЛ, ЗЗ); - не в замке зажигания F6: ВЗ (КЛ,ЗЗ) - ключ в замке заж.

F7: НП (КЛ, ЗЗ); - не повернут F8: П (КЛ,ЗЗ) - ключ повернут в зз.

F9: НО (Д, М); - дверь не открыта F10: О (Д,М) - дверь открыта


2. База знаний


П1:

ЕСЛИ (Ч (НУ)  Ч (НВМ)  КЛ (НВЗ)  КЛ (НП)  Д (НО))

ТО (ПОДОЙТИ (Ч, М)  ИСКЛЮЧИТЬ Ч(НУ)  ДОБАВИТЬ Ч (У))

П2:

ЕСЛИ (Ч (У)  Ч (НВМ)  КЛ (НВЗ)  КЛ (НП)  Д (НО))

ТО (ОТКРЫТЬ(Д,М)  ИСКЛЮЧИТЬ Д(НО)  ДОБАВИТЬ Д (О))

П3:

ЕСЛИ (Ч (У)  Ч (НВМ)  КЛ (НВЗ)  КЛ (НП)  Д (О))

ТО (СЕСТЬ(Ч,М)  ИСКЛЮЧИТЬ Ч(НВМ)  ДОБАВИТЬ Ч(ВМ))

П4:

ЕСЛИ (Ч (У)  Ч (ВМ)  КЛ (НВЗ)  КЛ (НП)  Д (О))

ТО (ЗАКРЫТЬ(Д,М)  ИСКЛЮЧИТЬ Д(О)  ДОБАВИТЬ Д(НО))

П5:

ЕСЛИ (Ч (У)  Ч (ВМ)  КЛ (НВЗ)  КЛ (НП)  Д (НО))

ТО (ВСТАВИТЬ(КЛ,ЗЗ)  ИСКЛЮЧИТЬ КЛ(НВЗ)  ДОБАВИТЬ КЛ(ВЗ))

П5:

ЕСЛИ (Ч (У)  Ч (ВМ)  КЛ (ВЗ)  КЛ (НП)  Д (НО))

ТО (ПОВЕРНУТЬ(КЛ,ЗЗ)  ИСКЛЮЧИТЬ КЛ(НП)  ДОБАВИТЬ КЛ(П))

ЗАДАНИЕ №3


исчисление высказываний


Высказывания:


A – Человек у машины;

B – Человек в машине;

C – Дверь у машины открыта;

D – Ключ находится в замке зажигания;

E – Ключ в замке зажигания повернут;


Построим фрагмент предметной области на языке исчисления высказываний:

D  B - Если ключ в замке зажигания, то человек в машине

С  - Если дверь открыта, то ключ не в замке зажигания;

E  () - Если ключ повернут, то дверь закрыта и человек в машине


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

(C  В)  - т.е. если дверь открыта и человек в машине, то ключ не в замке зажигания.


При этом вышеописанные формулы образуют выражение логического вывода в виде:


(D  B)  (С  )  (E  ())  ≡ Л


Приведем к конъюнктивно-нормальной форме:

;

;





Получили:

≡ Л


Запишем систему элементарных дизъюнктов:









  1. C

  2. B

  3. D


Резольвенты:

  1. по C (5,2):

  2. по (7,8): □ – получили пустой дизъюнкт.


Таким образом, выводимость данной формулы доказана. Высказывание верно.

ЗАДАНИЕ №4


исчисление предикатов


1. Индивидуальные константы


  • человек (Ч);

  • машина (М);

  • дверь (Д);

  • ключ (КЛ);

  • замок зажигания (ЗЗ);

  • т. а – местоположение машины.


2. Предметные переменные (элементы множества C)


– т. x – местоположение человека;

– s – состояние.


3. Функциональные переменные (элементы множества G)


g1 – подойти, g2 – открыть, g3 – сесть, g4 – закрыть, g5 – вставить,
g6 – повернуть.


Предикаты:

РЯДОМ (Ч, М, x, s);

В (Ч, М, a, s);

В (КЛ, ЗЗ, a, s);

ОТК (Д, М, a, s);

ПОВ (КЛ, ЗЗ, а, s);

Областью определения функций является множество состояний предметной области, которое возникает в результате выполнения этих действий. Это состояния, являющиеся предусловиями и постусловиями применения действий.


Используя язык исчисления предикатов, запишем модель предметной области в виде следующих аксиом:


Аксиомы:


1. x (Ч, М, x, Sн) – Начальное состояние, человек не у машины;


2. x s РЯДОМ (Ч, М, a, g1(x, s)) – для всех x и состояний s: человек находится у машины в точке a, путем применения к состоянию s оператора g1;


3. s [РЯДОМ (Ч, М, a, s)  ОТК (Д, М, a, g2(s))] – для всех состояний s: если человек находится рядом с машиной, то он может открыть дверь машины под воздействием оператора g2;


4. s [ОТК (Д, М, a, s)  В (Ч, М, a, g3(s))] – для всех состояний s: если дверь машины открыта, то человек может сесть в машину под воздействием оператора g3;


5. s [В (Ч, М, a, s)  (Д, М, a, g4(s))] – для всех состояний s: если человек находится в машине, то дверь может быть закрыта под воздействием оператора g4;


6. s [(В (Ч, М, a, s)  (Д, М, a, s))  В (КЛ, ЗЗ, a, g5(s))] – для всех состояний s: если человек находится в машине и дверь закрыта, то ключ может быть вставлен в замок зажигания под воздействием оператора g5;


7. s [В (КЛ, ЗЗ, a, s)  ПОВ (КЛ, ЗЗ, a, g6(s))] – для всех состояний s: если ключ находится в замке зажигания, то он может быть повернут под воздействием оператора g6;


Докажем выводимость следующей формулы:


8. s [В (Ч, М, a, s)] – т.е. существует такое состояние, когда человек находится в машине.


Для доказательства воспользуемся методами опровержения и резолюций.


Возьмем отрицание формулы 8:




Преобразуем аксиомы (избавимся от кванторов и импликации):


1'. (Ч, М, x, Sн);

2'. РЯДОМ (Ч, М, a, g1(x, s));

3'. (Ч, М, a, s)  ОТК (Д, М, a, g2(s));

4'. (Д, М, a, s)  В (Ч, М, a, g3(s));

5'. (Ч, М, a, s)  (Д, М, a, g4(s));

6.' (Ч, М, a, s)  ОТК (Д, М, a, s)  В (КЛ, ЗЗ, a, g5(s))

7'. (КЛ, ЗЗ, a, s)  ПОВ (КЛ, ЗЗ, a, g6(s));

___________________________________________________

8'. (Ч, М, a, s)


Резольвенты:

9'. (Д, М, a, s) (8', 4') Подстановка Q1 = {}

10'. (Ч, М, a, s) (9', 3') Подстановка Q2 = {}

11'. □ (10', 2') Подстановка Q3 = {}


Таким образом, выводимость данной формулы доказана.

ЗАДАНИЕ №5


семантические сети


Предикаты

P1 – подойти человеку к машине ПОДОЙТИ (Ч, М)

P2 – человеку открыть дверь ОТКРЫТЬ (Ч, Д)

P3 – человеку сесть в машину СЕСТЬ (Ч, М)

P4 – человеку закрыть дверь ЗАКРЫТЬ (Ч, Д)

P5 – человеку вставить ключ в замок зажигания ВСТАВИТЬ (Ч, КЛ, ЗЗ)

P6 – человеку повернуть ключ в замке зажигания ПОВЕРНУТЬ (Ч,КЛ,ЗЗ)





Рисунок 1. Семантическая сеть


ЗАДАНИЕ №6


фреймы





Рисунок 2. Фреймовая модель





Похожие:

Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В iconКонтрольная работа выполняется по вариантам. Номер варианта соответствует пятой (с конца) цифре номера студенческого билета или зачетной книжки. Цифра 0 соответствует варианту №10. Контрольная работа оценивается по двухбалльной системе: «зачтено»
При подготовке к выполнению контрольных работ студент должен изучить соответствующие разделы по пособиям и учебникам (список литературы...
Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В iconВ. И., Чистяков А. А. Нейросемантическая форма представления информации
Обсуждаются метод и свойства взаимно однозначного структурного преобразования текстового потока данных в нейросемантическую форму...
Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В iconТаблица алгоритмов искусственного интеллекта и октавный компьютер
Представлены основные принципы работы новой ии системы – октавного компьютера. Предлагаемая реализация в рамках октавного компьютера...
Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В iconДокументы
1. /Вопросы к экзамену по системам искусственного интеллекта.doc
Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В iconА. М. Казанцев о реальных возможностях и уже практически проверенных методах создания глобального искусственного интеллекта тезисы
Современный уровень производства технической базы компьютеров, а также реализация software аванварианта Системы обработки данных...
Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В iconСумма баллов Дистанционное обучение по общеобразовательному предмету «технология» Контрольная работа №1 по теме «Структура производства»
Пожалуйста, выполните контрольную работу и вышлите до 2 ноября файл к doc по адресу: ozsc12@yandex ru
Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В iconКнига рассчитана для широкого круга читателей
Открытием смысла звуков в речи народов начинается новый этап в лингвистике, философии мышления, и мы вплотную подходим к решению...
Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В iconА. М. Казанцев предложение о создании глобального искусственного интеллекта
Вся история существования компьютерных технологий – это непрерывные, неисчислимые попытки добиться взаимопонимания между ними и их...
Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В icon9класс Контрольная работа №5 12 (четверг). 03. 2009
Нахождение координат точки пересечения параболы и прямой с помощью решения системы двух уравнений с двумя переменными
Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В iconДокументы
1. /stud_work/Студенческие работы/Студент 1/Вопросы по отоплению (итоговые).doc
2....

Контрольная работа по предмету системы искусственного интеллекта Группа: вт-2-98 Студент: Журавлев А. В iconВ. П. Галкин, Ю. А. Попов, г. Чебоксары Некоторые соображения по вопросу создания искусственного интеллекта
Это приводит к тому, что специалисты, профессионально не занимающиеся философией, не могут использовать даже ее методологические...
Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©podelise.ru 2000-2014
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы

Разработка сайта — Веб студия Адаманов