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

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.