00-1-Introduccion a AI.pdf - Departamento de Ciencias e Ingeniería ...

Suposición de Mundo Cerrado (CWA)
Si se incluye información disjuntiva pueden existir
problemas problemas.
Sea KB = { a ∨ b }, de esta base de conocimiento no se
puede d iinferir f i ni i a ni i bb.
La CWA(KB) = KB ∪ { ¬p(t) si KB p(t) }, esto es
{ a ∨ b } ∪ { ¬a, ¬b } ∪ N = { a ∨ b, ¬a, ¬b } ∪ N
donde N es el resto de los literales ¬p(t) tales que
KB p(t)
Luego Luego, de la CWA(KB) que incluye tanto ¬aa como ¬bb se
puede inferir a y b.
EEs ddecir, i CWA(KB) es iinconsistente i t t en este t caso.
102