Some modal logics associated to the reasoning of intelligent agents

Fecha

2008-06-10

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.

Palabras clave

CitaciĂłn