Multi-Agent Planning and Diagnosis with Commonsense Reasoning
Article No.: 5, Pages 1 - 9
Abstract
In multi-agent systems, multi-agent planning and diagnosis are two key subfields – multi-agent planning approaches identify plans for the agents to execute in order to reach their goals, and multi-agent diagnosis approaches identify root causes for faults when they occur, typically by using information from the multi-agent planning model as well as the resulting multi-agent plan. However, when a plan fails during execution, the cause can often be related to some commonsense information that is neither explicitly encoded in the planning nor diagnosis problems. As such existing diagnosis approaches fail to accurately identify the root causes in such situations.
To remedy this limitation, we extend the Multi-Agent STRIPS problem (a common multi-agent planning framework) to a Commonsense Multi-Agent STRIPS model, which includes commonsense fluents and axioms that may affect the classical planning problem. We show that a solution to a (classical) Multi-Agent STRIPS problem is also a solution to the commonsense variant of the same problem. Then, we propose a decentralized multi-agent diagnosis algorithm, which uses the commonsense information to diagnose faults when they occur during execution. Finally, we demonstrate the feasibility and promise of this approach on several key multi-agent planning benchmarks.
References
[1]
Marcello Balduccini and Michael Gelfond. 2003. Diagnostic Reasoning with A-Prolog. Theory and Practice of Logic Programming 3, 4-5 (2003), 425–461.
[2]
Chitta Baral, Sheila McIlraith, and Tran Cao Son. 2000. Formulating Diagnostic Problem Solving Using an Action Language with Narratives and Sensing. In Proceedings of the International Conference on Principles of Knowledge and Representation and Reasoning (KR). 311–322.
[3]
Daniel Bernstein, Robert Givan, Neil Immerman, and Shlomo Zilberstein. 2002. The Complexity of Decentralized Control of Markov Decision Processes. Mathematics of Operations Research 27, 4 (2002), 819–840.
[4]
Ronen I. Brafman and Carmel Domshlak. 2008. From One to Many: Planning for Loosely Coupled Multi-Agent Systems. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). 28–35.
[5]
Aníbal Bregón, Matthew J. Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon D. Koutsoukos, and Belarmino Pulido. 2014. An Event-based Distributed Diagnosis Framework Using Structural Model Decomposition. Artificial Intelligence 210 (2014), 1–35.
[6]
Vittorio Brusoni, Luca Console, Paolo Terenziani, and Daniele Theseider Dupré. 1998. A Spectrum of Definitions for Temporal Model-based Diagnosis. Artificial Intelligence 102, 1 (1998), 39–79.
[7]
Rohan Chandra and Dinesh Manocha. 2022. GamePlan: Game-Theoretic Multi-Agent Planning with Human Drivers at Intersections, Roundabouts, and Merging. IEEE Robotics and Automation Letters 7, 2 (2022), 2676–2683.
[8]
Matthew Daigle, Xenofon Koutsoukos, and Gautam Biswas. 2006. Distributed Diagnosis of Coupled Mobile Robots. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA). 3787–3794.
[9]
Femke de Jonge, Nico Roos, and Cees Witteveen. 2009. Primary and Secondary Diagnosis of Multi-Agent Plan Execution. Autonomous Agents and Multi-Agent Systems 18, 2 (2009), 267–294.
[10]
Johan de Kleer and Kurt Konolige. 1989. Eliminating the Fixed Predicates from a Circumscription. Artificial Intelligence 39, 3 (1989), 391–398.
[11]
Johan de Kleer, Alan K. Mackworth, and Raymond Reiter. 1992. Characterizing Diagnoses and Systems. Artificial Intelligence 56, 2-3 (1992), 197–222.
[12]
Johan de Kleer and Brian C. Williams. 1987. Diagnosing Multiple Faults. Artificial Intelligence 32, 1 (1987), 97–130.
[13]
Orel Elimelech, Roni Stern, and Meir Kalech. 2018. Structural Abstraction for Model-based Diagnosis with a Strong Fault Model. Knowledge-Based Systems 161 (2018), 357–374.
[14]
Orel Elimelech, Roni Stern, Meir Kalech, and Yedidya Bar-Zev. 2017. Diagnosing Resource Usage Failures in Multi-Agent Systems. Expert Systems with Applications 77 (2017), 44–56.
[15]
Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, and Johan de Kleer. 2020. Efficient Model-Based Diagnosis of Sequential Circuits. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI). 2814–2821.
[16]
Meir Kalech and Gal A. Kaminka. 2005. Towards Model-Based Diagnosis of Coordination Failures. In Proceedings of the National Conference on Artificial Intelligence (AAAI). 102–107.
[17]
Meir Kalech and Gal A Kaminka. 2007. On the Design of Coordination Diagnosis Algorithms for Teams of Situated Agents. Artificial Intelligence 171, 8-9 (2007), 491–513.
[18]
Meir Kalech, Gal A Kaminka, Amnon Meisels, and Yehuda Elmaliach. 2006. Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms. In Proceedings of the National Conference on Artificial Intelligence (AAAI). 970–975.
[19]
Meir Kalech and Avraham Natan. 2022. Model-Based Diagnosis of Multi-Agent Systems: A Survey. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI). 12334–12341.
[20]
Ngai Meng Kou, Cheng Peng, Hang Ma, T. K. Satish Kumar, and Sven Koenig. 2020. Idle Time Optimization for Target Assignment and Path Finding in Sortation Centers. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI). 9925–9932.
[21]
Jiaoyang Li, Andrew Tinka, Scott Kiesel, Joseph W. Durham, T. K. Satish Kumar, and Sven Koenig. 2021. Lifelong Multi-Agent Path Finding in Large-Scale Warehouses. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI). 11272–11281.
[22]
Drew M McDermott. 2000. The 1998 AI Planning Systems Competition. AI Magazine 21, 2 (2000), 35–35.
[23]
Roberto Micalizio. 2013. Action Failure Recovery via Model-Based Diagnosis and Conformant Planning. Computational Intelligence 29, 2 (2013), 233–280.
[24]
Roberto Micalizio, Pietro Torasso, and Gianluca Torta. 2004. On-line Monitoring and Diagnosis of Multi-Agent Systems: A Model based Approach. In Proceedings of the European Conference on Artificial Intelligence (ECAI). 848–852.
[25]
Avraham Natan and Meir Kalech. 2022. Privacy-Aware Distributed Diagnosis of Multi-Agent Plans. Expert Systems with Applications 192 (2022), 116313.
[26]
Avraham Natan, Meir Kalech, and Roman Barták. 2023. Diagnosis of Intermittent Faults in Multi-Agent Systems: An SFL Approach. Artificial Intelligence 324 (2023), 103994.
[27]
Raz Nissim and Ronen I. Brafman. 2012. Multi-Agent A* for Parallel and Distributed Systems. In Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 1265–1266.
[28]
Lúcio S. Passos, Rui Abreu, and Rosaldo J. F. Rossetti. 2015. Spectrum-based Fault Localisation for Multi-Agent Systems. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). 1134–1140.
[29]
Raymond Reiter. 1987. A Theory of Diagnosis from First Principles. Artificial Intelligence 32, 1 (1987), 57–95.
[30]
Nico Roos. 2018. Learning-Based Diagnosis and Repair. Communications in Computer and Information Science 823 (2018), 1–15.
[31]
Nico Roos and Cees Witteveen. 2009. Models and Methods for Plan Diagnosis. Autonomous Agents and Multi-Agent Systems 19, 1 (2009), 30–52.
[32]
Jens Schulz, Kira Hirsenkorn, Julian Löchner, Moritz Werling, and Darius Burschka. 2017. Estimation of Collective Maneuvers through Cooperative Multi-Agent Planning. In Proceedings of IEEE Intelligent Vehicles Symposium (IV). 624–631.
[33]
Roni Tzvi Stern, Meir Kalech, Alexander Feldman, and Gregory M. Provan. 2012. Exploring the Duality in Conflict-Directed Model-Based Diagnosis. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI). 828–834.
[34]
Peter Struss and Oskar Dressler. 1989. "Physical Negation" Integrating Fault Models into the General Diagnostic Engine. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). 1318–1323.
[35]
Michael Thielscher. 1997. A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence 1 (1997), 73–104.
[36]
Gianluca Torta and Roberto Micalizio. 2018. SMT-based Diagnosis of Multi-Agent Temporal Plans. In Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 2097–2099.
[37]
Gianluca Torta, Roberto Micalizio, and Samuele Sormano. 2019. Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans. In Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 2232–2234.
[38]
Gianluca Torta, Roberto Micalizio, and Samuele Sormano. 2019. Temporal Multiagent Plan Execution: Explaining What Happened. In Proceedings of the International Workshop on Explainable, Transparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS). 167–185.
[39]
Wiebe Van der Hoek and Michael Wooldridge. 2008. Multi-Agent Systems. Foundations of Artificial Intelligence 3 (2008), 887–928.
[40]
Brian C. Williams and P. Pandurang Nayak. 1996. A Model-based Approach to Reactive Self-Configuring Systems. In Proceedings of the National Conference on Artificial Intelligence (AAAI). 971–978.
[41]
Peter Wurman, Raffaello D’Andrea, and Mick Mountz. 2007. Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses. In Proceedings of the National Conference on Artificial Intelligence (AAAI). 1752–1760.
[42]
Peter Wurman, Raffaello D’Andrea, and Mick Mountz. 2008. Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses. AI Magazine 29, 1 (2008), 9–20.
Index Terms
- Multi-Agent Planning and Diagnosis with Commonsense Reasoning
Recommendations
Multi-agent planning by plan reuse
AAMAS '13: Proceedings of the 2013 international conference on Autonomous agents and multi-agent systemsGenerating plans for a single agent has been shown to be a difficult task. If we generalize to a multi-agent setting, the problem becomes exponentially harder in general. The centralized approach where a plan is jointly generated for all agents is only ...
A Modular Framework for Decentralised Multi-Agent Planning
AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent SystemsMulti-agent systems often require runtime planning, which remains an open problem due to the existing gap between planning and execution in practice. Extensive research has been carried out in centralised planning for single-agent systems, but so far ...
Primary and secondary diagnosis of multi-agent plan execution
Diagnosis of plan failures is an important subject in both single- and multi-agent planning. Plan diagnosis can be used to deal with plan failures in three ways: (i) to provide information necessary for the adjustment of the current plan or for the ...
Comments
Information & Contributors
Information
Published In
November 2023
139 pages
ISBN:9798400708480
DOI:10.1145/3627676
Copyright © 2023 Owner/Author.
This work is licensed under a Creative Commons Attribution International 4.0 License.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 30 December 2023
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
DAI '23
DAI '23: The Fifth International Conference on Distributed Artificial Intelligence
November 30 - December 3, 2023
Singapore, Singapore
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 233Total Downloads
- Downloads (Last 12 months)233
- Downloads (Last 6 weeks)43
Reflects downloads up to 10 Oct 2024
Other Metrics
Citations
View Options
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML FormatGet Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in