From Reactive to Deliberative Multi-agent Planning

Ammar Mohammed, Ulrich Furbach

Abstract

Various researches approached hybrid automata to formally model and coordinate reactive multi-agent systems’ plans situated in a dynamic environment, where the time is critical. However in most of cases, reactivity in dynamic environments is not satisfactory. It is favorable that agents plan their behaviors according to some preference function. Most of current verification tools of hybrid automata are inadequate to model such agents’ plans. Therefore, this paper extends hybrid automata’s decisions making by means of utility functions on transitions. A scenario taken from supply chain management is demonstrated to show the paper’s approach. Analysis of agents’ plans are investigated using a constraint logic program implementation prototype.

References

  1. R. Alur and D. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126(2):183-235, 1994.
  2. M. de Weerdt, A. ter Mors, and C. Witteveen. Multi-agent planning: An introduction to planning and coordination. Handouts of the European Agent Summer School, pages 1-32, 2005.
  3. M. desJardins, E. Durfee, C. Ortiz Jr, and M. Wolverton. Survey of research in distributed, continual planning. AI MAG, 20(4):13-22, 1999.
  4. M. Egerstedt. Behavior Based Robotics Using Hybrid Automata. Lecture Notes in Computer Science, pages 103-116, 2000.
  5. A. El Fallah-Seghrouchni, I. Degirmenciyan-Cartault, and F. Marc. Framework for Multiagent Planning Based on Hybrid Automata. Lecture Notes in Computer Science, pages 226- 235, 2003.
  6. J. Ferber and A. Drogoul. Using reactive multi-agent systems in simulation and problem solving. Kluwer Computer And Information Science Series, pages 53-80, 1992.
  7. G. Frehse. PHAVer: Algorithmic verification of hybrid systems past HyTech. In M. Morari and L. Thiele, editors, Hybrid Systems: Computation and Control, 8th International Workshop, Proceedings, LNCS 3414, pages 258-273. Springer, 2005.
  8. T. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 278-292, New Brunswick, NJ, 1996. IEEE Computer Society Press.
  9. T. Henzinger, P. Ho, and H. Wong-Toi. HYTECH: a model checker for hybrid systems. International Journal on Software Tools for Technology Transfer (STTT), 1(1):110-122, 1997.
  10. G. Hutzler, H. Klaudel, and D. Y. Wang. Towards timed automata and multi-agent systems. In Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers, volume 3228 of Lecture Notes in Computer Science, pages 161-172. Springer, 2005.
  11. M. W. Krzysztof R. Apt. Constraint Logic Programming Using Eclipse. Cambridge University Press, Cambridge, UK, 2007.
  12. K. Larsen, P. Pettersson, and W. Yi. Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer (STTT), 1(1):134-152, 1997.
  13. A. Mohammed and U. Furbach. Modeling multi-agent logistic process system using hybrid automata. In U. Ultes-Nitsche, D. Moldt, and J. C. Augusto, editors, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS, pages 141-149. INSTICC PRESS, 2008.
  14. A. Mohammed and F. Stolzenburg. Implementing hierarchical hybrid automata using constraint logic programming. In S. Schwarz, editor, Proceedings of 22nd Workshop on (Constraint) Logic Programming, pages 60-71, Dresden, 2008. University Halle Wittenberg, Institute of Computer Science. Technical Report 2008/08.
Download


Paper Citation


in Harvard Style

Mohammed A. and Furbach U. (2009). From Reactive to Deliberative Multi-agent Planning . In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009) ISBN 978-989-8111-90-6, pages 67-75. DOI: 10.5220/0002192700670075


in Bibtex Style

@conference{msvveis09,
author={Ammar Mohammed and Ulrich Furbach},
title={From Reactive to Deliberative Multi-agent Planning},
booktitle={Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)},
year={2009},
pages={67-75},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002192700670075},
isbn={978-989-8111-90-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)
TI - From Reactive to Deliberative Multi-agent Planning
SN - 978-989-8111-90-6
AU - Mohammed A.
AU - Furbach U.
PY - 2009
SP - 67
EP - 75
DO - 10.5220/0002192700670075