Sciweavers

PRICAI
2004
Springer

Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts

13 years 9 months ago
Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts
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 PRSlike architecture, and thus is a suitable foundation for developing model checking algorithms for this class of agents.
Wayne Wobcke
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where PRICAI
Authors Wayne Wobcke
Comments (0)