Экзаменационный билет № 20

1.Нечеткие семантические сети их использование в специальных моделях представления знаний. Свойства нечетких семантических сетей.

2. Кванторы существования и всеобщности. Интерпретация формул при наличии в них кванторов. Особенности применения логики первого порядка в СИИ.

Экзаменатор: д.т.н., проф. каф. ВТ Мелехин В.Б.

Утверждено на заседании кафедры ВТ

(протокол № 4 от 01 декабря 2010 г.)

Зав. кафедрой ВТ Мелехин В.Б.

МИНИСТЕРСТВО ОБРАЗОВНИЯ И НАУКИ РФ

ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

«ДАГЕСТАНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ»

Дисциплина: Системы искусственного интеллекта

Специальность: Вычислительные машины, комплексы, системы и сети

Кафедра: Вычислительной техники

Форма обучения: очная

Курс_____5_____ Семестр___9___

Экзаменационный билет № 21

1. Изоморфизм нечетких семантических сетей

2. Особенности вывода в логики предикатов первого порядка. Теорема дедукции.

Экзаменатор: д.т.н., проф. каф. ВТ Мелехин В.Б.

Утверждено на заседании кафедры ВТ

(протокол № 4 от 01 декабря 2010 г.)

Зав. кафедрой ВТ Мелехин В.Б.