Abstract
The aim of this paper is to provide a logical analysis of intention refinement process which plays a fundamental role in the belief-desire-intention (BDI) theory. We briefly show the existing results: a logical framework for intention refinement and the extension of hierarchical task network (HTN) planning to capture high-level intentions. We also present two ongoing directions: extending our logical framework with hierarchical decomposition and revision of intentions based on instrumentality.
Keywords
- Artificial Intelligence: knowledge representation
- Artificial Intelligence: planning
- Artificial Intelligence: artificial intelligence
