Dynamic belief analysis

  • Antonio Moreno
  • Ton Sales
Part IV: Theories
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1193)


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.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Antonio Moreno
    • 1
  • Ton Sales
    • 2
  1. 1.Escola Tecnica Superior d'Enginyeria, Dept. d'Enginyeria InformaticaUniversitat Rovira i VirgiliTarragonaSpain
  2. 2.Facultat d'Informatica, Dept. de Llenguatges i Sistemes InformaticsUniversitat Politecnica de CatalunyaBarcelonaSpain

Personalised recommendations