Model theory for PRS-like agents: Modelling belief update and action attempts

Abstract

In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constraint on our theory is that belief update is modelled within the theory of action as part of the logic ADL, a logic of belief, desire and intention that incorporates propositional dynamic logic. Some logical properties of belief update and attempts are given. The account provides a more complete modelling of both the statics and dynamics of agent programs based on the PRS-like architecture, and thus is a suitable foundation for developing model checking algorithms for this class of agents. © Springer-Verlag Berlin Heidelberg 2004.