Vivifikace - Vivification

Vivifikace je operace na a logika popisu znalostní báze ke zlepšení výkonu a sémantické uvažování. Vivifikace nahrazuje a disjunkce pojmů ${ displaystyle C_ {1} sqcup C_ {2} ldots sqcup C_ {n}}$ podle nejméně běžný subsumer pojmů ${ displaystyle C_ {1}, C_ {2}, ldots C_ {n}}$.

Cílem této operace je zlepšit výkon odůvodňovače nahrazením komplexní sady konceptů jediným konceptem, který zahrnuje původní koncepty.

Zvažte například příklad uvedený v (Cohen 92): Předpokládejme, že máme koncept ${ displaystyle { textrm {PIANIST (Jill)}} vee { textrm {ORGANIST (Jill)}}}$. Tento koncept lze oživit do jednoduššího konceptu ${ displaystyle { textrm {KLÁVESNICE-HRÁČ (Jill)}}}$. Tato sumarizace vede k aproximaci, která nemusí být přesně ekvivalentní originálu.

Aproximace

Znalostní báze vivifikace nemusí být nutně přesná. Pokud osoba provádějící akci pracuje pod předpoklad otevřeného světa můžeme získat překvapivé výsledky. Pokud v předchozím příkladu nahradíme disjunkce vivifikovaným konceptem, dospějeme k překvapivým výsledkům.

Nejprve zjistíme, že uvažovatel již nebude Jill klasifikovat jako pianistku ani varhaníku. Přestože ${ displaystyle { textrm {ORGANIST}}}$ a ${ displaystyle { textrm {PIANIST}}}$ jsou jediné dvě podtřídy, v rámci OWA již nemůžeme Jill klasifikovat jako hraní jedné nebo druhé. Důvodem je, že může existovat i jiný klávesový nástroj (např. Cembalo), na který Jill hraje, ale který nemá konkrétní podtřídu.

Reference

1. Cohen, W.W., Borgida, A., Hirsh, H., Computing Least Common Subsumers in Description Logics, In: Proc. AAAI-92, AAAI Press / The MIT Press, 1992, strany 754--760. CiteSeer
2. Baader, F., Kusters, R., Wolter F., Rozšíření logiky popisu. Ve F. Baader, D. Calvanese, D. McGuinness, D. Nardi a P.F. Patel-Schneider, redaktoři, Příručka logiky popisu: Teorie, implementace a aplikace. Cambridge University Press, 2003. http://citeseer.ist.psu.edu/baader03basic.html