Estrategias y Tácticas

Clase 21Leonel Morales

leonel@ingenieriasimple.comlitomd@ufm.edu

17/Septiembre/2014

2 de 9

Repaso1. Extracción

1. El objetivo es subfórmula positiva…

2. Conversión1. El objetivo es disyunción y hay disyunciones…

3. Inversión1. El objetivo es fórmula compuesta…

4. División1. Hay disyunciones que podrían eliminarse…

5. Refutación1. Todo lo anterior ha fallado, introducción y

eliminación de negación

3 de 9

Diagrama de Flujo

Iniciose busca llegar a

φ (objetivo)

¿Se puedeextraer φ?

IntentarExtracción

¿Si sepudo?

¡ Ya estuvo !

SíSí

No No

1. (R (A & S)) Premisa 2. (M & R) Premisa 3. … 4. S Goal

4 de 9

Diagrama de Flujo

Iniciose busca llegar a

φ (objetivo)

¿Se puedeextraer φ?

¿Es φuna fórmula com-

puesta?

IntentarExtracción

¿Si sepudo?

¡ Ya estuvo !

IntentarInversión

¿Si sepudo?

Sí

SíSí

Sí

No

No No

No

1. ((R & T) A) Premisa 2. (M & R) Premisa 3. ((B & M) T) Premisa 4. B Premisa 5. … 6. (A & T) Goal

5 de 9

Diagrama de Flujo

Iniciose busca llegar a

φ (objetivo)

¿Se puedeextraer φ?

¿Es φuna fórmula com-

puesta?

IntentarExtracción

¿Si sepudo?

¡ Ya estuvo !

IntentarInversión

¿Si sepudo?

¿Permite~φ llegar a

contradicción?

IntentarRefutación

¿Si sepudo?

Sí

Sí

SíSí

Sí

Sí

No

No

No No

No

No

1. (Q (F v N)) Premisa 2. ~N Premisa 3. Q Premisa 4. … Premisa 5. F Goal

6 de 9

Diagrama de Flujo

Iniciose busca llegar a

φ (objetivo)

¿Se puedeextraer φ?

¿Es φuna fórmula com-

puesta?

IntentarExtracción

¿Si sepudo?

¡ Ya estuvo !

IntentarInversión

¿Si sepudo?

¿Permite~φ llegar a

contradicción?

IntentarRefutación

¿Si sepudo?

Regresar yprobar siguiente

(backtrack)

Sí

Sí

SíSí

Sí

Sí

No

No

No No

No

No

7 de 9

Diagrama de Flujo

Iniciose busca llegar a

φ (objetivo)

¿Se puedeextraer φ?

¿Es φuna fórmula com-

puesta?

IntentarExtracción

¿Si sepudo?

¡ Ya estuvo !

IntentarInversión

¿Si sepudo?

¿Permite~φ llegar a

contradicción?

IntentarRefutación

¿Si sepudo?

Regresar yprobar siguiente

(backtrack)

Sí

Sí

SíSí

Sí

Sí

No

No

No No

No

No

¿φ es unadisyunción?

IntentarConversión

¿Si sepudo?

SíSí

No

No¿Hay disyuncio-nes disponibles?

No

Sí

8 de 9

Diagrama de Flujo

Iniciose busca llegar a

φ (objetivo)

¿Se puedeextraer φ?

¿Es φuna fórmula com-

puesta?

IntentarExtracción

¿Si sepudo?

¡ Ya estuvo !

IntentarInversión

¿Si sepudo?

¿Permite~φ llegar a

contradicción?

IntentarRefutación

¿Si sepudo?

Regresar yprobar siguiente

(backtrack)

Sí

Sí

SíSí

Sí

Sí

No

No

NoNo

No

No

¿φ es unadisyunción?

IntentarConversión

¿Si sepudo?

SíSí

No No¿Hay disyuncio-nes disponibles?

No

Sí

¿Hay disyuncio-nes disponibles?

No

IntentarDivisión

Sí ¿Si sepudo?

Sí

No

9 de 9

Regla de mano Las reglas de eliminación se aplican hacia

delante De las premisas buscando la conclusión (objetivo)

Las reglas de introducción se aplican hacia atrás

De la conclusión hacia las premisas Si el argumento se lee de las premisas hacia la

conclusión Primero aparecen las eliminaciones Luego las introducciones

¿Qué pasaría si se hiciera al revés?