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 problem of how to properly represent incompletely specified intentions and their3 evolution. Since the plans and intentions of collaborating agents are most often elaborated4 incrementally and jointly, elaboration processes naturally involve agreements among agents5 on the identity of appropriate agents, objects and properties that figure into their joint plans.6 The paper builds on ideas from dynamic logic to present a solution to the representation7 and evolution of agent intentions involving reference to incompletely specified and, possibly,8 mutually dependent intentions, as well as the objects referenced within those intentions. It9 provides a first order semantics for the resulting logic. A companion paper extends further the10 logical form of DISs and explores the problem of logical consequence and in...
Luke Hunsberger, Charles L. Ortiz Jr.