Abstract
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to communicate while the plan is being executed. Such communication is required, for example, to make sure that information critical to the plan is passed in time for it to be useful. In this paper we present a model for constructing joint plans for a team of agents that takes into account their communication needs. The model builds on recent developments in symbolic non-deterministic planning, ideas that have not previously been applied to this problem.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Boutilier, C., Dean, T., Hanks, S.: Decision-theoretic planning: Structural assumptions and computational leverage. Journal of Artificial Intelligence Research 11, 1–94 (1999)
Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Computational Intelligence 4 (1988)
Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293–318 (1992)
Burch, J.R., Clarke, E.M., Long, D.E.: Symbolic model checking with partitioned transition relations. In: International Conference on Very Large Scale Integration, pp. 49–58. North-Holland, Amsterdam (1991)
Burch, J.R., Clarke, E.M., Long, D.E., Mcmillan, K.L., Dill, D.L.: Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13, 401–424 (1994)
Burnett, C., Masato, D., McCallum, M., Norman, T.J., Giampapa, J., Kollingbaum, M.J., Sycara, K.: Agent support for mission planning under policy constraints. In: Proceedings of the Second Annual Conference of the ITA. Imperial College, London (2008)
Chauhan, P., Clarke, E.M., Jha, S., Kukula, J., Shiple, T., Veith, H., Wang, D.: Non-linear quantification scheduling in image computation. In: ICCAD 2001: Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, Piscataway, NJ, USA, pp. 293–298. IEEE Press, Los Alamitos (2001)
Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147(1-2), 35–84 (2003)
Cohen, P., Levesque, H.: Intention is choice with commitment. Artficial Intelligence 42, 213–261 (1990)
Cohen, P., Levesque, H.: Teamwork. Nous 25(4) (1991)
Coudert, O., Berthet, C., Madre, J.C.: Verification of synchronous sequential machines based on symbolic execution. In: Automatic Verification Methods for Finite State Systems, pp. 365–373 (1989)
Coudert, O., Madre, J.C.: The implicit set paradigm: a new approach to finite state system verification. Formal Methods in System Design 6(2), 133–145 (1995)
Genesereth, M.R., Ginsberg, M.L., Rosenschein, J.S.: Cooperation without communication. In: Proceedings of the Fifth National Conference on Artificial Intelligence, Philadelphia, PA (1986)
Grosz, B., Kraus, S.: The evolution of sharedplans. In: Rao, A., Wooldridge, M. (eds.) Foundations and Theories of Rational Agency. Kluwer, Dordrecht (2003)
Hojati, R., Krishnan, S.C., Brayton, R.K.: Early quantification and partitioned transition relations. In: ICCD 1996: Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors, Washington, DC, USA, pp. 12–19. IEEE Computer Society, Los Alamitos (1996)
Jensen, R.M., Veloso, M.M., Bryant, R.E.: State-set branching: Leveraging bdds for heuristic search. Artificial Intelligence 172(2-3), 103–139 (2008)
Parsons, S., McBurney, P.: Argumentation-based dialogues for agent coordination. Group Decision and Negotiation 12(5) (2003)
Parsons, S., Poltrock, S., Bowyer, H., Tang, Y.: Analysis of a recorded team coordination dialogue. In: Proceedings of the Second Annual Conference of the ITA. Imperial College, London (2008)
Sierra, C., Jennings, N.R., Noriega, P., Parsons, S.: A framework for argumentation-based negotiations. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 177–192. Springer, Heidelberg (1998)
Sycara, K., Paolucci, M., Giampapa, J., van Velsen, M.: The RETSINA multiagent infrastructure. Journal of Autonomous Agents and Multiagent Systems 7(1) (2003)
Sycara, K., Sukthankar, G.: Literature review of teamwork. Technical Report CMU-RI-TR-06-50, Carnegie Mellon University (November 2006)
Tambe, M.: Towards flexible teamwork. Journal of Artificial Intelligence Research 7 (1997)
Tang, Y., Parsons, S.: Argumentation-based dialogues for deliberation. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 552–559. ACM Press, New York (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tang, Y., Norman, T.J., Parsons, S. (2010). A Model for Integrating Dialogue and the Execution of Joint Plans. In: McBurney, P., Rahwan, I., Parsons, S., Maudet, N. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2009. Lecture Notes in Computer Science(), vol 6057. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12805-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-12805-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12804-2
Online ISBN: 978-3-642-12805-9
eBook Packages: Computer ScienceComputer Science (R0)