Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
22 CAPÍTULO 3. DEMOSTRACIÓN AUTOMÁTICA EN LÓGICA ABDUCTIVA<br />
(p → q) 1<br />
(t ∧ s) → p 2<br />
✘ ❳❳<br />
¬p q<br />
✏ ❍ ✟ ❳ ❳<br />
¬(t ∧ s)3 p ¬(t ∧ s)4 p<br />
×<br />
¬t<br />
◦<br />
❅<br />
¬s<br />
◦<br />
¬t<br />
◦<br />
❅<br />
El árbol es abierto y completo y tiene cinco ramas abiertas y completas.<br />
¬s<br />
◦<br />
TΘ = {ρ1, ρ2, ρ3, ρ4, ρ5}<br />
donde= ρ1 = {¬p, ¬t}; ρ2 = {¬p, ¬s}; ρ3 = {q, ¬t}; ρ4 = {q, ¬s} y ρ5 = {q, p}. Por lo<br />
tanto, la teoría, Θ es consistente y cada rama abierta proporciona un modelo para ella.<br />
Comprobamos que el árbol para Θ ∪ {¬q} tiene una rama abierta y completa, es decir, que<br />
Θ|= q. Para ello, bastará con extender las ramas abiertas del árbol para Θ con ¬q:<br />
(p → q) 1<br />
(t ∧ s) → p 2<br />
✘ ❳❳<br />
¬p q<br />
✏ ❍ ✟ ❳ ❳<br />
¬(t ∧ s)3 p ¬(t ∧ s)4 p<br />
×<br />
❅<br />
¬t ¬s<br />
¬q ¬q<br />
◦1<br />
◦2<br />
Hemos concluido la tarea I) y obtenemos que el árbol para TΘ ∪{¬q} tiene dos ramas abiertas<br />
y completas:<br />
Ext(TΘ, {¬q}) = {ρ ′ 1, ρ ′ 2}<br />
donde ρ ′ 1 = {¬p, ¬t, ¬q} y ρ′ 2 = {¬p, ¬s, ¬q}. En consecuencia, disponemos de dos modelos<br />
para Θ ∪ {¬q}, los cuales nos indican cómo abordar la tarea de buscar las posibles<br />
“extensiones” de Θ a una nueva teoría Θ ′ de modo que Θ ′ |= O.<br />
La tarea II) es la búsqueda de explicaciones abductivas, E, lo cual nos conduce analizar cómo<br />
cerrar simultáneamente las ramas abiertas, es decir, la búsqueda de E tal que existe una<br />
refutación para Θ ∪ {E} ∪ {¬O}.<br />
Para que existan tales explicaciones atómicas o conjuntivas, la extensión Ext(TΘ, {¬q}) debe<br />
ser semicerrada (tiene al menos una rama abierta y al menos una rama cerrada), como lo es<br />
en este ejemplo. En efecto,<br />
¬t<br />
¬q<br />
×<br />
• si fuera cerrada, tendríamos que Θ |= O y, en consecuencia, (Θ, O) no sería un problema<br />
abductivo.<br />
• si fuera abierta, el número de ramas del árbol de la teoría, T , sería el mismo que el<br />
de Ext(TΘ, {¬O}). Sea {ℓ1, . . . , ℓn} el conjunto de literales que cierra Ext(TΘ, {¬O}).<br />
Tenemos dos posibilidades:<br />
❅<br />
¬s<br />
¬q<br />
×<br />
◦<br />
¬q ×