PreviewRazAbdLC

Páginas: 31 (7639 palabras) Publicado: 6 de octubre de 2015
2

Cuadernos

Dado el interés de la abducción dentro de la
programación logica, el libro incluye un capítulo
dedicado a las aplicaciones de la abducción
en el razonamiento automático. Igualmente,
se ofrece un razonador abductivo escrito
en Prolog. En los apéndices se encuentra
el código fuente, así como una pequeña
introducción a la programación lógica.
A lo largo del libro se incluyen numerososejemplos de problemas abductivos resueltos
con cada uno de los sistemas que se
presentan.

Razonamiento abductivo en lógica clásica

El razonamiento abductivo ha recibido una
gran atención en los últimos años gracias
a sus aplicaciones en diversas disciplinas,
desde la epistemología hasta la lingüística o
la inteligencia artificial. Este libro presenta
algunas de las aproximaciones a la abducciónmás populares dentro de la lógica clásica,
tanto proposicional como de predicados.

2

Cuadernos

Razonamiento abductivo
en lógica clásica

Fernando Soler Toscano

Fernando Soler Toscano

Cuadernos de lógica,
epistemología y lenguaje
Volumen 2

Razonamiento abductivo en
lógica clásica

Volumen 1
Gottlob Frege. Una introducción
Markus Stepanians. Traducción de Juan Redmond
Volumen 2
Razonamientoabductivo en lógica clásica
Fernando Soler Toscano
Cuadernos de Lógica, epistemología y lenguaje
Series Editors

Shahid Rahman and Juan Redmond

Razonamiento abductivo en
lógica clásica
Fernando Soler Toscano

© Individual author and College Publications 2012. All rights reserved.
ISBN 978-1-84890-083-7
College Publications
Scientific Director: Dov Gabbay
Managing Director: Jane Spurr
Departmentof Informatics,
King’s College London, Strand, London WC2R 2LS, UK
http://www.collegepublications.co.uk
Cover produced by Laraine Welch
Printed by Lightning Source, Milton Keynes, UK

All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or
transmitted in any form, or by any means, electronic, mechanical, photocopying, recording or otherwise
withoutprior permission, in writing, from the publisher.

Índice general

1. Introducción
1.1. ¿Qué es la abducción? . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Aplicaciones del razonamiento abductivo . . . . . . . . . . . . .
1.3. Problemas abiertos . . . . . . . . . . . . . . . . . . . . . . . . . .

1
1
6
12

2. La abducción en la lógica
2.1. Preliminares lógicos . . . . . . . . . . . . . . . .. . . . . . . . . .
2.2. Problema abductivo y solución abductiva . . . . . . . . . . . . .
2.3. Análisis estructural . . . . . . . . . . . . . . . . . . . . . . . . . .

15
15
23
28

3. Abducción y tablas semánticas
3.1. Tablas semánticas proposicionales . . . . . . . . . . . . . . . . .
3.2. Abducción mediante tablas semánticas . . . . . . . . . . . . . .
3.3. Ejemplos . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . .

33
33
40
48

4. Abducción y resolución
4.1. Presentación del cálculo de δ-resolución . . . . . . . . . . . . . .
4.2. El proceso abductivo . . . . . . . . . . . . . . . . . . . . . . . . .
4.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

51
54
63
64

5. Abducción en lógica de predicados
5.1. Semántica de modelos finitos . . . . .. . . . . . . .
5.2. El cálculo de C-tablas . . . . . . . . . . . . . . . . . .
5.3. Proceso abductivo mediante C-tablas y δ-resolución
5.4. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.

67
67
69
74
75

6. Abducción y razonamiento automático
6.1. Construcción de un sistema de razonamiento abductivo . . . . .
6.2. Resolución automática de problemas abductivos . . . . . . . ..

79
79
85

A. Código completo del razonador abductivo

93

v

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

Índice general

vi
B. Breve introducción a la Programación Lógica
B.1. Estructura de un programa lógico . . . . .
B.2. La resolución SLD . . . . . . . . . . . . . .
B.3. Programación en Prolog . . . . . . . . . .
B.4. Aspectos teóricos . . . . . . . . . . . . . .

.
.
.
.

.
....
Leer documento completo

Regístrate para leer el documento completo.

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS