Лаб_2- 6_Системы искусственного интеллекта

Томский межвузовский центр дистанционного образования

Томский государственный университет

систем управления и радиоэлектроники (ТУСУР)

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

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

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

Вариант №6

Выполнил:

студент ТМЦДО

специальности 230105

2008 г.

Задание №1.

Любой студент хочет закончить институт. Некоторые студенты обладают особыми способностями.

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

1. Любой студент хочет закончить институт:

2. Некоторые студенты обладают особыми способностями:

Нужно доказать следующее утверждение:

3. студенты, обладающие особыми способностями, хотят закончить институт:

Воспользуемся преобразованиями:

1. 

2а. С(А)

2б. О(А)

Отрицание теоремы, которую надо доказать:

т.е.:

3а. O(A)

3б. ~И(A)

Так как в процессе резолютивного вывода получен пустой дизъюнкт, то третье утверждение доказано.

Задание №2.

Если А (КУ=0.3) или В (КУ=0.4),

то С (КУ=0.9).

Т.к. присутствует связь ИЛИ, то КУ для логического вывода С:

Задание №3.

U=V={30,40,50,60}

F(U) средний

G(V) старый

Задав F, определить  при условии:

Если u средний, то  старый;

u около 30.

Пусть:

Из правил определим отношение R из U в область V:

В соответствии с формулой:

Определим вывод :

Ответ: «старый», v есть G, где

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