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.
3.1. TABLAS SEMÁNTICAS PARA LA LÓGICA ABDUCTIVA 23<br />
◦ O ∈ {ℓ1, . . . , ℓn} 4 . En este caso, tendríamos que la explicación E es tal que E |= O,<br />
en contra de la definición de solución explicativa.<br />
◦ O ∈ {ℓ1, . . . , ℓn}. En este caso, tendríamos que {ℓ1, . . . , ℓn} cierra también al árbol<br />
de la teoría, Θ, y en consecuencia, Θ ∪ {E} no sería consistente, en contra de la<br />
definición de solución explicativa (que exige que sea consistente).<br />
Podemos ya buscar las soluciones explicativas, E, tanto atómicas, como conjuntivas. Ello nos<br />
conduce analizar cómo cerrar simultáneamente las ramas abiertas, es decir, la búsqueda de<br />
E tal que existe una refutación para Θ ∪ {E} ∪ {¬O}:<br />
• La rama ρ ′ 1<br />
• La rama ρ ′ 2<br />
cierra con cualquier subconjunto de {p, t, q}<br />
cierra con cualquier subconjunto de de {p, s, q}<br />
Puesto que toda explicación E debe satisfacer que E |= O, el cierre simultáneo de ambas<br />
ramas nos lleva a considerar los subconjuntos de {p, t, q} - {q} = {p, t} y los subconjuntos de<br />
{p, s, q} - {q} = {p, s}, es decir, las posibles explicaciones candidatas son:<br />
E1 = p; E2 = p ∧ t; E3 = p ∧ s; E4 = p ∧ t ∧ s y E5 = s ∧ t<br />
Abordamos por último la tarea III), es decir, analizar cuáles de estas Ei es consistente con<br />
Θ. En definitiva, comprobar cuáles de estas Ei satisfacen que Θ ∪ {Ei} tiene ramas abiertas.<br />
Puesto que las ramas abiertas de Θ son<br />
ρ1 = {¬p, ¬t}; ρ2 = {¬p, ¬s}; ρ3 = {q, ¬t}; ρ4 = {q, ¬s} y ρ5 = {q, p}<br />
las cinco Ei anteriores son consistentes con la teoría.<br />
Ahora procedemos como sigue:<br />
III.1) Si buscamos explicaciones atómicas, buscamos literales ℓ = Ei tales que:<br />
- Ext( Ext(TΘ, {¬O}), {ℓ} ) = ∅, es decir, ℓ ∈ Cl(Ext(TΘ, {¬O})),<br />
- ℓ ha de ser tal que no cierre TΘ<br />
- ℓ = O.<br />
En consecuencia, toda explicación atómica ℓ = Ei ha de satisfacer<br />
Ei ∈ [Cl(Ext(TΘ, {¬O})) ∩ Clpar(TΘ)] -{O} = [{p} ∩ {p, t, s, ¬p, ¬q}] -{q} = {p}<br />
Existe pues una única explicación atómica E1 = p.<br />
III.2) Si buscamos explicaciones conjuntivas, Ei = ℓ1 ∧ . . . ∧ ℓn, n > 1, cada rama de<br />
Ext(TΘ, {¬O}) debe cerrarse con al menos uno de los ℓi y ninguno de los ℓi debe cerrar<br />
completamente el árbol, por lo tanto, toda rama ρ ∈ Ext(TΘ, {¬O}) ha de satisfacer<br />
que<br />
Clpar(ρ) ∩ {ℓ1 ∧ . . . ∧ ℓn} = ∅<br />
Para conseguir esto, podemos elegir todos los conjuntos de literales ∆ que contienen un<br />
literal de los cierre parciales de cada una de las ramas y eliminar los ∆ no minimales (es<br />
decir, que esté contenido en otro).<br />
4 Recordemos que O es atómica