406 search results - page 1 / 82 » Dynamic Logic for Plan Revision in Intelligent Agents |
CLIMA
2004
13 years 6 months ago
2004
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 a...
AAMAS
2008
Springer
13 years 5 months ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...
AAAI
2008
13 years 7 months ago
2008
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for re...
NMR
2004
Springer
13 years 10 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
AAAI
2008
13 years 7 months ago
2008
