Системы, основанные на знаниях — это компьютерные программы, спроектированные таким образом, чтобы воспроизводить работу экспертов в заданных областях знания.
Термин «системы, основанные на знаниях» появился в 1976 году одновременно с первыми системами, аккумулирующими опыт и знания экспертов и до сих пор они используются для выполнения специальных, трудно формализуемых задач, решение которых возможно при учёте опыта квалифицированных специалистов, являющихся экспертами.
Цель курса «Системы, основанные на знаниях» — изучение теоретических основ искусственного интеллекта и проектирования систем, основанных на знаниях, областей использования интеллектуальных систем, их возможностей и ограничений.
На курсе мы рассмотрим основные подходы, связанные с формализацией и представлением знаний, их извлечением, и использования в моделях вывода для создания прикладных интеллектуальных систем. Основными рассматриваемыми темами курса являются:
Что такое искусственный интеллект?
Направления ИИ
Основание логического подхода к ИИ
Виды логик
Важные логические операции
Логический вывод
Общая архитектура экспертных систем
Что такое База Знаний
Хорновские выражения
Что такое продукция
Инженерия знаний
Приобретение знаний
Поле знаний
Рабочая память
Универсальная машина вывода
Интерфейс конечного пользователя ЭС
Система поддержки принятия решений для МСЧ на нечёткой логике
Правило резолюций
Автоматическое доказательство теорем
Системы поддержки принятия решений
Динамические интеллектуальные системы
Язык программирования ПРОЛОГ
Коннекционизм и символьный подход
Семантические сети
Методы вывода на семантических сетях
Фреймы как метод представления знаний
Сценарии и процедурные знания
Максимально универсальный метод представления знаний
Обзор СОЗ
Вопрос-ответные системы
Задачи ЭС
Онтологии
Онтология высшего уровня
Методология RDF
Семантическая паутина
Для прохождения курса не требуются какие-либо навыки программирования. Желательно, но необязательно общее понимание сущности искусственного интеллекта.