μ-SATPLAN: Multi-agent planning as satisfiability

Knowledge-Based Systems

Volumn 29, Issue , 2012, Pages 54-62

  Dimopoulos, Yannis ^a   Hashmi, Muhammad Adnan ^b   Moraitis, Pavlos ^c  

^a UNIVERSITY OF CYPRUS   (Cyprus)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^c Huawei Technologies Co   (France)

Author keywords

Cooperation; Coordination; Multi agent planning; Multi agent systems; Planning as satisfiability

Indexed keywords

COOPERATION; COORDINATION; COORDINATION ALGORITHMS; COURSE OF ACTION; GLOBAL COMMONS; INTERNATIONAL PLANNING COMPETITIONS; MULTI-AGENT PLANNING; MULTIPLE AGENTS; OPTIMAL SOLUTIONS; POSITIVE INTERACTION; SATISFIABILITY;

FORMAL LOGIC; MULTI AGENT SYSTEMS;

ALGORITHMS;

EID: 84857359193     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2011.07.019     Document Type: Conference Paper

References (26)

1. G. Boutilier, and R. Brafman Partial-order planning with concurrent interacting actions Journal of Artificial Intelligence Research 14 2001 105 136
2. F. von Martial Coordinating Plans for Autonomous Agents vol. 610 1992 Springer Verlag
3. M.J. Katz, and J.S. Rosenschein The generation and execution of plans for multiple agents Computers and Artificial Intelligence 12 1 1993 5 35
4. E. Ephrati, J. Rosenschein, Divide and conquer in multi-agent planning, in: AAAI94, 1994, pp. 375-380.
5. B.J. Clement, E.H. Durfee, Top-down search for coordinating the hierarchical plans of multiple agents, in: Agents, 1999, pp. 252-259.
6. J.S. Cox, and E.H. Durfee Efficient and distributable methods for solving the multiagent plan coordination problem Multiagent and Grid Systems 5 4 2009 373 408
7. I. Tsamardinos, M.E. Pollack, J.F. Horty, Merging plans with quantitative temporal constraints, temporally extended actions, and conditional branches, in: AIPS'00, 2000, pp. 264-272.
8. H. Tonino, A. Bos, M.D. Weerdt, and C. Witteveen Plan coordination by revision in collective agent-based systems Artificial Intelligence 142 2002 121 145
9. J.S. Cox, E.H. Durfee, Discovering and exploiting synergy between hierarchical planning agents, in: AAMAS, 2003, pp. 281-288.
10. J. Cox, E. Durfee, An efficient algorithm for multiagent plan coordination, in: AAMAS05, 2005, pp. 828-835.
11. J.R. Steenhuisen, C. Witteveen, A. ter Mors, J. Valk, Framework and complexity results for coordinating non-cooperative planning agents, in: 4th German Conference on Multiagent System Technologies, (MATES'06), 2006, pp. 98-109. (Pubitemid 44609518)
12. B. Ottens, B. Faltings, Coordinating agent plans through distributed constraint optimization, in: 18th International Conference On Automated Planning And Scheduling, ICAPS, 2008.
13. R.I. Brafman, C. Domshlak, From one to many: planning for loosely coupled multi-agent systems, in: ICAPS, 2008, pp. 28-35.
14. R. Nissim, R.I. Brafman, C. Domshlak, A general, fully distributed multi-agent planning algorithm, in: AAMAS'10, 2010, pp. 1323-1330.
15. Y. Dimopoulos, P. Moraitis, Multi-agent coordination and cooperation through classical planning, in: Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), 2006, pp. 398-402.
16. A. Mali, Plan merging and plan reuse as satisfiability, in: 5th European Conference on Planning, ECP99, 1999, pp. 84-96.
17. M. Benedetti, L.C. Aiello, Sat-based cooperative planning: a proposal, in: Mechanizing Mathematical Reasoning, 2005, pp. 494-513. (Pubitemid 350227642)
18. M. Iwen, A. Mali, Distributed graphplan, in: Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI2002), 2002, pp. 138-145.
19. A. Blum, and M. Furst Fast planning through planning graph analysis Artificial Intelligence Journal 90 1-2 1997 281 300 (Pubitemid 127398372)
20. H. Kautz, D. McAllester, B. Selman, Encoding plans in propositional logic, in: Principles of Knowledge Representation and Reasoning, KR'96, 1996.
21. A. Gerevini, P. Haslum, D. Long, A. Saetti, and Y. Dimopoulos Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners Artificial Intelligence 173 5-6 2009 619 668
22. H. Kautz, B. Selman, J. Hoffmann, SATPLAN: planning as satisfiability, in: Booklet of the 2006 International Planning Competition, 2006. .
23. E. Giunchiglia, M. Maratea, Planning as satisfiability with preferences, in: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, AAAI'07, 2007, pp. 987-992. (Pubitemid 350149698)
24. E. Giunchiglia, and M. Maratea Introducing preferences in planning as satisfiability Journal of Logic and Computation 21 2 2011 205 229
25. S.J. Russell, and P. Norvig Artificial Intelligence: A Modern Approach 2010 Prentice Hall
26. D. Weld An introduction to least commitment planning AI Magazine 15 4 1994 27 61