Дескрипционная логика и базы знаний (А. Кудинов, весна 2020)
Лектор - доц. А. Кудинов
Аннотация
Дескрипционная логика является формальным исчислением, лежащим в
основе баз знаний (knowledge base) и семантический сетей (semantic
web). Мы изучим эту систему, докажем полноту, обсудим алгоритмы
разрешения этих логик, определим сложность алгоритмов. Планируется
некоторая практическая часть с созданием своих баз знаний и запуском
стандартных ризонёров.
Планируется охватить следующие темы:
1. Логика ALC: синтаксис и семантика
2. Базы знаний, основные алгоритмические задачи
3. Связь с логикой предикатов
4. Теоремы о полноте
5. Табло-алгоритмы и сложность различных задач
6. Расширения логики ALC
7. Теоремы о неразрешимости
Время и место: вторник 18:30, 411 ГК, первое занятие: 18 февраля