Refinement of Intentions

Abstract

OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. Abstract. According to Bratman, future-directed intentions are highlevel plans. We view such plans as high-level actions that can typically not be executed directly: they have to be progressively refined until executable basic actions are obtained. Higher-and lower-level actions are linked by the means-end relation, alias instrumentality relation. In this paper we extend Shoham's database perspective of Bratman's theory by the notions of refinement and instrumentality.

BDI Logics for BDI Architectures: Old Problems, New Perspectives

“…Our short term goal is to be part of this adventure. First steps on this research avenue are proposed in [33].…”

“…Such events could be equipped with pre-and postconditions, just as actions are. We have undertaken first steps towards this in our [33].…”

On Hierarchical Task Networks

“…Previous work embedding HTN in the Situation Calculus [1,6,7] is discussed in more detail in the long report. Relations between HTN planning with the semantics of BDI logics are investigated in [3,9,10,14].…”

Deciding Refinement Relation in Belief-Intention Databases

“…In this section we recall the main definitions of belief-intention databases initially proposed in [13].…”

“…Compared with the heavily implementation-driven BDI agents, the belief-intention database is more logical and more suitable for revising beliefs and intentions. In [13], Herzig et al followed Shoham's database perspective and extended his belief-intention database framework to formalize such a refinement relation between intentions. In the extended framework, beliefs and intentions are organized in a so-called belief-intention database: a belief is a propositional formula indexed by time points and an intention is considered as a high-level action, which cannot be executed directly, with a duration.…”