1) Проблемы современных вычислительных систем. Новые системы обработки информации.

2) Этапы развития технологии и формы используемой информации.

3) Понятие фрейма. Суть теории фреймов. Понятие сети фреймов. Простые и сложные условия.

4) Основные свойства фрейма: базовый тип, процесс сопоставления, иерархическая структура.

5) Основные свойства фрейма: межфреймовые сети, значения по умолчанию, отношения.

6) Структура данных фрейма.

7) Способы управления выводом во фреймовых системах.

8) Конфигурация языков представления знаний фреймами.

9) Модель TLC.

10) Описание иерархической структуры понятия и диаграмма представления семантическими сетями.

11) Процедурные семантические сети.

12) Получение вывода с помощью семантической сети.

13) Сеть ATN.

14) Основные понятия логики предикатов: типы символов, терм, логическая формула.

15) Система LK. Логические и структурные правила вывода.

16) Понятия противоречивости, достоверности и выполнимости. Теорема Геделя-Росса.

17) Получение выводов и операции со знаниями с помощью принципа резолюций: порядок преобразования в клаузальную форму.

18) Унификация и правила вывода.

19) Инженерия знаний и нечеткость. Классификация видов нечеткости.

20) Алгоритм А*.

21) Программа  AM.

22) Многозначность и методы ее устранения. Метод релаксации.

23) Модель доски объявлений.

24) Субъективный байесовский метод.

25) Метод выводов на основе теории Демпстера-Шафера.

26) Нечеткая и вероятностная логики.

27) Немонотонная логика.

28) Основные понятия теории нечетких множеств: нечеткое множество, функция принадлежности, значения истинности, предикаты, модификаторы, кванторы, вероятность.

29) Основные операции над нечеткими множествами.

30) Нечеткие отношения.

31) Нечеткие (размытые) числа и операции с ними.

32) Нечеткие выводы.

33) Размытое ранжирование: классический метод.

34) Размытое ранжирование: метод отношений предпочтения.

35) Лингвистические переменные.

36) Тестовые оценки и их семантика.