O que é uma base de conhecimento vívida

Question

Eu li em um exame sobre representação do conhecimento a pergunta:

O que é uma base de conhecimento vívida?

E eu me pergunto sobre a resposta. O Google me dá apenas alguns links para livros que posso comprar sobre isso ou alguns artigos do CiteSeerx. A Wikipedia também não sabe nada sobre isso.

Existe algum bom artigo online?

O "conhecimento vívido" é um termo comum ou outro termo é mais comum?

Answer 1

Outra definição:

um KB de primeira ordem é vívido :<=>

Para algum conjunto finito de literais terrestres sem função positiva KB+:

Kb = kb+ ∪ 'negações' ∪ 'fechamento de domínio' '' nomes únicos '

---

E um outro:

um kb é vívido :<=>

KB é a completo e consistente Conjunto de literais (para algum idioma)

---

Especificar completo:

um kb é completo : <=> não há α formular de tal

---

Especificar consistente:

um kb é não consistente : <=> sua negação é um tautologia

Answer 2

TEXTO DE ALT HTTP://resources.metaPress.com/pdf-preview.axd?code=7752N800323G1550&size=smaller

Answer 3

Este artigo explica um pouco melhor:Conhecimento vívido e raciocínio tratável: relatório preliminar

Até onde eu o entendo, uma base de conhecimento vívida é uma base de conhecimento com uma suposição do mundo fechado.

Por favor corrija-me se eu estiver errado.