research-article

A logical framework for prioritized goal change

Authors:

Shakil M. Khan,

Yves LespéranceAuthors Info & Claims

AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

Pages 283 - 290

Published: 10 May 2010 Publication History

Abstract

Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logical account of goal change that addresses these deficiencies. In our account, we do not drop lower priority goals permanently when they become inconsistent with other goals and the agent's knowledge; rather, we make such goals inactive. We ensure that the agent's chosen goals/intentions are consistent with each other and the agent's knowledge. When the world changes, the agent recomputes her chosen goals and some inactive goals may become active again. This ensures that our agent maximizes her utility. We prove that the proposed account has desirable properties. We also discuss previous work on postulates for goal revision.

References

[1]

Bordini, R. H., Dastani, M., Dix, J., Fallah-Seghrouchni, A. E., eds.: Multi-Agent Programming: Languages, Platforms and Applications. Springer (2005)

Digital Library

[2]

Bratman, M. E.: Intentions, Plans, and Practical Reason. Harvard Univ. Press, Cambridge, MA (1987)

[3]

Cohen, P. R., Levesque, H. J.: Intention is Choice with Commitment. Artificial Intelligence 42(2--3) (1990) 213--361

Digital Library

[4]

da Costa Pereira, C., Tettamanzi, A.: A Belief-Desire Framework for Goal Revision. Eleventh Intl. Conf. on Knowledge-Based Intelligent Information and Engineering Systems (KES) (2007) 164--171

Digital Library

[5]

da Costa Pereira, C., Tettamanzi, A., Amgoud, L.: Goal Revision for a Rational Agent. Seventeenth European Conference on Artificial Intelligence (ECAI) (2006) 747--748

Digital Library

[6]

da Costa Pereira, C., Tettamanzi, A.: Towards a framework for goal revision. Eighteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC), Namur, Belgium, (2006) 99--106

[7]

De Giacomo, G., Lespérance, Y., Levesque, H. J.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence 121 (2000) 109--169

Digital Library

[8]

Gärdenfors, P. Knowledge in Flux. The MIT Press, Cambridge, MA (1988)

[9]

Georgeff, M. P., Ingrand F.: Decision Making in an Embedded Reasoning System. Eleventh Intl. J. Conf. on Artificial Intelligence (IJCAI), Detroit (1989) 972--978

Digital Library

[10]

Konolige, K., Pollack, M. E.: A Representationalist Theory of Intention. Thirteenth Intl. J. Conf. on Artificial Intelligence (IJCAI), Chambéry, France (1993) 390--395

Digital Library

[11]

Levesque, H. J., Pirri, F., Reiter, R.: Foundations for a Calculus of Situations. Electronic Transactions of AI (ETAI) 2(3--4) (1998) 159--178

[12]

McCarthy, J., Hayes, P. J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4 (1969) 463--502

[13]

Moore, R. C.: A Formal Theory of Knowledge and Action. In Hobbs, J. R., Moore, R. C., eds.: Formal Theories of the Commonsense World. Ablex (1985) 319--358

[14]

Rao, A. S., Georgeff, M. P.: Modeling Rational Agents with a BDI-Architecture. Second Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR&R), San Mateo, CA (1991) 473--484

[15]

Rao, A. S., Georgeff, M. P.: Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics, Twelfth Intl. J. Conf on Artificial Intelligence (IJCAI), Sydney, Australia (1991) 498--504

Digital Library

[16]

Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge, MA (2001)

Digital Library

[17]

Sadek, M. D.: A Study in the Logic of Intention. Third Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR&R-92), Cambridge, MA (1992) 462--473

[18]

Sardina, S., Shapiro, S.: Rational Action in Agent Programs with Prioritized Goals. Second Intl. J. Conf. on Autonomous Agents and Multi-Agent Sys. (AAMAS), Melbourne, Australia (2003) 417--424

Digital Library

[19]

Sardina, S., de Silva, L., Padgham, L.: Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach. Fifth Intl. J. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS), Hakodate, Japan (2006) 1001--1008

Digital Library

[20]

Scherl, R., Levesque, H.: Knowledge, Action, and the Frame Problem. Artificial Intelligence 144(1--2) (2003) 1--39

Digital Library

[21]

Shapiro, S., Brewka, G.: Dynamic Interactions Between Goals and Beliefs. Twentieth Intl. J. Conf. on Artificial Intelligence (IJCAI), India (2007) 2625--2630

Digital Library

[22]

Shapiro, S., Lespérance, Y., Levesque, H. J.: Goal Change in the Situation Calculus. J. of Logic and Computation 17(5) (2007) 983--1018

Digital Library

[23]

Shapiro, S., Lespérance, Y., Levesque, H. J.: Goals and Rational Action in the Situation Calculus - A Preliminary Report. Working Notes of the AAAI Fall Symp. on Rational Agency: Concepts, Theories, Models, and Applications, Cambridge, MA (1995) 117--122

[24]

Singh, M. P.: Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications. Volume 799 of LNAI. Springer-Verlag, Germany (1994)

Digital Library

[25]

van Riemsdijk, M. B., Dastani, M., Meyer, J. J. Ch.: Goals in Conflict: Semantic Foundations of Goals in Agent Programming. International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS) 18(3) (2009) 471--500

