I read in an exam about knowledge representation the question:
What is a vivid knowledge base?
And I wonder about the answer. Google only gives me some links to books which I can buy about it or some CiteSeerX articles. Wikipedia also doesn't know anything about it.
Is there any good online article?
Is "vivid knowledge" a common term or is another term more common?
Another definition:
a first-order KB is vivid :<=>
for some finite set of positive function-free ground literals KB+ :
KB = KB+ ∪ 'Negations' ∪ 'Domain closure' ∪ 'Unique names'
And another one:
a KB is vivid :<=>
KB is a complete and consistent set of literals (for some language)
To specify complete:
a KB is complete :<=> there is no formular α such that KB ⊭ α and KB ⊭ ¬α
To specify consistent:
a KB is not consistent :<=> its negation is a tautology