Part IV: Theories

Intelligent Agents III Agent Theories, Architectures, and Languages

Volume 1193 of the series Lecture Notes in Computer Science pp 87-101


Dynamic belief analysis

  • Antonio MorenoAffiliated withEscola Tecnica Superior d'Enginyeria, Dept. d'Enginyeria Informatica, Universitat Rovira i Virgili
  • , Ton SalesAffiliated withFacultat d'Informatica, Dept. de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya

* Final gross prices may vary according to local VAT.

Get Access


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.