views:

88

answers:

3

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?

+2  A: 

alt text

Developer Art
Yes that is what I meant by the book links. But is there a more complete article? This is only the first page and you cannot access the other page.
Albert
Also, I don't exactly understand the content. What exactly is a disjunctive knowledge base? What is vivid reasoning? And a relational database is not a knowledge base - the whole point of KR is to have a base of knowledge which usually gives you an infinite amount of facts you can conclude from it - that is the difference to a database.
Albert
A: 

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.

Albert
A: 

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

Albert