База знаний и данных. Понятие модели. Логические модели. Модели
знаний на основе продукций. Фреймовая модель знаний. Семантические
сети.
Машина вывода. Понятие формальной системы. Примеры стратегии вывода. Как функционирует машина вывода.
Извлечение знаний и обучение. Извлечение знаний от многих экспертов. Проблема непротиворечивости формализованной базы знаний. Обучение системы. Интерфейс с пользователем.
Инструментальные средства создания экспертных систем. Языки программирования. Языки инженерии знаний и инструментальные системы.
Машина вывода. Понятие формальной системы. Примеры стратегии вывода. Как функционирует машина вывода.
Извлечение знаний и обучение. Извлечение знаний от многих экспертов. Проблема непротиворечивости формализованной базы знаний. Обучение системы. Интерфейс с пользователем.
Инструментальные средства создания экспертных систем. Языки программирования. Языки инженерии знаний и инструментальные системы.