skip to main content
10.1145/1082473.1082494acmconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
Article

Semantics of declarative goals in agent programming

Published: 25 July 2005 Publication History

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.

References

[1]
G. Antoniou. Nonmonotonic Reasoning. Artificial Intelligence. The MIT Press, Cambridge, Massachusetts, 1997.]]
[2]
M. E. Bratman. Intention, plans, and practical reason. Harvard University Press, Massachusetts, 1987.]]
[3]
G. Brewka, J. Dix, and K. Konolige. Nonmonotonic reasoning: an overview. CSLI Publications, Stanford, 1997.]]
[4]
P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213--261, 1990.]]
[5]
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.]]
[6]
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.]]
[7]
B. Hansson. An analysis of some deontic logics. In Nous 3, 1969.]]
[8]
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.]]
[9]
J. F. Horty. Moral dilemmas and nonmonotonic logic. Journal of Philosophical Logic, 23(1):35--65, 1994.]]
[10]
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.]]
[11]
G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.]]
[12]
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.]]
[13]
R. Reiter. A logic for default-reasoning. Artificial Intelligence, 13:81--132, 1980.]]
[14]
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.]]
[15]
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.]]
[16]
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.]]
[17]
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.]]
[18]
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.]]
[19]
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.]]
[20]
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.]]

Cited By

View all
  • (2014)An operational semantics for the goal life-cycle in BDI agentsAutonomous Agents and Multi-Agent Systems10.1007/s10458-013-9238-928:4(682-719)Online publication date: 1-Jul-2014
  • (2013)Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoningThe Knowledge Engineering Review10.1017/S026988891300033730:1(1-44)Online publication date: 4-Sep-2013
  • (2011)A BDI agent programming language with failure handling, declarative goals, and planningAutonomous Agents and Multi-Agent Systems10.1007/s10458-010-9130-923:1(18-70)Online publication date: 1-Jul-2011
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
July 2005
1407 pages
ISBN:1595930930
DOI:10.1145/1082473
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 July 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. agent programming languages
  2. declarative goals
  3. default logic
  4. semantics

Qualifiers

  • Article

Conference

AAMAS05
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2014)An operational semantics for the goal life-cycle in BDI agentsAutonomous Agents and Multi-Agent Systems10.1007/s10458-013-9238-928:4(682-719)Online publication date: 1-Jul-2014
  • (2013)Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoningThe Knowledge Engineering Review10.1017/S026988891300033730:1(1-44)Online publication date: 4-Sep-2013
  • (2011)A BDI agent programming language with failure handling, declarative goals, and planningAutonomous Agents and Multi-Agent Systems10.1007/s10458-010-9130-923:1(18-70)Online publication date: 1-Jul-2011
  • (2011)Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent SystemsDeclarative Agent Languages and Technologies VIII10.1007/978-3-642-20715-0_1(1-21)Online publication date: 2011
  • (2010)Operational behaviour for executing, suspending, and aborting goals in BDI agent systemsProceedings of the 8th international conference on Declarative agent languages and technologies VIII10.5555/1996758.1996760(1-21)Online publication date: 10-May-2010
  • (2010)Agent programming via planning programsProceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 110.5555/1838206.1838276(491-498)Online publication date: 10-May-2010
  • (2010)A logical framework for prioritized goal changeProceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 110.5555/1838206.1838246(283-290)Online publication date: 10-May-2010
  • (2009)Goals in conflictAutonomous Agents and Multi-Agent Systems10.1007/s10458-008-9067-418:3(471-500)Online publication date: 1-Jun-2009
  • (2009)Prioritized goals and subgoals in a logical account of goal change – a preliminary reportProceedings of the 7th international conference on Declarative Agent Languages and Technologies10.1007/978-3-642-11355-0_8(119-136)Online publication date: 11-May-2009
  • (2008)Goals in agent systemsProceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 210.5555/1402298.1402323(713-720)Online publication date: 12-May-2008
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media