research-article

Measuring plan coverage and overlap for agent reasoning

Authors:

John Thangarajah,

Sebastian Sardina,

Lin PadghamAuthors Info & Claims

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

Pages 1049 - 1056

Published: 04 June 2012 Publication History

Abstract

In Belief Desire Intention (BDI) agent systems it is usual for goals to have a number of plans that are possible ways of achieving the goal, applicable in different situations, usually captured by a context condition. In Agent Oriented Software Engineering it has been suggested that a designer should be conscious of whether a goal has complete coverage, that is, is there some plan that is applicable for every situation. Similarly a designer should be conscious of overlap, that is, for a given goal, are there situations where more than one plan could be applicable for achieving that goal. In this paper we further develop these notions in two ways, and then describe how they can be used both in agent reasoning and agent system development. Firstly we replace the boolean value for basic coverage and overlap with numerical measures, and explain how these may be calculated. Secondly we describe a measure that combines these basic measures, with the characteristics of the coverage/overlap in the goal-plan tree below a given goal. We then describe how these domain independent measures can be used for both plan selection and intention selection, as well as for guidance in agent system development.

References

[1]

R. H. Bordini, A. L. C. Bazzan, R. de Oliveira Jannone, D. M. Basso, R. M. Vicari, and V. R. Lesser. AgentSpeak(XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1294--1302. ACM Press, 2002.

Digital Library

[2]

L. P. de Silva, S. Sardina, and L. Padgham. First principles planning in BDI systems. In C. Sierra, C. Castelfranchi, K. S. Decker, and J. S. Sichman, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), volume 2, pages 1001--1008, Budapest, Hungary, May 2009. IFAAMAS.

Digital Library

[3]

C. P. Gomes, J. Hoffmann, A. Sabharwal, and B. Selman. From sampling to model counting. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 2293--2299, 2007.

Digital Library

[4]

C. P. Gomes, A. Sabharwal, and B. Selman. Model counting. In A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors, Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, pages 633--654. IOS Press, 2009.

[5]

B. Horling, V. Lesser, R. Vincent, and T. Wagner. The Soft Real-Time Agent Control Architecture. Autonomous Agents and Multi-Agent Systems, 12(1):35--92, 2006.

Digital Library

[6]

M. J. Huber. JAM: A BDI-theoretic mobile agent architecture. In Proceedings of the Annual Conference on Autonomous Agents (AGENTS), pages 236--243, New York, NY, USA, 1999. ACM Press.

Digital Library

[7]

L. Padgham, J. Thangarajah, and M. Winikoff. Prometheus design tool. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 1882--1883, 2008.

Digital Library

[8]

L. Padgham and M. Winikoff. Developing Intelligent Agent Systems: A Practical Guide. Wiley Series in Agent Technology. John Wiley and Sons, NY, USA, 2004.

Digital Library

[9]

A. S. Rao. Agentspeak(L): BDI agents speak out in a logical computable language. In W. V. Velde and J. W. Perram, editors, Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World. (Agents Breaking Away), volume 1038 of Lecture Notes in Computer Science (LNCS), pages 42--55. Springer, 1996.

Digital Library

[10]

S. Sardina and L. Padgham. A BDI agent programming language with failure recovery, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems, 23(1):18--70, 2011.

Digital Library

[11]

J. Thangarajah. Managing the Concurrent Execution of Goals in Intelligent Agents. PhD thesis, RMIT University, Melbourne, Australia, 2004.

[12]

J. Thangarajah, J. Harland, D. Moreley, and N. Yorke-Smith. Suspending and resuming tasks in BDI agents. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 405--412, Estoril, Portugal, May 2008.

Digital Library

[13]

K. Vikhorev, N. Alechina, and B. Logan. Agent programming with priorities and deadlines. In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 397--404, 2011.

Digital Library

[14]

W. Wei and B. Selman. A new approach to model counting. In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), volume 3569 of Lecture Notes in Computer Science, pages 324--339. Springer, 2005.

Digital Library

[15]

H. Zhang, S. Y. Huang, and Y. Chang. An agent's activities are controlled by his priorities. In Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications, KES-AMSTA'08, pages 723--732, Berlin, Heidelberg, 2008. Springer-Verlag.

