Dynamic belief analysis
The standard possible worlds model and its associated Kripke semantics provide an intuitive way of modelling the reasoning processes that an ideal agent may perform on its beliefs. In this paper a way of modelling non-ideal agents (within the possible worlds framework) is considered. A class of non-ideal agents is described, and it is shown how the process of rational inquiry in which these agents are permanently engaged may be modelled in the proposed setting.
Unable to display preview. Download preview PDF.