ABSTRACT
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programming context can be defined in various ways. This paper defines two semantics for goals, with one based on default logic. The semantics are partly motivated by an analysis of other proposals that have been done in the literature. Further, we establish relations between and properties of these semantics.
- G. Antoniou. Nonmonotonic Reasoning. Artificial Intelligence. The MIT Press, Cambridge, Massachusetts, 1997.]]Google Scholar
- M. E. Bratman. Intention, plans, and practical reason. Harvard University Press, Massachusetts, 1987.]]Google Scholar
- G. Brewka, J. Dix, and K. Konolige. Nonmonotonic reasoning: an overview. CSLI Publications, Stanford, 1997.]]Google Scholar
- P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213--261, 1990.]] Google ScholarDigital Library
- M. Dastani and L. van der Torre. Programming BOID-Plan agents: deliberating about conflicts among defeasible mental attitudes and plans. In Proceedings of the Third Conference on Autonomous Agents and Multi-agent Systems (AAMAS'04), pages 706--713, New York, USA, 2004.]] Google ScholarDigital Library
- M. Dastani, M. B. van Riemsdijk, F. Dignum, and J.-J. Ch. Meyer. A programming language for cognitive agents: goal directed 3APL. In Programming multiagent systems, first international workshop (ProMAS'03), volume 3067 of LNAI, pages 111--130. Springer, Berlin, 2004.]]Google Scholar
- B. Hansson. An analysis of some deontic logics. In Nous 3, 1969.]]Google Scholar
- K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming with declarative goals. In Intelligent Agents VI - Proceedings of the 7th International Workshop on Agent Theories, Architectures, and Languages (ATAL'2000), Lecture Notes in AI. Springer, Berlin, 2001.]] Google ScholarDigital Library
- J. F. Horty. Moral dilemmas and nonmonotonic logic. Journal of Philosophical Logic, 23(1):35--65, 1994.]]Google ScholarCross Ref
- A. F. Moreira, R. Vieira, and R. H. Bordini. Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In Proceedings of the first International Workshop on Declarative Agent Languages and Technologies (DALT03), pages 129--145, 2003.]]Google Scholar
- G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.]]Google Scholar
- A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 473--484. Morgan Kaufmann, 1991.]]Google Scholar
- R. Reiter. A logic for default-reasoning. Artificial Intelligence, 13:81--132, 1980.]]Google ScholarDigital Library
- J. Thangarajah, L. Padgham, and M. Winikoff. Detecting and exploiting positive goal interaction in intelligent agents. In Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS'03), pages 401--408, Melbourne, 2003.]] Google ScholarDigital Library
- J. Thangarajah, M. Winikoff, L. Padgham, and K. Fischer. Avoiding resource conflicts in intelligent agents. In F. van Harmelen, editor, Proceedings of the 15th European Conference on Artifical Intelligence 2002 (ECAI 2002), Lyon, France, 2002.]]Google Scholar
- R. H. Thomason. Desires and defaults: A framework for planning with inferred goals. In A. G. Cohn, F. Giunchiglia, and B. Selman, editors, KR2000: Principles of Knowledge Representation and Reasoning, pages 702--713, San Francisco, 2000. Morgan Kaufmann.]]Google Scholar
- W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. An integrated modal approach to rational agents. In M. Wooldridge and A. S. Rao, editors, Foundations of Rational Agency, Applied Logic Series 14, pages 133--168. Kluwer, Dordrecht, 1998.]]Google Scholar
- M. B. van Riemsdijk, M. Dastani, F. Dignum, and J.-J. Ch. Meyer. Dynamics of declarative goals in agent programming. In J. A. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Proceedings of the second international workshop on Declarative agent languages and technologies (DALT'04), pages 17--32, 2004.]]Google Scholar
- M. B. van Riemsdijk, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming in Dribble: from beliefs to goals using plans. In Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS'03), pages 393--400, Melbourne, 2003.]] Google ScholarDigital Library
- M. Winikoff, L. Padgham. J. Harland, and J. Thangarajah. Declarative and procedural goals in intelligent agent systems. In Proceedings of the eighth international conference on principles of knowledge respresentation and reasoning (KR2002), Toulouse, 2002.]]Google ScholarDigital Library
Index Terms
- Semantics of declarative goals in agent programming
Recommendations
Goal types in agent programming
AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systemsThis paper discusses three types of declarative goals and motivates their integration in logic-based agent-oriented programming languages. These goal types are perform goals, achieve goals, and maintain goals. A goal type is considered as a specific ...
Goal-oriented modularity in agent programming
AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systemsModularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We discuss existing approaches to modularity in cognitive agent programming. ...
Goals in conflict: semantic foundations of goals in agent programming
This paper addresses the notion of (declarative) goals as used in agent programming. Goals describe desirable states, and semantics of these goals in an agent programming context can be defined in various ways. We focus in this paper on the ...
Comments