Social Viewpoints for Arguing about Coalitions

  • Guido Boella
  • Leendert van der Torre
  • Serena Villata
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5357)

Abstract

Frameworks for arguing about coalitions are based on non-monotonic logic and are therefore formal and abstract, whereas social theories about agent coalitions typically are based on conceptual modeling languages and therefore semi-formal and detailed. In this paper we bridge the gap between these two research areas such that social viewpoints can be used to argue about coalitions. We formally define three social viewpoints with abstraction and refinement relations among them, and we adapt an existing coalition argumentation theory to reason about the coalitions defined in the most abstract social viewpoint.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Amgoud, L.: An Argumentation-Based Model for Reasoning About Coalition Structures. In: Proceedings of ArgMAS 2005, pp. 217–228 (2005)Google Scholar
  2. 2.
    Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of ACM 49(5), 672–713 (2002)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artif. Intell. 171(10-15), 619–641 (2007)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Boella, G., Sauro, L., van der Torre, L.: From social power to social importance. In: Web Intelligence and Agent Systems, pp. 393–404. IOS Press, Amsterdam (2007)Google Scholar
  5. 5.
    Boella, G., Sauro, L., van der Torre, L.: Social Viewpoints on multiagent Systems. In: Proceedings of AAMAS 2004, pp. 1358–1359 (2004)Google Scholar
  6. 6.
    Boella, G., Sauro, L., van der Torre, L.: Strengthening Admissible Coalitions. In: Proceedings of ECAI 2006, pp. 195–199 (2006)Google Scholar
  7. 7.
    Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems Journal 8, 203–236 (2004)CrossRefMATHGoogle Scholar
  8. 8.
    Brewka, G.: Reasoning about Priorities in Default Logic. In: AAAI 1994, pp. 940–945 (1994)Google Scholar
  9. 9.
    Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4), 428–447 (2002)Google Scholar
  10. 10.
    Bulling, N., Chesnevar, C.I., Dix, J.: Modelling Coalitions: ATL + Argumentation. In: Proceedings of AAMAS 2008, pp. 681–688 (2008)Google Scholar
  11. 11.
    Caire, P., Villata, S., van der Torre, L., Boella, G.: Conviviality Masks in Role-Based Institutions Multi-Agent Teleconferencing in Virtual Worlds. In: Proceedings of AAMAS 2008, pp. 1265–1268 (2008)Google Scholar
  12. 12.
    Castelfranchi, C.: The micro-macro constitution of power. Protosociology 18, 208–269 (2003)CrossRefGoogle Scholar
  13. 13.
    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–357 (1995)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Hindriks, K.V., De Boer, F.S., Van der Hoek, W., Meyer, J.-J.C.: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems, 357–401 (1999)Google Scholar
  15. 15.
    van der Hoek, W., Wooldridge, M.: Tractable Multiagent Planning for Epistemic Goals. In: Proceedings of AAMAS 2002, pp. 1167–1174 (2002)Google Scholar
  16. 16.
    van der Hoek, W., Jamroga, W., Wooldridge, M.: A Logic for Strategic Reasoning. In: Proceedings of AAMAS 2005, pp. 157–164 (2005)Google Scholar
  17. 17.
    Kaci, S., van der Torre, L.W.N., Weydert, E.: On the Acceptability of Incompatible Arguments. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS, vol. 4724, pp. 247–258. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  18. 18.
    Modgil, S.: An abstract theory of argumentation that accommodates defeasible reasoning about preferences. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS, vol. 4724, pp. 648–659. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  19. 19.
    Pauly, M.: A Modal Logic for Coalitional Power in Games. Journal of Logic and Computation 12, 146–166 (2002)MathSciNetCrossRefMATHGoogle Scholar
  20. 20.
    Prakken, H., Sartor, G.: Argument-Based Extended Logic Programming with Defeasible Priorities. Journal of Applied Non-Classical Logics 7(1), 25–75 (1997)MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    Sauro, L.: Formalizing admissibility criteria in coalition formation among goal directed agents, Dipartimento di Informatica, Universita di Torino, PhD Thesis (2005)Google Scholar
  22. 22.
    Sichman, J.S.: DEPINT: Dependence-Based Coalition Formation in an Open Multi-Agent Scenario. Journal of Artificial Societies and Social Simulation 1(2) (1998)Google Scholar
  23. 23.
    Sichman, J.S., Conte, R.: Multi-agent dependence by dependence graphs. In: Proceedings of AAMAS 2002, pp. 483–490 (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Guido Boella
    • 1
  • Leendert van der Torre
    • 2
  • Serena Villata
    • 1
  1. 1.Dipartimento di InformaticaUniversity of TurinItaly
  2. 2.Computer Science and CommunicationUniversity of LuxembourgLuxembourg

Personalised recommendations