Дескрипционная логика (лекции)
с.н.с. Евгений Золин


Программы и задачи:


Лекции:

В конспектах имеются неточности (например, с развёрткой, с экспоненциальными моделями), скоро будут исправлены.

   0.  [ pdf ] Две семантики логики высказываний (вводная лекция)
  1. pdf ] Логика ALC:
  2. pdf ] Терминологии (TBox):
  3. pdf ] Системы фактов (ABox) и базы знаний:
  4. pdf ] Разрешимость логики ALC.
  5. pdf ] Вычислительная сложность логики ALC:
  6. pdf ] Расширения логики ALC численными ограничениями на роли, обратными ролями, номиналами:
  7. pdf ] Логики с аксиомами для ролей:
  8. pdf ] Запросы к базам знаний:
  9. pdf ] Логики с операциями над ролями:
  10. pdf ] Логика с равенством атрибутов:
  11. pdf ] Логика с многоместными отношениями:
  12. pdf ] Логики с конкретными областями L(D):
  13. pdf ] Свойство аддитивности логик.
  14. pdf ] Сведения из теории алгоритмов:
Борис Конев — Онтологии и представление знаний (видеолекции)