Abstract
In this paper, we study a dialogue-based approach to multi-agent collaborative plan search in the framework of t-DeLP, an extension of DeLP for defeasible temporal reasoning. In t-DeLP programs, temporal facts and defeasible temporal rules combine into arguments, which compare against each other to decide which of their conclusions are to prevail. A backward centralized planning system built on this logical argumentative framework has been already studied in a previous work. In this paper, we consider a distributed collaborative scenario where agents exchange information using suitable dialogues. Agents cooperate to generate arguments and actions (plan steps), and to detect argument threats to plans. We show that the soundness and completeness properties of centralized t-DeLP plan search are preserved.
The authors thank the reviewers for their helpful comments. They also acknowledge support of the Spanish CONSOLIDER-INGENIO 2010 project Agreement Technologies (CSD2007-00022), the MINECO project EdeTRI (TIN2012-39348-C02-01) and the Generalitat de Catalunya grant 2009-SGR-1434.
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
Amgoud, L.: A formal framework for handling conflicting desires. In: Nielsen, T.D., Zhang, N.L. (eds.) ECSQARU 2003. LNCS (LNAI), vol. 2711, pp. 552–563. Springer, Heidelberg (2003)
Augusto, J., Simari, G.R.: Temporal Defeasible Reasoning. Knowledge and Information Systems 3, 287–318 (2001)
Belesiotis, A., Rovatsos, M., Rahwan, I.: Agreeing on plans through iterated disputes. In: Proc. of AAMAS 2010, pp. 765–772 (2010)
Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artificial Intelligence 171, 286–310 (2007)
Cobo, M.L., Martinez, D.C., Simari, G.R.: Stable Extensions in Timed Argumentation Frameworks. In: Modgil, S., Oren, N., Toni, F. (eds.) TAFA 2011. LNCS, vol. 7132, pp. 181–196. Springer, Heidelberg (2012)
Dung, P.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2), 321–357 (1995)
García, D.R., García, A.J., Simari, G.R.: Defeasible Reasoning and Partial Order Planning. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 311–328. Springer, Heidelberg (2008)
García, A.J., Simari, G.R.: Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming 4(1-2), 95–138 (2004)
Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)
Hulstijn, J., van der Torre, L.: Combining goal generation and planning in an argumentation framework. In: Proc. Workshop on Argument, Dialogue and Decision at Non-monotonic Reasoning, NMR 2004 (2004)
Medellin-Gasque, R., Atkinson, K., McBurney, P., Bench-Capon, T.: Arguments over co-operative plans. In: Modgil, S., Oren, N., Toni, F. (eds.) TAFA 2011. LNCS, vol. 7132, pp. 50–66. Springer, Heidelberg (2012)
Pajares, S., Onaindia, E.: Defeasible argumentation for multi-agent planning in ambient intelligence applications. In: Proc. of AAMAS 2012, pp. 509–516 (2012)
Pajares, S., Onaindia, E.: Context-Aware Multi-Agent Planning in intelligent environments. Information Sciences 227, 22–42 (2013)
Pardo, P., Godo, L.: t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework. Annals of Math. and Artif. Intel. Springer (in press)
Pardo, P., Godo, L.: An argumentation-based multi-agent temporal planning system built on t-DeLP. In: Proc. of CAEPIA (in Press, 2013)
Pardo, P., Pajares, S., Onaindia, E., Godo, L., Dellunde, P.: Multiagent argumentation for cooperative planning in DeLP-POP. In: Proc. AAMAS 2011, pp. 971–978 (2012)
Prakken, H.: An abstract framework for argumentation with structured arguments. Argument & Computation 1(2), 93–124 (2010)
Rahwan, I., Pasquier, P., Sonenberg, L., Dignum, F.P.M.: On the Benefits of Exploiting Hierarchical Goals in Bilateral Automated Negotiation. In: Rahwan, I., Parsons, S., Reed, C. (eds.) ArgMAS 2007. LNCS (LNAI), vol. 4946, pp. 18–30. Springer, Heidelberg (2008)
Simari, G.R., Loui, R.: A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence 53, 125–157 (1992)
Stolzenburg, F., García, A.J., Chesñevar, C., Simari, G.R.: Computing Generalized Specificity. Journal of Applied Non-Classical Logics 12(1), 1–27 (2002)
Tang, Y., Norman, T.J., Parsons, S.: A model for integrating dialogue and the execution of joint plans. In: McBurney, P., Rahwan, I., Parsons, S., Maudet, N. (eds.) ArgMAS 2009. LNCS, vol. 6057, pp. 60–78. Springer, Heidelberg (2010)
Torreño, A., Onaindia, E., Sapena, O.: An approach to multi-agent planning with incomplete information. In: Proc. of ECAI 2012, pp. 762–767. IOS Press (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pardo, P., Godo, L. (2013). A Temporal Argumentation Approach to Cooperative Planning Using Dialogues. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2013. Lecture Notes in Computer Science(), vol 8143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40624-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-40624-9_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40623-2
Online ISBN: 978-3-642-40624-9
eBook Packages: Computer ScienceComputer Science (R0)