Системы, основанные на знаниях

Системы, основанные на знаниях — это компьютерные программы, спроек­тированные таким образом, чтобы воспроизводить работу экспертов в заданных областях знания.

Термин «системы, основанные на знаниях» появился в 1976 году одновременно с первыми системами, аккумулирующими опыт и знания экспертов и до сих пор они используются для выполнения специальных, трудно формализуемых задач, решение которых возможно при учёте опыта квалифицированных специалистов, являющихся экспертами.

Цель курса «Системы, основанные на знаниях» — изучение теоретических основ искусственного интеллекта и проектирования систем, основанных на знаниях, областей использования интеллектуальных систем, их возможностей и ограничений.

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

• Что такое искусственный интеллект?

• Направления ИИ

• Основание логического подхода к ИИ

• Виды логик

• Важные логические операции

• Логический вывод

• Общая архитектура экспертных систем

• Что такое База Знаний

• Хорновские выражения

• Что такое продукция

• Инженерия знаний

• Приобретение знаний

• Поле знаний

• Рабочая память

• Универсальная машина вывода

• Интерфейс конечного пользователя ЭС

• Система поддержки принятия решений для МСЧ на нечёткой логике

• Правило резолюций

• Автоматическое доказательство теорем

• Системы поддержки принятия решений

• Динамические интеллектуальные системы

• Язык программирования ПРОЛОГ

• Коннекционизм и символьный подход

• Семантические сети

• Методы вывода на семантических сетях

• Фреймы как метод представления знаний

• Сценарии и процедурные знания

• Максимально универсальный метод представления знаний

• Обзор СОЗ

• Вопрос-ответные системы

• Задачи ЭС

• Онтологии

• Онтология высшего уровня

• Методология RDF

• Семантическая паутина

Для прохождения курса не требуются какие-либо навыки программирования. Желательно, но необязательно общее понимание сущности искусственного интеллекта.