Declarative and procedural goals in intelligent agent systems

Winikoff, M, Padgham, L, Harland, J and Thangarajah, J 2002, 'Declarative and procedural goals in intelligent agent systems', in Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning, Toulouse, France, 22-25 April 2005.


Document type: Conference Paper
Collection: Conference Papers

Attached Files
Name Description MIMEType Size
n2006002237.pdf Accepted manuscript application/pdf 255.86KB
Title Declarative and procedural goals in intelligent agent systems
Author(s) Winikoff, M
Padgham, L
Harland, J
Thangarajah, J
Year 2002
Conference name International Conference on Principles of Knowledge Representation and Reasoning
Conference location Toulouse, France
Conference dates 22-25 April 2005
Proceedings title Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning
Publisher Morgan Kaufman
Place of publication Toulouse, France
Abstract An important concept for intelligent agent systems is goals. Goals have two aspects: declarative (a description of the state sought), and procedural (a set of plans for achieving the goal). A declarative view of goals is necessary in order to reason about important properties of goals, while a procedural view of goals is necessary to ensure that goals can be achieved efficiently in dynamic environments. In this paper we propose a framework for goals which integrates both views. We discuss the requisite properties of goals and the link between the declarative and procedural aspects, then derive a formal semantics which has these properties. We present a high-level plan notation with goals and give its formal semantics. We then show how the use of declarative information permits reasoning (such as the detection and resolution of conflicts) to be performed on goals.
Subjects Adaptive Agents and Intelligent Robotics
Copyright notice © 2002 Morgan Kaufmann Publishers
Versions
Version Filter Type
Access Statistics: 767 Abstract Views, 991 File Downloads  -  Detailed Statistics
Created: Mon, 26 Oct 2009, 08:18:26 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us