Resolución lineal – Estrategia del conjunto de apoyo

Razonamiento:
- Premisas: A1, A2, ..., An
- Conclusió n: B La estrategia del conjunto de apoyo se materializa en la
recomendación siguiente: a la hora de aplicar el mé todo
de resolució n, es necesario empezar por elegir cláusulas
que formen parte de la negación de la conclusión, es decir
del conjunto de apoyo.
Negación
de la conclusió n: ¬B

Conversió n a FNC de Ai, ¬B

A → B -∥- ¬A ˅ B

Eliminación
de las conjunciones ^

- Conjunto de cláusulas:
Ai en FNC, ¬B en FNC
- Conjunto de apoyo:
Subconjunto ¬B en FNC

Simplificación del
conjunto de clásulas:

- Literal puro
- Subsunció n

Razonamiento correcto
Aplicar regla de resolución
SOLO si las premisas
eligiendo clá usulas del
son inconsistentes
conjunto de apoyo
hasta agotarlas

Aplicar regla de resolució n

Alguna clá sula NO SOLO a las clá usulas de
del conjunto de apoyo
premisas
permite
obtener □ ?

Premisas inconsistentes
SÍ Razonamiento siempre correcto

Aplicar regla de resolució n Se llega a □ ?

SOLO a las clá usulas de
premisas SÍ

Razonamiento Razonamiento
correcto correcto
NO

SÍ
Premisas inconsistentes
Se llega a □ ? Razonamiento siempre correcto

Razonamiento
incorrecto
NO Premisas consistentes Premisas consistentes