Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Índice general<br />
1. Introducción 1<br />
2. <strong>Lógica</strong> <strong>Abductiva</strong> Proposicional 7<br />
2.1. Propiedades de la relación de consecuencia abductiva |=ab . . . . . . . . . . . . . . . 11<br />
2.2. Novedades y Anomalías . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13<br />
3. Demostración automática en <strong>Lógica</strong> <strong>Abductiva</strong> 15<br />
3.1. Tablas semánticas para la <strong>Lógica</strong> <strong>Abductiva</strong> . . . . . . . . . . . . . . . . . . . . . . . 21<br />
3.2. δ-resolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25<br />
3.2.1. δ-Resolución como algoritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . 32<br />
4. <strong>Logica</strong> abductiva de primer orden 37<br />
4.1. Semántica para los Lenguajes de Primer Orden . . . . . . . . . . . . . . . . . . . . . 43<br />
4.1.1. Semántica de Tarski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44<br />
4.1.2. Forma Normal Prenexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49<br />
4.1.3. Skolemización . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51<br />
4.1.4. Herbrandización . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53<br />
4.2. Método de C-tablas para la lógica abductiva de primer orden . . . . . . . . . . . . . 53<br />
4.3. δ-Resolución <strong>Abductiva</strong> en la lógica de primer orden . . . . . . . . . . . . . . . . . . 58<br />
4.4. Predicados Abducibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60<br />
5. Aplicaciones de la <strong>Lógica</strong> <strong>Abductiva</strong> 63<br />
5.1. <strong>Lógica</strong> Epistémica y Abducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65<br />
6. <strong>Lógica</strong> <strong>Paraconsistente</strong> 73<br />
6.1. Motivación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73<br />
6.2. Inconsistencia y trivialidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74<br />
6.3. Algunas lógicas paraconsistentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77<br />
6.3.1. La <strong>Lógica</strong> de la Paradoja LP . . . . . . . . . . . . . . . . . . . . . . . . . . . 77<br />
6.3.2. Las C-lógicas de da Costa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83<br />
6.4. Aplicaciones de la lógica paraconsistente . . . . . . . . . . . . . . . . . . . . . . . . . 89<br />
iii
Change language