دانلود کتاب Algunas lógicas modales asociadas al razonamiento de agentes inteligentes

فهرست مطالب :

Introducción.............................................................................................................1
Capítulo 1. Agentes inteligentes
1.0 Presentación.............................................................................................................3
1.1 Definiciones de agente............................................................................................... 3
1.2 Características de los agentes......................................................................................5
1.3 Agentes como sistemas intencionales.........................................................................7
1.4 Formalización de las nociones intencionales..............................................................9
1.5 El problema de la omnisciencia lógica......................................................................11
Capítulo 2. Sistema deductivo para la Lógica Clásica
2.0 Introducción............................................................................................................13
2.1 Sistema axiomático para el cálculo proposicional clásico........................................14
2.2 Semántica para el cálculo proposicional clásico.......................................................16
2.3 Validez del cálculo proposicional clásico.................................................................16
2.4 Extensiones consistentes y completas.......................................................................17
2.5 Reglas de inferencia..................................................................................................19
2.6 Completitud del cálculo proposicional clásico.........................................................23
Capítulo 3. Árboles de forzamiento semántico clásico
3.0 Introducción..............................................................................................................27
3.1 Lenguaje de CL.........................................................................................................28
3.2 Árbol de una fórmula................................................................................................28
3.3 Marcando los nodos de un árbol...............................................................................29
3.4 Reglas derivadas para el forzamiento de marcas......................................................31
3.5 Ilustraciones............................................................................................................43
3.6 Validez y completitud...............................................................................................45
2
Capítulo 4. Lógica modal
4.0 Introducción.............................................................................................................49
4.1 Fórmulas.................................................................................................................49
4.2 Marcos y modelos.....................................................................................................50
4.3 Verdad y validez.......................................................................................................50
4.4 Forzamiento lineal para el cálculo proposicional.....................................................51
4.5 Diagramas semánticos..............................................................................................53
4.6 Condiciones sobre la relación de accesibilidad........................................................60
4.7 Lógicas normales....................................................................................................68
4.8 Algunas lógicas normales para la creencia...............................................................69
Capítulo 5. Tipos de razonadores
5.0 Introducción...........................................................................................................71
5.1 Sistemas deductivos SCR-n y CP-n..........................................................................72
5.2 Representación interna de la creencia.......................................................................74
5.3 De la creencia al conocimiento.................................................................................76
5.4 Saber que se aplican las reglas..................................................................................78
5.5 Conciencia del tipo de razonamiento........................................................................80
Capítulo 6. Caracterización semántica de la jerarquía SCR-n
6.0 Introducción.............................................................................................................85
6.1 Propiedades básicas de los sistemas SCR-n.............................................................86
6.2 n-modelos.................................................................................................................86
6.3 n-completitud...........................................................................................................88
6.4 n-validez.................................................................................................................91.
5 Sistema SCR-ω........................................................................................................92
6.6 ω-modelos................................................................................................................93
6.7 Sistemas deductivos SCR-nD45, SCR-nT4 y SCR-nT5.........................................94
6.8 Semántica de los sistemas SCR-nD45, SCR-nT4 y SCR-nT5................................98
6.9 Ilustraciones............................................................................................................99
Conclusiones...........................................................................................................109
Bibliografía............................................................................................................111