Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

Argumentation Theoretic Foundations for Abstract Dependence Networks

  • Conference paper
Agreement Technologies

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

Abstract

In this paper we show how to argue about agreements based on dependence. First, we introduce a formal theory of arguing about agreements by instantiating Dung’s abstract theory of argumentation with proposals for agreements represented as dependence networks. Second, we show that acceptable agreements are exchange based—satisfying the so-called do-ut-des principle—and not redundant. Third, to further decrease the number of proposals, we define a notion of minimal proposals. Roughly, all proposals can be split into a number of minimal sub-proposals such that if the proposal is acceptable, then its minimal sub-proposals are acceptable too. We show that minimal proposals satisfy the indecomposable do-ut-des property, i.e., they cannot be split into two nonempty sub-proposals with at most one shared agent.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Similar content being viewed by others

References

  1. Amgoud, L.: An argumentation-based model for reasoning about coalition structures. In: Parsons, S., Maudet, N., Moraitis, P., Rahwan, I. (eds.) ArgMAS 2005. LNCS (LNAI), vol. 4049, pp. 217–228. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  2. Amgoud, L., Kaci, S.: An argumentation framework for merging conflicting knowledge bases. Int. J. Approx. Reasoning 45(2), 321–340 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  3. Amgoud, L., Prade, H.: Reaching agreement through argumentation: A possibilistic approach. In: Proc. of KR, pp. 175–182. AAAI Press (2004)

    Google Scholar 

  4. Billhardt, H., Centeno, R., Cuesta, C.E., Fernández, A., Hermoso, R., Ortiz, R., Ossowski, S., Pérez-Sotelo, J.S., Vasirani, M.: Organisational structures in next-generation distributed systems: Towards a technology of agreement. Multiagent and Grid Systems 7(2-3), 109–125 (2011)

    Google Scholar 

  5. Boella, G., Sauro, L., van der Torre, L.W.N.: An abstraction from power to coalition structures. In: ECAI (2004)

    Google Scholar 

  6. Boella, G., Sauro, L., van der Torre, L.W.N.: From social power to social importance. Web Intelligence and Agent Systems 5(4), 393–404 (2007)

    Google Scholar 

  7. Boella, G., van der Torre, L., Villata, S.: Analyzing cooperation in iterative social network design. J. UCS 15(13), 2676–2700 (2009)

    MathSciNet  MATH  Google Scholar 

  8. Bonzon, E., Devred, C., Lagasquie-Schiex, M.C.: Argumentation and cp-boolean games. International Journal on Artificial Intelligence Tools 19(4), 487–510 (2010)

    Article  Google Scholar 

  9. Bonzon, E., Lagasquie-Schiex, M.C., Lang, J.: Dependencies between players in boolean games. Int. J. Approx. Reasoning 50(6), 899–914 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  10. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems 8, 203–236 (2004)

    Article  Google Scholar 

  11. Bulling, N., Dix, J., Chesñevar, C.I.: Modelling coalitions: Atl + argumentation. In: Proc. of AAMAS, pp. 681–688. IFAAMAS (2008)

    Google Scholar 

  12. Caire, P., Villata, S., Boella, G., van der Torre, L.: Conviviality masks in multiagent systems. In: Proc. of AAMAS, pp. 1265–1268. IFAAMAS (2008)

    Google Scholar 

  13. Castelfranchi, C.: The micro-macro constitution of power. Protosociology 18, 208–269 (2003)

    Google Scholar 

  14. Castelfranchi, C., Cesta, A., Conte, R., Miceli, M.: Foundations for Interaction: The Dependency Theory. In: Torasso, P. (ed.) AI*IA 1993. LNCS, vol. 728, pp. 59–64. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  15. Cayrol, C., Lagasquie-Schiex, M.C.: Coalitions of arguments: A tool for handling bipolar argumentation frameworks. Int. J. Intell. Syst. 25(1), 83–109 (2010)

    Article  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  17. Dunne, P.E., van der Hoek, W., Kraus, S., Wooldridge, M.: Cooperative boolean games. In: Proc. of AAMAS, pp. 1015–1022. IFAAMAS (2008)

    Google Scholar 

  18. Emerson, R.: Power-dependence relations. American Sociological Review 27, 31–41 (1962)

    Article  Google Scholar 

  19. Grossi, D., Turrini, P.: Dependence in games and dependence games. Autonomous Agents and Multi-Agent Systems 25(2), 284–312 (2012)

    Article  Google Scholar 

  20. Kraus, S., Sycara, K.P., Evenchik, A.: Reaching agreements through argumentation: A logical model and implementation. Artif. Intell. 104(1-2), 1–69 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  21. Malone, T., Crowston, K.: The interdisciplinary study of coordination. Computing Surveys 26(1), 87–119 (1994)

    Article  Google Scholar 

  22. Malone, T.W., Crowston, K.: The interdisciplinary study of coordination. ACM Comput. Surv. 26(1), 87–119 (1994)

    Article  Google Scholar 

  23. von Neumann, J., Morgenstern, O.: Theory of Games and Economic Behaviour. Princeton Univeristy Press (1944)

    Google Scholar 

  24. Rahwan, I., Pasquier, P., Sonenberg, L., Dignum, F.: On the benefits of exploiting underlying goals in argument-based negotiation. In: Proc. of AAAI, pp. 116–121. AAAI Press (2007)

    Google Scholar 

  25. Rahwan, I., Ramchurn, S.D., Jennings, N.R., Mcburney, P., Parsons, S., Sonenberg, L.: Argumentation-based negotiation. Knowl. Eng. Rev. 18(4), 343–375 (2003)

    Article  Google Scholar 

  26. Rahwan, I., Simari, G. (eds.): Argumentation in Artificial Intelligence. Springer (2009)

    Google Scholar 

  27. Sauro, L.: Formalizing Admissibility Criteria in Coalition Formation among Goal Directed Agents. Ph.D. thesis, University of Torino (2006)

    Google Scholar 

  28. Sauro, L.: Qualitative criteria of admissibility for enforced agreements. CMOT 12(2-3), 147–168 (2006)

    MATH  Google Scholar 

  29. Sauro, L., Villata, S.: Dependency in cooperative boolean games. J. Logic Comp., 10.1093/logcom/exr030 (2011)

    Google Scholar 

  30. Sichman, J.S.: Depint: Dependence-based coalition formation in an open multi-agent scenario. J. of Artificial Societies and Social Simulation 1(2) (1998)

    Google Scholar 

  31. Sichman, J.S., Conte, R.: Multi-agent dependence by dependence graphs. In: Proc. of AAMAS, pp. 483–490. IFAAMAS (2002)

    Google Scholar 

  32. Visser, W., Hindriks, K.V., Jonker, C.M.: Interest-based preference reasoning. In: Proc. of ICAART, pp. 79–88. SciTePress (2011)

    Google Scholar 

  33. Yu, E.: Modelling Strategic Relationships for Process Reengineering. Ph.D. thesis, University of Toronto (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Caire, P., van der Torre, L., Villata, S. (2013). Argumentation Theoretic Foundations for Abstract Dependence Networks. In: Chesñevar, C.I., Onaindia, E., Ossowski, S., Vouros, G. (eds) Agreement Technologies. Lecture Notes in Computer Science(), vol 8068. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39860-5_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39860-5_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39859-9

  • Online ISBN: 978-3-642-39860-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics