Resumen de Algunas lógicas modales asociadas al razonamiento de agentes inteligentes

Gloria A. Rúa, Manuel Sierra A.

• Se presentan las jerarquías de sistemas SCR¿nT4, SCR¿nT5 y SCR¿nD45 con n >= 3, en las 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. Los sistemas son caracterizados con semánticas al estilo Kripke, en las cuales, 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 se encuentran asociados a los sistemas deductivos SCR¿nT4, SCR¿nT5 y SCR¿nD45.