Лаб_2- 6_Системы искусственного интеллекта
.docТомский межвузовский центр дистанционного образования
Томский государственный университет
систем управления и радиоэлектроники (ТУСУР)
Кафедра автоматизированных систем управления
Лабораторная работа №2
по дисциплине «Системы искусственного интеллекта»
Вариант №6
Выполнил:
студент ТМЦДО
специальности 230105
2008 г.
Задание №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, где
Системы искусственного интеллекта