Вопросы 2012 (предварительные) (959194)
Текст из файла
Экзаменационные вопросы по курсу
«Искусственный интеллект»
(проф. Зенкенвич С. Л.)
-
Предмет ИИ. Области применения.
-
Представление задач в пространстве состояний.
-
Сведение задач к подзадачам.
-
Исчисление высказываний. Словарь и синтаксис.
-
Семантика исчислений высказываний.
-
Правильно построенные формулы. Выполнимость и общезначимость.
Принципы дедукции.
-
Алгебраический подход к логическим формулам. Эквивалентность.
-
Конъюнктивная и дизъюнктивная нормальная форма.
-
Принцип резолюции в исчислении высказываний.
-
Исчисление предикатов. Словарь и синтаксис.
-
Семантика исчисления предикатов.
-
Общезначимость и выполнимость формул исчисления предикатов. Логическое следствие.
-
Приведение к конъюнктивной и нормальной форме. Сколемовские функции.
-
Универсум Эрбрана. Эрбрановская база.
-
Построение семантического дерева. Вершины вывода.
-
Унификация.
-
Метод резолюции в исчислении предикатов.
-
Применение предикатов к решению задач.
-
Применение метода резолюций в пространстве состояний (пример).
-
Методы полного перебора на деревьях.
-
Эвристический поиск.
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.