СИСТЕМЫ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА: ВОПРОСЫ К ЭКЗАМЕНУ

1) Основные положения ИИ как раздела науки. Задача ИИ. Методы ИИ. Области 
   задач ИИ, их основные особенности. Проблема восприятия информации.
2) Эвристики. Первые системы ИИ. Их недостатки. Языки ИИ.
3) Экспертные системы. Классические ЭС: DENDRAL, SHRDLU, MYCIN.
4) Области применения ИИ. 
5) Три основных подхода к проблеме ИИ.
6) Лабиринтная гипотеза интеллекта. Универсальный Решатель Задач. Градиентные
    методы.
7) Интеллектуальные игры. Дерево допустимых ходов. Оценочная функция.
8) Метод минимакса. Недостатки алгоритмов, основанных только на анализе дерева 
   ходов. Эффект горизонта.
9) Альфа-бета-процедура. Оптимизация альфа-бета-процедуры частичной 
   сортировкой.
10) Приоритет форм представления знаний. Знания. Логический вывод. Системы, 
   основанные на знаниях. Алгоритмический способ представления знаний.
11) Категории знаний. Метазнания. Факты и правила. Особенности структуры модели 
   представления знаний. Однородность представления и простота понимания. 
   Типичные модели представления знаний.
12) Типы знаний.
13) Логическая модель представления знаний. ``Нелогические'' модели.
14) Продукционная модель представления знаний. Типы механизмов логического 
   вывода. Связь логической и продукционной моделей.
15) Двунаправленный вывод. Связь продукционной и фреймовой моделей.
16) Фреймовая модель знаний. Использование фреймов к анализу видимых
    объектов.
17) Основные особенности фреймовых систем.
18) Структуры данных фрейма. 
19) Языки управления фреймовыми системами. Способы логического вывода во
    фреймовых системах. Связь фреймовой модели знаний и ООП.
20) Модель знаний на основе семантических сетей, логический вывод в ней.
21) Основные особенности лиспа. Объекты данных базового лиспа. Функции. 
    Предохранение выражений от непосредственного вычисления.
22) Функции-селекторы базового лиспа. Особенности атома NIL. Комментарии.
    Функция-конструктор базового лиспа, ее связь с функциями-селекторами.
    Функции-предикаты базового лиспа.
23) Определение новых функций. Формальные аргументы. Конструкции \&OPTIONAL, 
  \&REST и \&KEY. Установка предопределенных значений параметрам. Способ 
  передачи аргументов функций в лиспе. 
24) Определение функций MBR и EQLIST. Рекурсия. 
25) Определение функций APPEND, REMBER, REMBER-ALL и REVERSE.
26) Базовая концепция типов данных лиспа. Позднее связывание.
    Способы ускорения работы лисп-программ.
27) Примитивные объекты данных лиспа. Символы. Функции SET и QUOTE. SETQ. 
28) Числа в лиспе. 
29) Пары. Бинарные деревья и списки.
30) Примитивные функции-селекторы и функции-конструкторы лиспа.
31) Стили программирования на лиспе. Функция LOOP.
32) Итерационное определение функции REVERSE. Назначение POP и PUSH.
33) Примитивные логические функции. Математические функции.
34) Рекурсивное и итерационное определения функций для вычисления факториала,
    чисел Фибоначчи и возведения в степень.
35) Функции-сравнители. Функция сортировки. Функции ввода-вывода и 
    преобразования типов.
36) Лямбда-исчисление. Примитивная функция EVAL. Функции MAPCAR, MAPLIST и 
    APPLY.
37) Иерархия типов данных.
38) FUNCALL. Вычисление факториала лямбда-функцией. 
39) Средства LET, LET* и FUNCTION. Замыкания.
40) Макропроцессор. Обобщенное присваивание.