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?
alt text http://resources.metapress.com/pdf-preview.axd?code=7752n800323g1550&size=smaller
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
This article explains it a bit better: Vivid Knowledge and Tractable Reasoning: Preliminary Report
As far as I understand it, a vivid knowledge base is a knowledge base with a closed world assumption.
Please correct me if I am wrong.