Вопросы 2012 (предварительные)
Описание файла
Документ из архива "Вопросы 2012 (предварительные)", который расположен в категории "". Всё это находится в предмете "искусственный интеллект" из 10 семестр (2 семестр магистратуры), которые можно найти в файловом архиве МГТУ им. Н.Э.Баумана. Не смотря на прямую связь этого архива с МГТУ им. Н.Э.Баумана, его также можно найти и в других разделах. Архив можно найти в разделе "к экзамену/зачёту", в предмете "искусственный интеллект" в общих файлах.
Онлайн просмотр документа "Вопросы 2012 (предварительные)"
Текст из документа "Вопросы 2012 (предварительные)"
Экзаменационные вопросы по курсу
«Искусственный интеллект»
(проф. Зенкенвич С. Л.)
-
Предмет ИИ. Области применения.
-
Представление задач в пространстве состояний.
-
Сведение задач к подзадачам.
-
Исчисление высказываний. Словарь и синтаксис.
-
Семантика исчислений высказываний.
-
Правильно построенные формулы. Выполнимость и общезначимость.
Принципы дедукции.
-
Алгебраический подход к логическим формулам. Эквивалентность.
-
Конъюнктивная и дизъюнктивная нормальная форма.
-
Принцип резолюции в исчислении высказываний.
-
Исчисление предикатов. Словарь и синтаксис.
-
Семантика исчисления предикатов.
-
Общезначимость и выполнимость формул исчисления предикатов. Логическое следствие.
-
Приведение к конъюнктивной и нормальной форме. Сколемовские функции.
-
Универсум Эрбрана. Эрбрановская база.
-
Построение семантического дерева. Вершины вывода.
-
Унификация.
-
Метод резолюции в исчислении предикатов.
-
Применение предикатов к решению задач.
-
Применение метода резолюций в пространстве состояний (пример).
-
Методы полного перебора на деревьях.
-
Эвристический поиск.