Skip to main content

Arguments over Co-operative Plans

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNAI,volume 7132)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, J.F.: Towards a general theory of action and time. Artificial Intelligence 23(2), 123–154 (1984)

    CrossRef  MATH  Google Scholar 

  2. Atkinson, K., Bench-Capon, T.: Practical reasoning as presumptive argumentation using action based alternating transition systems. Artificial Intelligence 171(10-15), 855–874 (2007)

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. 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)

    CrossRef  Google Scholar 

  4. Atkinson, K., Bench-Capon, T., McBurney, P.: Computational representation of practical argument. Synthese 152(2), 157–206 (2006)

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. 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)

    CrossRef  Google Scholar 

  6. 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)

    CrossRef  Google Scholar 

  7. 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)

    CrossRef  Google Scholar 

  8. 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)

    Google Scholar 

  9. Dunne, P.E., Bench-Capon, T.: Two party immediate response disputes: properties and efficiency. Artificial Intelligence 149(2), 221–250 (2003)

    CrossRef  MathSciNet  MATH  Google Scholar 

  10. Fox, M., Long, D.: PDDL2.1: An extension to PDDL for Expressing Temporal Planning Domains. Journal Artificial Intelligence Research (JAIR) 20, 61–124 (2003)

    MATH  Google Scholar 

  11. 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)

    Google Scholar 

  12. Hintikka, J.: The Game of Language: Studies in Game-Theoretical Semantics and Its Applications. Synthese Language Library, vol. 22. D. Reidel, Dordrecht (1983)

    MATH  Google Scholar 

  13. 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)

    CrossRef  Google Scholar 

  14. Mccarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Machine Intelligence, pp. 463–502. Edinburgh University Press (1969)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. Onaindía, E., Sapena, O., Torreño, A.: Cooperative Distributed Planning through Argumentation. International Journal of Artificial Intelligence 4, 118–136 (2010)

    Google Scholar 

  17. 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)

    Google Scholar 

  18. van der Hoek, W., Roberts, M., Wooldridge, M.: Social laws in alternating time: Effectiveness, feasibility, and synthesis. Synthese 156, 1–19 (2007)

    CrossRef  MathSciNet  MATH  Google Scholar 

  19. Verheij, B.: Dialectical argumentation with argumentation schemes: an approach to legal logic. Artificial Intelligence and Law 11(2-3), 167–195 (2003)

    CrossRef  Google Scholar 

  20. Walton, D.N.: Argumentation Schemes for Presumptive Reasoning. Lawrence Erlbaum Associates, Mahwah (1996)

    Google Scholar 

  21. Walton, D.N.: Justification of argumentation schemes. Australasian Journal of Logic 3 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)