Digital Library

[26]

van Riemsdijk, M. B., Dastani, M., Meyer, J. J. Ch.: Semantics of Declarative Goals in Agent Programming. Fourth Intl. J. Conf. on Autonomous Agents and Multiagent Sys. (AAMAS). (2005) 133--140

Digital Library

[27]

van Riemsdijk, M. B., Dastani, M., Dignum, F., Meyer, J. J. Ch.: Dynamics of Declarative Goals in Agent Programming. Second Intl. Workshop on Declarative Agent Languages and Technologies (DALT). Volume 3476 of LNCS, NY, USA, Springer-Verlag (2004) 1--18

Digital Library

[28]

Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. Eighth Intl. Conf. on Principles and Knowledge Representation and Reasoning (KR&R), Toulouse, France (2002) 470--481

Cited By

Dubus GPopineau FBourda YSansonnet J(2013)Parametric Reasoning Agents Extend the Control over Standard BehaviorsProceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Volume 0210.1109/WI-IAT.2013.105(163-170)Online publication date: 17-Nov-2013
https://dl.acm.org/doi/10.1109/WI-IAT.2013.105
Khan SLespérance YSonenberg LStone PTumer KYolum P(2011)SR-APLThe 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 310.5555/2034396.2034511(1251-1252)Online publication date: 2-May-2011
https://dl.acm.org/doi/10.5555/2034396.2034511
Khan SLespérance Y(2011)Logical foundations for a rational BDI agent programming languageProceedings of the 9th international conference on Programming Multi-Agent Systems10.1007/978-3-642-31915-0_1(3-21)Online publication date: 3-May-2011
https://dl.acm.org/doi/10.1007/978-3-642-31915-0_1
Show More Cited By

Index Terms

A logical framework for prioritized goal change
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Intelligent agents
      2. Multi-agent systems
2. Theory of computation
  1. Logic
    1. Modal and temporal logics

Recommendations

Handling prioritized goals and subgoals in a logical account of goal change
AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

Most existing formal models of goals [2, 3] assume that all goals are equally important and many only deal with achievement goals. Moreover, they do not guarantee that an agent's goals will properly evolve when an action/event occurs, e.g. when the ...
Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals
AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

Central to the agent concept is the notion of goals. In the past two decades, much research has been devoted to formalizing various motivational attitudes of agents, such as goals and intentions. Nevertheless, the existing formal models of goals and ...
Prioritized goals and subgoals in a logical account of goal change – a preliminary report
DALT'09: Proceedings of the 7th international conference on Declarative Agent Languages and Technologies

Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logical account of goal change that addresses ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

May 2010

1578 pages

ISBN:9780982657119

General Chairs:
Michael Luck
King's College London, UK
,
Sandip Sen
University of Tulsa

Sponsors

IFAAMAS

In-Cooperation

SIGAI: ACM Special Interest Group on Artificial Intelligence

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 10 May 2010

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AAMAS '10

Sponsor:

AAMAS '10: The Ninth International Conference on Autonomous Agents and Multiagent Systems

May 10 - 14, 2010

Toronto, Canada

Acceptance Rates

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
69
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Dubus GPopineau FBourda YSansonnet J(2013)Parametric Reasoning Agents Extend the Control over Standard BehaviorsProceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Volume 0210.1109/WI-IAT.2013.105(163-170)Online publication date: 17-Nov-2013
https://dl.acm.org/doi/10.1109/WI-IAT.2013.105
Khan SLespérance YSonenberg LStone PTumer KYolum P(2011)SR-APLThe 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 310.5555/2034396.2034511(1251-1252)Online publication date: 2-May-2011
https://dl.acm.org/doi/10.5555/2034396.2034511
Khan SLespérance Y(2011)Logical foundations for a rational BDI agent programming languageProceedings of the 9th international conference on Programming Multi-Agent Systems10.1007/978-3-642-31915-0_1(3-21)Online publication date: 3-May-2011
https://dl.acm.org/doi/10.1007/978-3-642-31915-0_1
van Ditmarsch Hde Lima TLorini E(2010)Intention change via local assignmentsProceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems10.5555/2032683.2032691(136-151)Online publication date: 30-Aug-2010
https://dl.acm.org/doi/10.5555/2032683.2032691
Thangarajah JHarland JMorley DYorke-Smith N(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
https://dl.acm.org/doi/10.5555/1996758.1996760
Thangarajah JHarland JMorley DYorke-Smith N(2010)On the Life-Cycle of BDI Agent GoalsProceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence10.5555/1860967.1861190(1031-1032)Online publication date: 4-Aug-2010
https://dl.acm.org/doi/10.5555/1860967.1861190
Khan SLuck MSen S(2010)Rational agentsProceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 110.5555/1838206.1838526(1653-1654)Online publication date: 10-May-2010
https://dl.acm.org/doi/10.5555/1838206.1838526
van Riemsdijk MYorke-Smith N(2010)Towards reasoning with partial goal satisfaction in intelligent agentsProceedings of the 8th international conference on Programming Multi-Agent Systems10.1007/978-3-642-28939-2_3(41-59)Online publication date: 11-May-2010
https://dl.acm.org/doi/10.1007/978-3-642-28939-2_3

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents