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

1. Стратегии логического вывода. Стратегия упорядочения.

2. Метод резолюций и его реализации.

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

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

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

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

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

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

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

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

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

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

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

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

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

1. Преобразование формул к нормальному виду.

2. Преобразования, связанные с переходом от четкого к нечеткому представлению данных и наоборот.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1.Особенности применения логики первого порядка в СИИ.

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

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

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

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

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

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

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

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

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

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

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

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

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