Article

Prioritized goals and subgoals in a logical account of goal change – a preliminary report

Authors:

Shakil M. Khan,

Yves LespéranceAuthors Info & Claims

DALT'09: Proceedings of the 7th international conference on Declarative Agent Languages and Technologies

Pages 119 - 136

https://doi.org/10.1007/978-3-642-11355-0_8

Published: 11 May 2009 Publication History

Abstract

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 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 also propose an approach for handling subgoals and their dynamics. We prove that the proposed account has some intuitively desirable properties.

References

[1]

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

Digital Library

[2]

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

[3]

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

Digital Library

[4]

Singh, M.P.:Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications. LNCS (LNAI), vol. 799. Springer, Heidelberg (1994)

Digital Library

[5]

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

[6]

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

Digital Library

[7]

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

Digital Library

[8]

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

[9]

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

Digital Library

[10]

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

[11]

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

[12]

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

Digital Library

[13]

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

Digital Library

[14]

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

[15]

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

[16]

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

Digital Library

[17]

Rao, A.S., Georgeff, M.P.: Modeling Rational Agents with a BDI-Architecture. In: Fikes, R., Sandewall, E. (eds.) Second Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR&R 1991), San Mateo, CA, pp. 473-484. Morgan Kaufmann Publishers, San Francisco (1991)

[18]

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

Digital Library

[19]

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

Digital Library

[20]

van Riemsdijk, M.B., Dastani, M., Dignum, F., Meyer, J.J.C.: Dynamics of Declarative Goals in Agent Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 1-18. Springer, Heidelberg (2005)

Digital Library

[21]

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

Digital Library

[22]

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), 471-500 (2009)

Digital Library

Cited By

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
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

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 ...
A logical framework for prioritized goal change
AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

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,...
Goal delegation without goals: BDI agents in harmony with OCMAS principles
MATES'12: Proceedings of the 10th German conference on Multiagent System Technologies

The BDI model is concerned with the rational action of an individual agent. At the multi-agent layer especially coordination among agents is an important factor that determines how overall system goals can be accomplished. Thus, from a software ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

DALT'09: Proceedings of the 7th international conference on Declarative Agent Languages and Technologies

May 2009

261 pages

ISBN:3642113540

Editors:
Matteo Baldoni
Dipartimento di Informatica, Università di Torino, Via Pessinetto 12, Turin, Italy
,
Jamal Bentahar
Concordia Institute for Information Systems Engineering (CIISE), Concordia University, Via Pessinetto 12, Montreal, Canada
,
M. Birna Riemsdijk
Faculty of EEMCS, Delft University of Technology, Mekelweg 4, Delft, CD, The Netherlands
,
John Lloyd
Computer Sciences Laboratory, College of Engineering and Computer Science, Australian National University, Mekelweg 4, Canberra, ACT, Australia

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 11 May 2009

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

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
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

View Options

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

Media

Figures

Other

Tables

View Table of Contents