Vivid knowledge

Vivid knowledge refers to a specific kind of knowledge representation.

The idea of a vivid knowledge base is to get an interpretation mostly straightforward out of it – it implies the interpretation. Thus, any query to such a knowledge base can be reduced to a database-like query.

Propositional knowledge base

A propositional knowledge base KB is vivid iff KB is a complete and consistent set of literals (over some vocabulary).[1]

Such a knowledge base has the property that it as exactly one interpretation, i.e. the interpretation is unique. A check for entailment of a sentence can simply be broken down into its literals and those can be answered by a simple database-like check of KB.

First-order knowledge base

A first-order knowledge base KB is vivid iff for some finite set of positive function-free ground literals KB+,

KB = KB+ ∪ Negations ∪ DomainClosure ∪ UniqueNames,

whereby

Negations ≔ { ¬p | p is atomic and KB ⊭ p },
DomainClosure ≔ { (ci ≠ cj) | ci, cj are distinct constants },
UniqueNames ≔ { ∀x: (x = c1) ∨ (x = c2) ∨ ..., where the ci are all the constants in KB+ }.

[2]

All interpretations of a vivid first-order knowledge base are isomorphic.[3]

gollark: That's... basically a non-statement.
gollark: You *could* be more transparent as I do not believe there's any actual reason you can't share the source code or explain things, and as I have repeatedly explained the problem is your extremely broken system and not the bots.
gollark: Frankly, I don't really trust you.
gollark: Well, 2-ish.
gollark: Yeß.

See also
  • Closed world assumption

References
  1. Knowledge Representation and Reasoning / Ronald J. Brachman, Hector J. Levesque / page 337
  2. Knowledge Representation and Reasoning / Ronald J. Brachman, Hector J. Levesque / page 337
  3. Knowledge Representation and Reasoning / Ronald J. Brachman, Hector J. Levesque / page 339


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.