Automatic behavior composition synthesis

Artificial Intelligence

Volumn 196, Issue , 2013, Pages 106-142

  De Giacomo, Giueeppe ^a   Patrizi, Fabio ^a   Sardiña, Sebastian ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b RMIT UNIVERSITY   (Australia)

Author keywords

Automated planning; Intelligent agents; Knowledge representation and reasoning; Reasoning about actions and change; Synthesis of reactive systems

Indexed keywords

CONCURRENCY CONTROL; INTELLIGENT AGENTS; KNOWLEDGE REPRESENTATION; SECURITY SYSTEMS; SYSTEMS ENGINEERING; VIDEO CAMERAS;

AUTOMATED PLANNING; CONTROLLABLE BEHAVIORS; EFFICIENT IMPLEMENTATION; FINITE-STATE TRANSITION SYSTEMS; KNOWLEDGE REPRESENTATION AND REASONING; MODEL-CHECKING TECHNOLOGY; REACTIVE SYSTEM; REASONING ABOUT ACTIONS;

MODEL CHECKING;

EID: 84889776894     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2012.12.001     Document Type: Article

References (92)

1. M. Abadi, L. Lamport, P. Wolper, Realizable and unrealizable specifications of reactive systems, in: Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP), 1989, pp. 1-17.
2. G. Alonso, F. Casati, H. Kuno, V. Machiraju, Web Services. Concepts, Architectures and Applications, Springer, 2004.
3. R. Alur, T.A. Henzinger, O. Kupferman, Alternating-time temporal logic, Journal of the ACM 49 (5) (2002) 672-713.
4. R. Alur, T.A. Henzinger, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, S. Tasiran, MOCHA: Modularity in model checking, in: Proceedings of the International Conference Computer Aided Verification (CAV), 1998, pp. 521-525. (Pubitemid 128092368)
5. E. Asarin, O. Maler, A. Pnueli, Symbolic controller synthesis for discrete and timed systems, in: P. Antsaklis, W. Kohn, A. Nerode, S. Sastry (Eds.), Hybrid Systems II, in: LNCS, vol. 999, Springer, 1995, pp. 1-20.
6. E. Asarin, O. Maler, A. Pnueli, J. Sifakis, Controller synthesis for timed automata, in: IFAC Symposium on System Structure and Control, Elsevier Science Publishers Ltd., 1998, pp. 469-474.
7. F. Bacchus, F. Kabanza, Planning for temporally extended goals, Annals of Mathematics and Artificial Intelligence 22 (1-2) (1998) 5-27. (Pubitemid 128403997)
8. P. Balbiani, F. Cheikh, G. Feuillade, Composition of interactive web services based on controller synthesis, in: Proceedings of the IEEE Congress on Services (SERVICES), 2008, pp. 521-528.
9. P. Balbiani, F. Cheikh, G. Feuillade, Algorithms and complexity of automata synthesis by asynchronous orchestration with applications to web services composition, Electronic Notes in Theoretical Computer Science (ENTCS) 229 (3) (2009) 3-18.
10. P. Balbiani, F. Cheikh, G. Feuillade, Controller/orchestrator synthesis via filtration, Electronic Notes in Theoretical Computer Science (ENTCS) 262 (2010) 33-48.
11. C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, G.J. Pappas, Symbolic planning and control of robot motion: State of the art and grand challenges, IEEE Robotics and Automation Magazine 14 (1) (March 2007) 61-70. (Pubitemid 46566619)
12. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, M. Mecella, Automatic composition of transition-based semantic web services with messaging, in: Proceedings of the International Conference on Very Large Databases (VLDB), 2005, pp. 613-624. (Pubitemid 43991038)
13. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, M. Mecella, Automatic composition of e-services that export their behavior, in: Proceedings of the International Joint Conference on Service Oriented Computing (ICSOC), 2003, pp. 43-58.
14. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, M. Mecella, Automatic service composition based on behavioural descriptions, International Journal of Cooperative Information Systems 14 (4) (2005) 333-376. (Pubitemid 41053811)
15. D. Berardi, F. Cheikh, G. De Giacomo, F. Patrizi, Automatic service composition via simulation, International Journal of Foundations of Computer Science 19 (2) (2008) 429-451.
16. P. Bertoli, M. Pistore, P. Traverso, Automated composition of web services via planning in asynchronous domains, Artificial Intelligence Journal 174 (3-4) (2010) 316-361.
17. M. Bordignon, J. Rashid, M. Broxvall, A. Saffiotti, Seamless integration of robots and tiny embedded devices in a PEIS-ecology, in: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2007, pp. 3101-3106.
18. M. Broxvall, M. Gritti, A. Saffiotti, B.-S. Seo, Y.-J. Cho, PEIS ecology: Integrating robots into smart environments, in: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2006, pp. 212-218. (Pubitemid 44940077)
19. T. Bultan, X. Fu, R. Hull, J. Su, Conversation specification: a new approach to design and analysis of e-service composition, in: Proceedings of the International Conference on World Wide Web (WWW), 2003, pp. 403-410.
20. D. Calvanese, G. De Giacomo, M. Lenzerini, M. Mecella, F. Patrizi, Automatic service composition and synthesis: The roman model, IEEE Data Engineering Bulletin 31 (3) (2008) 18-22.
21. A. Cimatti, M. Pistore, M. Roveri, P. Traverso, Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence Journal 147 (1-2) (2003) 35-84.
22. E. Clarke, E. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, in: D. Kozen (Ed.), Logics of Programs, in: LNCS, vol. 131, Springer, Berlin/Heidelberg, 1982, pp. 52-71 (Chapter 5).
23. E.M. Clarke, O. Grumberg, D. Peled, Model Checking, The MIT Press, 1999.
24. G. De Giacomo, R. De Masellis, F. Patrizi, Composition of partially observable services exporting their behaviour, in: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2009, pp. 90-97.
25. G. De Giacomo, P. Felli, Agent composition synthesis based on ATL, in: Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), 2010, pp. 499-506.
26. G. De Giacomo, F. Patrizi, Automated composition of nondeterministic stateful services, in: Web Services and Formal Methods, 6th International Workshop, Revised Selected Papers, WS-FM 2009, Bologna, Italy, September 4-5, 2009, in: LNCS, vol. 6194, Springer, 2010, pp. 147-160.
27. G. De Giacomo, F. Patrizi, P. Felli, S. Sardina, Two-player game structures for generalized planning and agent composition, in: Proceedings of the National Conference on Artificial Intelligence (AAAI), 2010, pp. 297-302.
28. G. De Giacomo, F. Patrizi, S. Sardina, Agent programming via planning programs, in: Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), May 2010, pp. 491-498.
29. G. De Giacomo, F. Patrizi, S. Sardina, Generalized planning with loops under strong fairness constraints, in: Proceedings of Principles of Knowledge Representation and Reasoning (KR), 2010, pp. 351-361.
30. G. De Giacomo, S. Sardina, Automatic synthesis of new behaviors from a library of available behaviors, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2007, pp. 1866-1871.
31. A. Deutsch, L. Sui, V. Vianu, Specification and verification of data-driven web applications, Journal of Computer and System Sciences 73 (3) (2007) 442-474. (Pubitemid 46028926)
32. R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning About Knowledge, The MIT Press, Cambridge, Massachusetts, 1995.
33. G.E. Fainekos, A. Girard, H. Kress-Gazit, G.J. Pappas, Temporal logic motion planning for dynamic robots, Automatica 45 (2) (2009) 343-352.
34. M. Gelfond, V. Lifschitz, Action languages, Electronic Transactions of AI (ETAI) 2 (1998) 193-210.
35. M. Genesereth, N. Love, General game playing: Overview of the AAAI competition, AI Magazine 26 (2005) 62-72. (Pubitemid 40902512)
36. M.P. Georgeff, A.L. Lansky, Reactive reasoning and planning, in: Proceedings of the National Conference on Artificial Intelligence (AAAI), 1987, pp. 677-682.
37. C.E. Gerede, R. Hull, O.H. Ibarra, J. Su, Automated composition of e-services: Lookaheads, in: Proceedings of the International Joint Conference on Service Oriented Computing (ICSOC), 2004, pp. 252-262. (Pubitemid 40821155)
38. C.E. Gerede, O.H. Ibarra, B. Ravikumar, J. Su, Online and minimum-cost ad hoc delegation in e-service composition, in: Proceedings of the IEEE International Conference on Services Computing (SCC), 2005, pp. 103-112.
39. M. Ghallab, D. Nau, P. Traverso, Automated Planning: Theory and Practice, Morgan Kauffman, 2004.
40. A. Harding, M. Ryan, P.-Y. Schobbens, A new algorithm for strategy synthesis in LTL games, in: Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2005, pp. 477-492. (Pubitemid 41273760)
41. M.R. Henzinger, T.A. Henzinger, P.W. Kopke, Computing simulations on finite and infinite graphs, in: Proceedings of the Annual Symposium on Foundations of Computer Science (FOCS), 1995, pp. 453-462.
42. R. Hull, Web services composition: A story of models, automata, and logics, in: Proceedings of the IEEE International Conference on Services Computing (SCC), 2005, pp. 18-19.
43. B. Jarvis, D. Jarvis, L. Jain, Teams in multi-agent systems, in: Z. Shi, K. Shimohara, D. Feng (Eds.), Intelligent Information Processing III, in: IFIP International Federation for Information Processing, vol. 228, Springer, 2007, pp. 1-10 (Chapter 1).
44. B. Jobstmann, R. Bloem, Optimizations for LTL synthesis, in: Proceedings of the Formal Methods in Computer Aided Design (FMCAD), IEEE Computer Society Press, 2006, pp. 117-124. (Pubitemid 47159932)
45. B. Jobstmann, S. Galler, M. Weiglhofer, R. Bloem, Anzu: A tool for property synthesis, in: Proceedings of the International Conference Computer Aided Verification (CAV), 2007, pp. 258-262.
46. F. Kabanza, S. Thiébaux, Search control in planning for temporally extended goals, in: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2005, pp. 130-139.
47. Y. Kesten, N. Piterman, A. Pnueli, Bridging the gap between fair simulation and trace inclusion, Information and Computation 200 (July 2005) 35-61. (Pubitemid 40762488)
48. H. Kress-Gazit, G.E. Fainekos, G.J. Pappas, Where's Waldo? Sensor-based temporal logic motion planning, in: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2007, pp. 3116-3121. (Pubitemid 350140658)
49. H. Kress-Gazit, G.E. Fainekos, G.J. Pappas, Temporal-logic-based reactive mission and motion planning, IEEE Transactions on Robotics 25 (6) (2009) 1370-1381.
50. O. Kupferman, M.Y. Vardi, Module checking, in: Proceedings of the International Conference Computer Aided Verification (CAV), 1996, pp. 75-86. (Pubitemid 126101271)
51. O. Kupferman, M.Y. Vardi, Church's problem revisited, The Bulletin of Symbolic Logic 5 (2) (1999) 245-263.
52. R. Lundh, L. Karlsson, A. Saffiotti, Plan-based configuration of an ecology of robots, in: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2007, pp. 64-70. (Pubitemid 350140166)
53. R. Lundh, L. Karlsson, A. Saffiotti, Automatic configuration of multi-robot systems: Planning for multiple steps, in: Proceedings of the European Conference in Artificial Intelligence (ECAI), 2008, pp. 616-620.
54. Y. Lustig, M.Y. Vardi, Synthesis from component libraries, in: Proceedings of the International Conference on Foundations of Software Science and Computational Structures (FOSSACS), in: LNCS, vol. 5504, Springer, 2009, pp. 395-409.
55. O. Marin, M. Bertier, P. Sens, DARX - a framework for the fault tolerant support of agent software, in: Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE), 2003, pp. 406-418.
56. D.L. Martin, M.H. Burstein, D.V. McDermott, S.A. McIlraith, M. Paolucci, K.P. Sycara, D.L. McGuinness, E. Sirin, N. Srinivasan, Bringing semantics to web services with OWL-S, in: Proceedings of the International Conference on World Wide Web (WWW), 2007, pp. 243-277. (Pubitemid 47235911)
57. S.A. McIlraith, T.C. Son, Adapting golog for composition of semantic web services, in: Proceedings of Principles of Knowledge Representation and Reasoning (KR), 2002, pp. 482-496.
58. S.A. McIlraith, T.C. Son, H. Zeng, Semantic web services, IEEE Intelligent Systems 16 (2) (2001) 46-53. (Pubitemid 32496021)
59. K.L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Norwell, MA, USA, 1993.
60. R. Milner, An algebraic definition of simulation between programs, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1971, pp. 481-489.
61. A. Muscholl, I. Walukiewicz, A lower bound on web services composition, Logical Methods in Computer Science 4 (2) (2008).
62. D.S. Nau, T.-C. Au, O. Ilghami, U. Kuter, J.W. Murdock, D. Wu, F. Yaman, SHOP2: An HTN planning system, Journal of Artificial Intelligence Research 20 (2003) 379-404. (Pubitemid 41530530)
63. M.P. Papazoglou, P. Traverso, S. Dustdar, F. Leymann, Service-oriented computing: State of the art and research challenges, IEEE Computer 40 (11) (2007) 38-45.
64. O. Pettersson, Execution monitoring in robotics: A survey, Robotics and Autonomous Systems 53 (2) (2005) 73-88. (Pubitemid 41543059)
65. M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, P. Traverso, Planning and monitoring web service composition, in: Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications (AIMSA), in: LNCS, vol. 3192, Springer, 2004, pp. 106-115.
66. M. Pistore, A. Marconi, P. Bertoli, P. Traverso, Automated composition of web services by planning at the knowledge level, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2005, pp. 1252-1259.
67. M. Pistore, P. Traverso, Planning as model checking for extended goals in non-deterministic domains, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2001, pp. 479-486.
68. M. Pistore, P. Traverso, P. Bertoli, A. Marconi, Automated synthesis of composite BPEL4WS web services, in: Proceedings of the IEEE International Conference on Web Services (ICWS), 2005, pp. 293-301. (Pubitemid 44460219)
69. N. Piterman, A. Pnueli, Y. Sa'ar, Synthesis of Reactive (1) Designs, in: Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2006, pp. 364-380.
70. A. Pnueli, R. Rosner, On the synthesis of a reactive module, in: Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 1989, pp. 179-190.
71. A. Pnueli, E. Shahar, A platform for combining deductive with algorithmic verification, in: Proceedings of the International Conference Computer Aided Verification (CAV), 1996, pp. 184-195. (Pubitemid 126101280)
72. D.V. Pynadath, M. Tambe, N. Chauvat, L. Cavedon, Toward team-oriented programming, in: Proceedings of the International Workshop on Agent Theories, Architectures, and Languages (ATAL), Springer, 2000, pp. 233-247.
73. R. Ragab Hassen, L. Nourine, F. Toumani, Protocol-based web service composition, in: Proceedings of the International Joint Conference on Service Oriented Computing (ICSOC), in: LNCS, vol. 5364, Springer, 2008, pp. 38-53 (Chapter 7).
74. P.J. Ramadge, W.M. Wonham, Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization 25 (1987) 206-230. (Pubitemid 17513624)
75. A.S. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language, in: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World (Agents Breaking Away), in: LNCS, vol. 1038, Springer, 1996, pp. 42-55. (Pubitemid 126029707)
76. A. Saffiotti, M. Broxvall, PEIS ecologies: Ambient intelligence meets autonomous robotics, in: Proceedings of the International Conference on Smart Objects and Ambient Intelligence, 2005, pp. 275-280.
77. S. Sardina, G. De Giacomo, Realizing multiple autonomous agents through scheduling of shared devices, in: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2008, pp. 304-312.
78. S. Sardina, G. De Giacomo, Composition of ConGolog programs, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2009, pp. 904-910.
79. S. Sardina, F. Patrizi, G. De Giacomo, Automatic synthesis of a global behavior from multiple distributed behaviors, in: Proceedings of the National Conference on Artificial Intelligence (AAAI), 2007, pp. 1063-1069. (Pubitemid 350149710)
80. S. Sardina, F. Patrizi, G. De Giacomo, Behavior composition in the presence of failure, in: Proceedings of Principles of Knowledge Representation and Reasoning (KR), 2008, pp. 640-650.
81. M.J. Schoppers, Universal plans for reactive robots in unpredictable environments, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1987, pp. 1039-1046.
82. E. Sirin, B. Parsia, D. Wu, J. Hendler, D. Nau, HTN planning for web service composition using SHOP2, Journal of Web Semantics: Science, Services and Agents on the World Wide Web 1 (4) (October 2004) 377-396.
83. S. Sohrabi, N. Prokoshyna, S.A. McIlraith, Web service composition via generic procedures and customizing user preferences, in: Proceedings of the International Semantic Web Conference (ISWC), 2006, pp. 597-611. (Pubitemid 44892059)
84. S. Sohrabi, N. Prokoshyna, S.A. Mcilraith, Web service composition via the customization of golog programs with user preferences, in: A.T. Borgida, V.K. Chaudhri, P. Giorgini, E.S. Yu (Eds.), Conceptual Modeling: Foundations and Applications, Springer, 2009, pp. 319-334 (Chapter Web and Services).
85. T. Stroeder, M. Pagnucco, Realising deterministic behaviour from multiple non-deterministic behaviours, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2009, pp. 936-941.
86. J. Su (Ed.), IEEE Data Engineering Bulletin 31 (September 2008).
87. L. Tan, R. Cleaveland, Simulation revisited, in: Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2001, pp. 480-495. (Pubitemid 33254678)
88. A. Tripathi, R. Miller, Exception handling in agent-oriented systems, in: A. Romanovsky, C. Dony, J. Knudsen, A. Tripathi (Eds.), Advances in Exception Handling Techniques, in: LNCS, vol. 2022, Springer, 2001, pp. 128-146.
89. M.Y. Vardi, An automata-theoretic approach to fair realizability and synthesis, in: Proceedings of the International Conference Computer Aided Verification (CAV), 1995, pp. 267-278.
90. W. Wonham, P. Ramadge, On the supremal controllable sub-language of a given language, SIAM Journal on Control and Optimization 25 (3) (1987) 637-659. (Pubitemid 17585880)
91. N. Yadav, S. Sardina, Decision theoretic behavior composition, in: Yolum Tumer, Stone Sonenberg (Eds.), Proceedings of Autonomous Agents and Multi- Agent Systems (AAMAS), 2011, pp. 575-582.
92. N. Yadav, S. Sardina, Qualitative approximate behavior composition, in: Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA), in: LNCS, vol. 7519, Springer, 2012, pp. 450-462.