Дескриптивные логики

1.

«Магнитогорский государственный технический
университет им. Г.И. Носова»
ДЕСКРИПТИВНЫЕ ЛОГИКИ
НАЗВАНИЕ ПРЕЗЕНТАЦИИ
Магнитогорск, 2020

2.

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

3.

В дескриптивных логиках:
• Синтаксическими строительными блоками являются атомарные понятия (унарные предикаты),
атомарные роли (бинарные предикаты) и представители (индивидуумы, константы). Роли
(свойства, отношения) являются самостоятельными элементами, которые затем могут быть
связаны с понятиями.
• Понятия и роли можно объединяться в выражения для описания более сложных понятий с
помощью конструкторов (операций).
• Между понятиями и между ролями можно задать отношения (какие понятия (роли) являются
тождественными, и какие понятия (роли) включают другие понятия (роли)).
• Выразительная мощь языка ограничивается тем, что он использует достаточно малый набор
конструкторов для построения сложных понятий и ролей.
• Неявные знания о понятиях и индивидуумах могут быть выведены из явных автоматически с
помощью процедур вывода. В частности, важную роль играют отношения включения
(родовидовые отношения, subsumption relationships) между понятиями и отношениями
экземпляров.

4.

Базовые формализмы ДЛ
• TBox описывает (содержит) терминологию, т.е. словарь
интересующей предметной области (домена);
• ABox содержит утверждения о конкретных представителях
(individuals) в терминах этого словаря.

5.

Терминология (TBox) понятий о семейных отношениях

6.

Описание мира (ABox)

7.

Основными задачами логического вывода о терминологии (TBox)
является:
• определение выполнимости (satisfiable) описания (т.е. не
противоречивости);
• определение того, что одно описание (description) является
более общим, чем другое, т.е. что одно включает в виде категории
другое (subsumes).

8.

Важными задачами для ABox являются:
• определение непротиворечивости (consistent) набора
содержащихся утверждений, т.е. имеет ли она модель;
• следует ли из утверждений, содержащихся в ABox, заключение о
том, что конкретный представитель является экземпляром заданного описания понятия.

9.

Дескриптивный язык