Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Inferencia LPO
Inferencia LPO
)=Sust(, p
i
), para todo i:
p
1
, p
2
, ... p
n
, (p
1
p
2
... p
n
q)
Sust(, q)
Arbol de prueba para inferir que
West es criminal
Arbol de prueba para inferir que West
es criminal que falla: no puede
inferirse nada
Regla de inferencia resolucin
Resolucin generalizada (disyunciones): Para
literales p
i
y q
i
, donde Unifica(p
j
, q
k
)=;
p
1
...p
j
...
p
m
,
q
1
...q
k
...
q
n
,
Sust(,(p
1
...p
j-1
p
j+1
...p
m
q
1
...q
k-1
q
k+1
...
q
n
))
Resolucin generalizada (equivalente en
trmino de implicaciones)
Prueba de que S(A) se desprende
de KB usando resolucin
Prueba de que S(A) se desprende de
KB usando resolucin con refutacin
Prueba de que Curiosidad mat
al Gato
FIN