Inquirers: A general model of non-ideal rational agents
Antonio Moreno, Ulises Cortés, Ton Sales · International Journal of Intelligent Systems · 2000
Doxastic logics have been widely used to model the reasoning processes that a rational agent may perform on its beliefs. The possible worlds model and the Kripke semantics provide an intuitive semantics to doxastic formulas, but they may only be used to model ideal agents. A different model is proposed in this article. In this new approach, the consistent and complete standard possible worlds are replaced by conceivable situations, that are those scenarios that the modelled agent is capable of considering, regardless of their partiality or inconsistency. A general class of non-ideal reasoners, the rational inquirers, is defined, and it is shown how the evolution of the beliefs of this kind of agents, caused by a multidimensional dynamic analysis, may be modelled in the framework of conceivable situations. ©2000 John Wiley & Sons, Inc.