Se presenta un enfoque de los agentes inteligentes, donde la noción de creencia juega un papel fundamental, al describir sus características desde el punto de vista de los sistemas intencionales. Se indica como se formalizan los sistemas intencionales utilizando lógicas modales y semánticas de mundos posibles. Se presenta el llamado problema de la omnisciencia lógica, en donde se describen las características más problemáticas de las lógicas modales normales, cuando se utilizan como lógicas del conocimiento y la creencia. Se presentan como extensiones del cálculo proposicional clásico, la jerarquía de sistemas deductivos SCR-n con n ≥ 1. SCR-n es el sistema de creencias para los razonadores de tipo n. Los
sistemas son caracterizados con una semántica al estilo Kripke, en la cual, la longitud de las cadenas de mundos posibles se encuentra restringida en función del tipo de razonador. Así, la profundidad de un modelo corresponde a la longitud máxima de las cadenas de mundos posibles que figuren en el modelo, resultando que los modelos de profundidad n caracterizan
el sistema deductivo SCR-(n+1). Los sistemas SCR-n se extienden, utilizando la teoría de la correspondencia, a las jerarquías de sistemas de lógica doxástica SCR-nT4, SCR-nT5 y SCR-nD45, en los cuales se formaliza la noción de creencia en el sentido de creencia justificada, de conocimiento y de convicción respectivamente, dando como resultado sistemas
de lógicas doxásticas y epistémicas en los cuales el problema de la omnisciencia lógica puede ser parcialmente controlado.
Author(s): Gloria Rúa Marín
Year: 2007
Language: Spanish
Pages: 122
City: Medellín
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
