Sciweavers

Share
CLIMA
2004

Dynamic Logic for Plan Revision in Intelligent Agents

11 years 2 months ago
Dynamic Logic for Plan Revision in Intelligent Agents
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes an agent's beliefs. Plans can be revised during execution. Due to these plan revision capabilities of 3APL agents, plans cannot be analyzed by structural induction as in for example standard propositional dynamic logic. We propose a dynamic logic that is tailored to handle the plan revision aspect of 3APL. For this logic, we give a sound and complete axiomatization.
M. Birna van Riemsdijk, Frank S. de Boer, John-Jul
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where CLIMA
Authors M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
Comments (0)
books