Algunas lógicas modales asociadas al razonamiento de agentes inteligentes

• Main Authors: Gloria Rúa M., Manuel Sierra A.
• Format: Article
• Language: English
• Published: Universidad EAFIT 2008-06-01
• Series: Ingeniería y Ciencia
• Subjects: agente; razonador; creencia; lógica modal; omnisciencia lógica; lógica doxástica
• Online Access: http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/226

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´anticas 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. PACS: 07.05.Mh MSC: 03B45, 03B42