Some modal logics associated to the reasoning of intelligent agents
Fecha
2008-06-10
Autores
RĂșa M., Gloria
Sierra A., Manuel
TĂtulo de la revista
ISSN de la revista
TĂtulo del volumen
Editor
Universidad EAFIT
Resumen
DescripciĂłn
The hierarchies of systems SCR â nT4, SCR â nT5 and SCR â nD45 are presented with n> 3, in which the notion of belief is formalized in the sense of justified belief, knowledge and conviction respectively, resulting in systems of DoxĂĄstic and epistemic logics in which the problem of logical omniscience can be partially controlled. The systems are characterized with Kripke-style semantics, in which the length of the possible world chains is restricted depending on the type of reasoner. Thus, the depth of a model corresponds to the maximum length of the chains of possible worlds that appear in the model, resulting in the models of depth n being associated with the deductive systems SCR-nT4, SCR-nT5 and SCR-nD45.
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.
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.