Оживление

Оживление — это операция над базой знаний логики описания, направленная на повышение производительности семантического рассуждения . Оживление заменяет разъединение понятий $C_{1}\sqcup C_{2}\ldots \sqcup C_{n}$ наименее распространенным подразделом концепций $C_{1},C_{2},\ldots C_{n}$ .

Цель этой операции — улучшить производительность рассуждения за счет замены сложного набора понятий одной концепцией, которая включает в себя исходные концепции.

Например, рассмотрим пример, приведенный в (Коэн 92): Предположим, у нас есть концепция ${\textrm {PIANIST(Jill)}}\vee {\textrm {ORGANIST(Jill)}}$ . Эту концепцию можно оживить в более простую концепцию. ${\textrm {KEYBOARD-PLAYER(Jill)}}$ . Такое обобщение приводит к приближению, которое может быть не совсем эквивалентно оригиналу.

Приближение

Оживление базы знаний не обязательно является точным. Если рассуждающий действует в предположении открытого мира, мы можем получить удивительные результаты. Если в предыдущем примере мы заменим дизъюнкцию оживленным понятием, мы получим удивительные результаты.

Во-первых, мы обнаруживаем, что рассуждающий больше не будет классифицировать Джилл ни как пианистку, ни как органистку. Несмотря на то ${\textrm {ORGANIST}}$ и ${\textrm {PIANIST}}$ — это единственные два подкласса, в соответствии с OWA мы больше не можем классифицировать Джилл как играющую в один или другой подкласс. Причина в том, что может существовать другой клавишный инструмент (например, клавесин), на котором играет Джилл, но у которого нет определенного подкласса.

Ссылки

Коэн В.В., Борджида А., Хирш Х., Вычисление наименьших распространенных субсумматоров в дескрипторной логике, В кн.: Proc. AAAI-92, AAAI Press/The MIT Press, 1992, страницы 754–760. «цитейтер» . Архивировано из оригинала 19 февраля 2008 года . Проверено 26 января 2008 г.
Баадер Ф., Кастерс Р., Уолтер Ф. Расширения описательной логики. В Ф. Баадер, Д. Кальванезе, Д. МакГиннесс, Д. Нарди и П. Ф. Патель-Шнайдер, редакторы, «Справочник по логике описания: теория, реализация и приложения». Издательство Кембриджского университета, 2003. «цитейтер» . Архивировано из оригинала 12 июня 2008 года . Проверено 26 января 2008 г.