A model for integrating dialogue and the execution of joint plans

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6057 LNAI, Issue , 2010, Pages 60-78

  Tang, Yuqing ^a   Norman, Timothy J ^b   Parsons, Simon ^a,c  

^a City College of the City University of New York   (United States)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

^c CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX PROCESSES; TEAM MEMBERS;

MULTI AGENT SYSTEMS;

EID: 78650470952     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12805-9_4     Document Type: Conference Paper

References (23)

1. Boutilier, C., Dean, T., Hanks, S.: Decision-theoretic planning: Structural assumptions and computational leverage. Journal of Artificial Intelligence Research 11, 1-94 (1999).
2. Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Computational Intelligence 4 (1988).
3. Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293-318 (1992).
4. 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).
5. 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).
6. 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).
7. 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).
8. 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).
9. Cohen, P., Levesque, H.: Intention is choice with commitment. Artficial Intelligence 42, 213- 261 (1990).
10. Cohen, P., Levesque, H.: Teamwork. Nous 25(4) (1991).
11. 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).
12. 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).
13. 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).
14. Grosz, B., Kraus, S.: The evolution of sharedplans. In: Rao, A., Wooldridge, M. (eds.) Foundations and Theories of Rational Agency. Kluwer, Dordrecht (2003).
15. 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).
16. 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).
17. Parsons, S., McBurney, P.: Argumentation-based dialogues for agent coordination. Group Decision and Negotiation 12(5) (2003).
18. 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).
19. 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).
20. Sycara, K., Paolucci, M., Giampapa, J., van Velsen, M.: The RETSINA multiagent infrastructure. Journal of Autonomous Agents and Multiagent Systems 7(1) (2003).
21. Sycara, K., Sukthankar, G.: Literature review of teamwork. Technical Report CMU-RI-TR- 06-50, Carnegie Mellon University (November 2006).
22. Tambe, M.: Towards flexible teamwork. Journal of Artificial Intelligence Research 7 (1997).
23. 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).