Abstract
Autonomous planning agents that share a common goal should be able to propose, justify and share information about plans. To reach an agreement on the best plan, strategies for persuasion and negotiation could be used by agents in order to share their beliefs about the world and resolve conflicts between the agents. We present an argumentation scheme and associated critical questions to create and justify plan proposals where plans are combinations of actions requiring several agents for their execution. An analysis of different ways in which actions can combine is presented and then associated with the argumentation scheme and the critical questions. We believe these elements are necessary to enable agents to engage in rational debate over co-operative plan proposals.
Keywords
- plan proposal
- argumentation schemes
- critical questions
- co-operation
This is a preview of subscription content, access via your 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
Allen, J.F.: Towards a general theory of action and time. Artificial Intelligence 23(2), 123–154 (1984)
Atkinson, K., Bench-Capon, T.: Practical reasoning as presumptive argumentation using action based alternating transition systems. Artificial Intelligence 171(10-15), 855–874 (2007)
Atkinson, K., Bench-Capon, T., McBurney, P.: A dialogue game protocol for multi-agent argument over proposals for action. Autonomous Agents and Multi-Agent Systems 11(2), 153–171 (2005)
Atkinson, K., Bench-Capon, T., McBurney, P.: Computational representation of practical argument. Synthese 152(2), 157–206 (2006)
Atkinson, K., Girle, R., McBurney, P., Parsons, S.: Command Dialogues. In: Rahwan, I., Moraitis, P. (eds.) ArgMAS 2008. LNCS, vol. 5384, pp. 93–106. Springer, Heidelberg (2009)
Belesiotis, A., Rovatsos, M., Rahwan, I.: A Generative Dialogue System for Arguing About Plans in Situation Calculus. In: McBurney, P., Rahwan, I., Parsons, S., Maudet, N. (eds.) ArgMAS 2009. LNCS, vol. 6057, pp. 23–41. Springer, Heidelberg (2010)
Bex, F., Prakken, H., Reed, C., Walton, D.: Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artificial Intelligence Law 11(2-3), 125–165 (2003)
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 (2008)
Dunne, P.E., Bench-Capon, T.: Two party immediate response disputes: properties and efficiency. Artificial Intelligence 149(2), 221–250 (2003)
Fox, M., Long, D.: PDDL2.1: An extension to PDDL for Expressing Temporal Planning Domains. Journal Artificial Intelligence Research (JAIR) 20, 61–124 (2003)
Geffner, H.: Perspectives on Artificial Intelligence Planning. In: Eighteenth National Conference on Artificial intelligence, pp. 1013–1023. American Association for Artificial Intelligence, Menlo Park (2002)
Hintikka, J.: The Game of Language: Studies in Game-Theoretical Semantics and Its Applications. Synthese Language Library, vol. 22. D. Reidel, Dordrecht (1983)
McBurney, P., Parsons, S.: Dialogue games for agent argumentation. In: Rahwan, I., Simari, G. (eds.) Argumentation in Artificial Intelligence, ch. 13, pp. 261–280. Springer, Berlin (2009)
Mccarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Machine Intelligence, pp. 463–502. Edinburgh University Press (1969)
Medellin-Gasque, R., Atkinson, K., McBurney, P., Bench-Capon, T.: Critical Questions for Plan Proposals. Technical Report ULCS-11-003, Department of Computer Science, University of Liverpool, UK (March 2011)
Onaindía, E., Sapena, O., Torreño, A.: Cooperative Distributed Planning through Argumentation. International Journal of Artificial Intelligence 4, 118–136 (2010)
Tang, Y., Norman, T.J., Parsons, S.: A model for integrating dialogue and the execution of joint plans. In: AAMAS 2009: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pp. 883–890. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2009)
van der Hoek, W., Roberts, M., Wooldridge, M.: Social laws in alternating time: Effectiveness, feasibility, and synthesis. Synthese 156, 1–19 (2007)
Verheij, B.: Dialectical argumentation with argumentation schemes: an approach to legal logic. Artificial Intelligence and Law 11(2-3), 167–195 (2003)
Walton, D.N.: Argumentation Schemes for Presumptive Reasoning. Lawrence Erlbaum Associates, Mahwah (1996)
Walton, D.N.: Justification of argumentation schemes. Australasian Journal of Logic 3 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Medellin-Gasque, R., Atkinson, K., McBurney, P., Bench-Capon, T. (2012). Arguments over Co-operative Plans. In: Modgil, S., Oren, N., Toni, F. (eds) Theorie and Applications of Formal Argumentation. TAFA 2011. Lecture Notes in Computer Science(), vol 7132. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29184-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-29184-5_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29183-8
Online ISBN: 978-3-642-29184-5
eBook Packages: Computer ScienceComputer Science (R0)
