Оживление - Vivification

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

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

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

Приближение

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

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

Рекомендации

1. Коэн У.В., Боргида А., Хирш Х. Вычисление наименее распространенных субподрядчиков в логике описания // В: Proc. AAAI-92, AAAI Press / MIT Press, 1992, страницы 754-760. CiteSeer
2. Баадер Ф., Кустерс Р., Вольтер Ф. Расширения логики описания. У Ф. Баадера, Д. Кальванезе, Д. МакГиннесса, Д. Нарди и П.Ф. Патель-Шнайдер, редакторы, Справочник по логике описания: теория, реализация и приложения. Издательство Кембриджского университета, 2003. http://citeseer.ist.psu.edu/baader03basic.html