Sciweavers

135 search results - page 8 / 27
» A Compositional Semantics of Plan Revision in Intelligent Ag...
Sort
View
EPIA
2005
Springer
14 years 2 months ago
Subgoal Semantics in Agent Programming
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules ...
ECAI
2004
Springer
14 years 1 months ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
CIA
2008
Springer
13 years 10 months ago
Incrementally Refined Acquaintance Model for Consortia Composition
This paper presents a specific contracting algorithm that contributes to the process of distributed planning and resource allocation in competitive, semi-trusted environments. The ...
Jan Doubek, Jirí Vokrínek, Michal Pe...
AIPS
2007
13 years 10 months ago
Angelic Semantics for High-Level Actions
High-level actions (HLAs) lie at the heart of hierarchical planning. Typically, an HLA admits multiple refinements into primitive action sequences. Correct descriptions of the ef...
Bhaskara Marthi, Stuart J. Russell, Jason Wolfe
ATAL
2007
Springer
14 years 2 months ago
Goals in the context of BDI plan failure and planning
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
Sebastian Sardiña, Lin Padgham