Skip to main content
SpringerLink
Log in

An Architecture for Defeasible-Reasoning-Based Cooperative Distributed Planning

  • Conference paper
On the Move to Meaningful Internet Systems: OTM 2011 (OTM 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7044))

Abstract

Cooperation plays a fundamental role in distributed planning, in which a team of distributed intelligent agents with diverse preferences, abilities and beliefs must cooperate during the planning process to achieve a set of common goals. This paper presents a MultiAgent Planning and Argumentation (MAPA) architecture based on a multiagent partial order planning paradigm using argumentation for communicating agents. Agents use an argumentation-based defeasible reasoning to support their own beliefs and refute the beliefs of the others according to their knowledge. In MAPA, actions and arguments may be proposed by different agents to enforce some goal, if their conditions are known to apply and arguments are not defeated by other arguments applying. In order to plan for these goals, agents start a stepwise dialogue consisting of exchanges of plan proposals to satisfy this open goal, and they evaluate each plan proposal according to the arguments put forward for or against it. After this, an agreement must be reached in order to select the next plan to be refined.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aamodt, A., Plaza, E.: Case-based reasoning: Foundational issues, methodological variations, and system approaches. AI Communications 7(1), 39–59 (1994)

    Google Scholar 

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

    Chapter  Google Scholar 

  3. Belesiotis, A., Rovatsos, M., Rahwan, I.: Agreeing on plans through iterated disputes. In: 9th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2010), pp. 765–772 (2010)

    Google Scholar 

  4. Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artificial Intelligence 171(10-15), 619–641 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  5. Bikakis, A., Antoniou, G.: Distributed defeasible contextual reasoning in ambient computing. In: Aarts, E., Crowley, J.L., de Ruyter, B., Gerhäuser, H., Pflaum, A., Schmidt, J., Wichert, R. (eds.) AmI 2008. LNCS, vol. 5355, pp. 308–325. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. Artificial Intelligence 90(1-2), 281–300 (1997)

    Article  MATH  Google Scholar 

  7. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2), 321–358 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  8. Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2(3-4), 189–208 (1971)

    Article  MATH  Google Scholar 

  9. García, A.J., Simari, G.R.: Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming 4(2), 95–138 (2004)

    Article  MATH  MathSciNet  Google Scholar 

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

    Chapter  Google Scholar 

  11. Gerevini, A., Schubert, L.: Accelerating partial-order planners: Some techniques for effective search control and pruning. Journal of Artificial Intelligence Research 5, 95–137 (1996)

    Google Scholar 

  12. Ghallab, M., Laruelle, H.: Representation and control in ixtet, a temporal planner. In: 2nd International Conferende on Artificial Intelligence Planning Systems (AIPS 1994), vol. 94, pp. 61–67 (1994)

    Google Scholar 

  13. Ginsberg, M.L., Smith, D.E.: Reasoning about action II: The qualification problem. Artificial Intelligence 35(3), 311–342 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  14. Haslum, P., Geffner, H.: Admissible heuristics for optimal planning. In: 5th International Conferende on Artificial Intelligence Planning Systems (AIPS 2000), pp. 140–149 (2000)

    Google Scholar 

  15. Ibbott, C.J., O’Keefe, R.M.: Trust, planning and benefits in a global interorganizational system. Information Systems Journal 14(2), 131–152 (2004)

    Article  Google Scholar 

  16. Jonsson, A., Morris, P., Muscettola, N., Rajan, K., Smith, B.: Planning in interplanetary space: Theory and practice. In: 5th International Conference on Artificial Intelligence Planning and Scheduling (ICAPS 2000), pp. 177–186 (2000)

    Google Scholar 

  17. Kontopoulos, E., Bassiliades, N., Antoniou, G.: Visualizing semantic web proofs of defeasible logic in the dr-device system. Knowledge-Based Systems 24(3), 406–419 (2011)

    Article  Google Scholar 

  18. Mecella, M., Scannapieco, M., Virgillito, A., Baldoni, R., Catarci, T., Batini, C.: Managing data quality in cooperative information systems. In: Chung, S., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 486–502. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  19. Pajares, S., Onaindía, E.: Temporal defeasible argumentation in multi-agent planning. In: 22nd International Joint Conferences on Artificial Intelligence (IJCAI 2011), pp. 2834–2835 (2011)

    Google Scholar 

  20. Pardo, P., Pajares, S., Onaindía, E., Godo, L., Dellunde, P.: Multiagent argumentation for cooperative planning in delp-pop. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 971–978 (2011)

    Google Scholar 

  21. Penberthy, J.S., Weld, D.: Ucpop: A sound, complete, partial order planner for adl. In: Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning (KR 1992), pp. 103–114 (1992)

    Google Scholar 

  22. Pollock, J.: Defeasible planning. In: Proceedings of the AAAI Workshop, Integrating Planning, Scheduling and Execution in Dynamic and Uncertain Environments. Carnegie Mellon University (June 1998)

    Google Scholar 

  23. Rahwan, I., Amgoud, L.: An argumentation-based approach for practical reasoning. In: International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), pp. 74–90 (2007)

    Google Scholar 

  24. Sapena, O., Torreño, A., Onaindía, E.: On the construction of joint plans through argumentation schemes. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 1195–1196 (2011)

    Google Scholar 

  25. Smith, D.E., Frank, J., Jónsson, A.K.: Bridging the gap between planning and scheduling. The Knowledge Engineering Review 15(1), 47–83 (2000)

    Article  Google Scholar 

  26. Tang, Y., Norman, T., Parsons, S.: A model for integrating dialogue and the execution of joint plans. In: International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), pp. 60–78 (2010)

    Google Scholar 

  27. Thimm, M.: Realizing argumentation in multi-agent systems using defeasible logic programming. In: International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), pp. 175–194 (2009)

    Google Scholar 

  28. Wooldridge, M.: Agent-based software engineering, vol. 144, pp. 26–37 (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universitat Politècnica de València, Camino de Vera, s/n, 46022, Valencia, Spain

    Sergio Pajares Ferrando, Eva Onaindia & Alejandro Torreño

Authors
  1. Sergio Pajares Ferrando
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eva Onaindia
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alejandro Torreño
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STAR Lab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussel, Belgium

    Robert Meersman

  2. DEBII, Curtin University of Technology, Technology Park, De Laeter Way, 6102, Bentley, WA, Australia

    Tharam Dillon

  3. Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo S/N, 28660, Boadilla del Monte, Madrid, Spain

    Pilar Herrero

  4. Smeal College of Business, Pennsylvania State University, University Park, PA 16802, U.S.A.

    Akhil Kumar

  5. Institute of Databases and Information Systems, Ulm University, Germany

    Manfred Reichert

  6. City University of Hong Kong, Hong Kong

    Li Qing

  7. National University of Singapore (NUS), Singapore

    Beng-Chin Ooi

  8. Dipartemento Tecnologie dell’Informazione, Universitá degli Studi di Milano, Via Bramante 65, 26013, Crema, Italy

    Ernesto Damiani

  9. VU Station B #1829, Vanderbilt University, 2015 Terrace Place, TN 37203, Nashville, USA

    Douglas C. Schmidt

  10. Virginia Tech, 24060, Blacksburg, VA, USA

    Jules White

  11. Digital Enterprise Research Institute (DERI), National University of Ireland, IDA Business Park, Lower Dangan, Galway, Ireland

    Manfred Hauswirth

  12. Kno.e.sis Center, Wright State University, Dayton, Ohio, USA

    Pascal Hitzler

  13. IBM India Research Lab, 4, Block C, Institutional Area, Vasant Kunj, 110 070, New Delhi, India

    Mukesh Mohania

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pajares Ferrando, S., Onaindia, E., Torreño, A. (2011). An Architecture for Defeasible-Reasoning-Based Cooperative Distributed Planning. In: Meersman, R., et al. On the Move to Meaningful Internet Systems: OTM 2011. OTM 2011. Lecture Notes in Computer Science, vol 7044. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25109-2_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25109-2_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25108-5

  • Online ISBN: 978-3-642-25109-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation