Оживление - Vivification

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

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

Например, рассмотрим пример, приведенный в (Коэн 92): Предположим, у нас есть концепция ${ displaystyle { textrm {ПИАНИСТ (Джилл)}} vee { textrm {ОРГАНИСТ (Джилл)}}}$. Эту концепцию можно воплотить в более простую концепцию. ${ displaystyle { textrm {KEYBOARD-PLAYER (Джилл)}}}$. Это обобщение приводит к приближению, которое может не полностью соответствовать оригиналу.

Приближение

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

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

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

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