СИИ_лаб_1

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

СИСТЕМ УПРАВЛЕНИЯ И РАДИОЭЛЕКТРОНИКИ

(ТУСУР)

Заочный факультет (дистанционная форма обучения)

Кафедра автоматизированных систем управления (АСУ)

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

Лабораторная работа № 1

Вариант 6

Студент Авдеева Екатерина Сергеевна

Дата выполнения работы _ _

Дата проверки _ _

Оценка _ _

И. О. Фамилия преподователя _ _

Подпись преподователя _ _

Мирный

2008 г.

Задание №1

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

“Если S, то для некоторых х(верно) Р(х).”

“А(х) всегда ложно.”

“Если S, то для некоторых х(верно) Р(х)”: .

“А(х) всегда ложно”:

Задание №2

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

Номер варианта	Цель прямой цепочки	Цель обратной цепочки
6	B	S

База данных: A, C, D, E, G, H, K, L, M, J.

База правил:

Пусть цель состоит в выводе B при прямой цепочке рассуждений. В первую очередь проверяется, находится ли B в БД. B в БД отсутствует, поэтому нужно попытаться вывести истинность B, используя правила, которые можно выполнить с данной БД. Такое правило существует – правило номер 3. Исходя из этого, прямая цепочка рассуждений будет выглядеть следующим образом:

Пусть цель состоит в том, чтобы вывести истинность S при обратной цепочке рассуждений. В первую очередь проверяется, находится ли S в БД. Так как S в БД отсутствует, то нужно попытаться вывести истинность S из существующих правил. В правой части S присутствует в правиле 7. Но, не все составляющие присутствующие в левой части входят в БД. R в БД отсутствует, следовательно нужно найти правило, из которого можно сделать вывод R, это правило 6. Cледовательно, обратная цепочка рассуждений будет выглядеть:

C

R

H

S

J

M