Avoiding logical omniscience and perfect reasoningc a survey
Antonio Moreno · AI Communications · 1998
Beliefs have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they seem to commit us to model agents that are logically omniscient (they believe every classical tautology) and perfect reasoners (their beliefs are closed under classical deductive closure). Thus, this model does not seem to be appropriate to model nondideal agents, that have resource limitations that can prevent them from attaining such levels of doxastic competence. This article contains a statement of these problems and a survey of some of the most interesting approaches that have been suggested to overcome them.