Адрес e-mail:

Дескрипционная логика и базы знаний (А. Кудинов, весна 2020)

Лектор - доц. А. Кудинов

Аннотация

Дескрипционная логика является формальным исчислением, лежащим в
основе баз знаний (knowledge base) и семантический сетей (semantic
web). Мы изучим эту систему, докажем полноту, обсудим алгоритмы
разрешения этих логик, определим сложность алгоритмов. Планируется
некоторая практическая часть с  созданием своих баз знаний и запуском
стандартных ризонёров.

Планируется охватить следующие темы:

1. Логика ALC: синтаксис и семантика
2. Базы знаний, основные алгоритмические задачи
3. Связь с логикой предикатов
4. Теоремы о полноте
5. Табло-алгоритмы и сложность различных задач
6. Расширения логики ALC
7. Теоремы о неразрешимости


Время и место: вторник 18:30, 411 ГК, первое занятие: 18 февраля
Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

© 2001-2020 Московский физико-технический институт (национальный исследовательский университет)

Противодействие коррупции | Сведения о доходах

Политика обработки персональных данных МФТИ

Техподдержка сайта | API

Использование новостных материалов сайта возможно только при наличии активной ссылки на https://mipt.ru

МФТИ в социальных сетях