Digital Library

Cited By

Yao YAlechina NLogan BThangarajah JDignum FLomuscio AEndriss UNowé A(2021)Intention Progression using Quantitative Summary InformationProceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3463952.3464115(1416-1424)Online publication date: 3-May-2021
https://dl.acm.org/doi/10.5555/3463952.3464115
Logan BThangarajah JYorke-Smith NLarson KWinikoff MDas SDurfee E(2017)Progressing Intention ProgressionProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091234(768-772)Online publication date: 8-May-2017
https://dl.acm.org/doi/10.5555/3091125.3091234
Yao YLogan BJonker CMarsella SThangarajah JTuyls K(2016)Action-Level Intention Selection for BDI AgentsProceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems10.5555/2936924.2937103(1227-1236)Online publication date: 9-May-2016
https://dl.acm.org/doi/10.5555/2936924.2937103
Show More Cited By

Index Terms

Measuring plan coverage and overlap for agent reasoning
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Intelligent agents

Recommendations

A Plan Based Coalition Formation Model for Multi-agent Systems
WI-IAT '11: Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02

This article addresses the coalition formation problem in a multi-agent context where agents plan their activities dynamically and use these plans to coordinate their actions and form suitable coalitions. In most coalition formation methods, when ...
Techniques for Plan Recognition

Knowing a user's plans and goals can significantly improve the effectiveness of an interactive system. However, recognizing such goals and the user's intended plan for achieving them is not an easy task. Although much research has dealt with ...
Conflicting goals in agent-oriented programming
AGERE 2016: Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control

An important feature of goal-oriented programming languages is that agents are able to easily pursue multiple goals concurrently. However, there is an issue when some concurrent goals may conflict with others. Pursuing conflicting goals concurrently ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

June 2012

601 pages

ISBN:0981738125

Sponsors

The International Foundation for Autonomous Agents and Multiagent Systems: The International Foundation for Autonomous Agents and Multiagent Systems

In-Cooperation

SIGAI: ACM Special Interest Group on Artificial Intelligence

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 04 June 2012

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AAMAS 12

Sponsor:

The International Foundation for Autonomous Agents and Multiagent Systems

AAMAS 12: International Conference on Autonomous Agents and Multiagent Systems

June 4 - 8, 2012

Valencia, Spain

Acceptance Rates

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
113
Total Downloads

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

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Yao YAlechina NLogan BThangarajah JDignum FLomuscio AEndriss UNowé A(2021)Intention Progression using Quantitative Summary InformationProceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3463952.3464115(1416-1424)Online publication date: 3-May-2021
https://dl.acm.org/doi/10.5555/3463952.3464115
Logan BThangarajah JYorke-Smith NLarson KWinikoff MDas SDurfee E(2017)Progressing Intention ProgressionProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091234(768-772)Online publication date: 8-May-2017
https://dl.acm.org/doi/10.5555/3091125.3091234
Yao YLogan BJonker CMarsella SThangarajah JTuyls K(2016)Action-Level Intention Selection for BDI AgentsProceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems10.5555/2936924.2937103(1227-1236)Online publication date: 9-May-2016
https://dl.acm.org/doi/10.5555/2936924.2937103
Waters MPadgham LSardina SBazzan AHuhns MLomuscio AScerri P(2014)Evaluating coverage based intention selectionProceedings of the 2014 international conference on Autonomous agents and multi-agent systems10.5555/2615731.2617398(957-964)Online publication date: 5-May-2014
https://dl.acm.org/doi/10.5555/2615731.2617398
.Savarimuthu SWinikoff M(2013)Mutation operators for the GOAL agent languageProceedings of the First International Conference on Engineering Multi-Agent Systems10.5555/3100666.3100680(255-273)Online publication date: 6-May-2013
https://dl.acm.org/doi/10.5555/3100666.3100680
Alechina N(2013)Logic and Agent Programming LanguagesProceedings of the 20th International Workshop on Logic, Language, Information, and Computation - Volume 807110.1007/978-3-642-39992-3_1(1-10)Online publication date: 20-Aug-2013
https://dl.acm.org/doi/10.1007/978-3-642-39992-3_1

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