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

1.Интерпретация формул в логике предикатов.

2.Графовые модели представления знаний, методы поиска путей на графах (поиск в длину, поиск в ширину)

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

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

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

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

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

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

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

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

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

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

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

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

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

1. Исчисление предикатов и его применение для представления знаний.

2. Графовые модели представления знаний (эвристический поиск).

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

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

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

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

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

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

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

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

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

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

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

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

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

1. Исчисление высказываний и его применение для представления знаний.

2.Фреймовые модели представления знаний и их особенности.

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

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

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

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

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

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

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

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

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

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

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

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

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

1. Немонотонная логика рассуждений, правила вывода.

2.Организация вывода на НСС на основе фрейм-микропрограмм поведения.

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

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

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

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

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

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

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

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

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

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

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

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