knowledge-management

what is a vivid knowledge base


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?


Solution

  • 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