Živé znalosti - Vivid knowledge

Živé znalosti odkazuje na konkrétní druh reprezentace znalostí.

Myšlenka a živá znalostní báze je získat z toho výklad většinou přímý - implikuje to výklad. Jakýkoli dotaz na takový a znalostní báze lze snížit na a databáze -jako dotaz.

Propoziční znalostní báze

A propoziční znalostní báze KB je živý iff KB je a kompletní a konzistentní množina literály (přes nějakou slovní zásobu).[1]

Taková znalostní báze má tu vlastnost, že jde o přesně jeden výklad, tj. Výklad je jedinečný. Šek na přítomnost věty lze jednoduše rozdělit do jejích literálů a na ty lze odpovědět jednoduchou databázovou kontrolou KB.

Znalostní databáze prvního řádu

A první objednávka znalostní báze KB je živý iff pro nějakou konečnou sadu pozitivních bezfunkčních pozemních literálů KB+,

KB = KB+ ∪ Negace ∪ DomainClosure ∪ UniqueNames,

čímž

Negace ≔ {¬p | p je atomová a KB ⊭ p},
DomainClosure ≔ {(ci ≠ cj) | Ci, cj jsou odlišné konstanty},
UniqueNames ≔ {∀x: (x = c1) ∨ (x = c2) ∨ ..., kde ci jsou všechny konstanty v KB+ }.

[2]

Všechny interpretace živé znalostní báze prvního řádu jsou izomorfní.[3]

Viz také

Reference

  1. ^ Reprezentace znalostí a uvažování / Ronald J. Brachman, Hector J. Levesque / strana 337
  2. ^ Reprezentace znalostí a uvažování / Ronald J. Brachman, Hector J. Levesque / strana 337
  3. ^ Reprezentace znalostí a uvažování / Ronald J. Brachman, Hector J. Levesque / strana 339