Advertisement

A Logic of Abstract Argumentation

  • Guido Boella
  • Joris Hulstijn
  • Leendert van der Torre
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4049)

Abstract

In this paper we introduce a logic of abstract argumentation capturing Dung’s theory of abstract argumentation, based on connectives for attack and defend. We extend it to a modal logic of abstract argumentation to generalize Dung’s theory and define variants of it. Moreover, we use the logic to relate Dung’s theory of abstract argumentation to more traditional conditional and comparative formalisms, and we illustrate how to reason about arguments in meta-argumentation.

Keywords

Modal Logic Logic Programming Argumentation Theory Abstract Argumentation Argument Framework 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Besnard, P., Doutre, S.: Checking the acceptability of a set of arguments. In: Procs. of NMR 2004, pp. 59–64 (2004)Google Scholar
  2. 2.
    Bochman, A.: Collective argumentation and disjunctive logic programming. Journal of Logic and Computation 13, 405–428 (2003)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Bochman, A.: A causal approach to nonmonotonic reasoning. Artificial Intelligence 160(1-2), 105–143 (2004)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Bochman, A.: A causal logic of logic programming. In: Procs. of KR 2004, pp. 427–437 (2004)Google Scholar
  5. 5.
    Bochman, A.: Propositional argumentation and causal reasoning. In: Procs. of IJCAI 1995, pp. 388–393 (2005)Google Scholar
  6. 6.
    Bondarenko, A., Dung, P., Kowalski, R., Toni, F.: An abstract, argumentation based approach to default reasoning. Artificial Intelligence 93(1–2), 63–101 (1997)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Dung, P.: On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artificial Intelligence 76, 321–358 (1995)CrossRefMathSciNetGoogle Scholar
  8. 8.
    Hemaspaandra, E.: The price of universality. Notre Dame Journal of Formal Logic 37(2), 174–203 (1996)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Horty, J.: Argument construction and reinstatement in logics for defeasible reasoning. Artificial Intelligence and Law 9, 1–28 (2001)CrossRefGoogle Scholar
  10. 10.
    Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383–408 (2000)MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic 30(2), 155–185 (2001)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Parsons, S.D., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8(3), 261–292 (1998)MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Prakken, H., Sartor, G.: Modelling reasoning with precedents in a formal dialogue game. Artificial Intelligence and Law 6, 231–287 (1998)CrossRefGoogle Scholar
  14. 14.
    Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: Gabbay, D., Guenthner, F. (eds.) Handbook of philosophical logic, pp. 218–319. Kluwer, Dordrecht (2002)Google Scholar
  15. 15.
    Verheij, B.: Accrual of arguments in defeasible argumentation. In: Proceedings of the Second Dutch/German Workshop on Nonmonotonic Reasoning, pp. 217–224 (1995)Google Scholar
  16. 16.
    Von Wright, G.H.: The Logic of Preference: an Essay. Edinburgh University Press (1963)Google Scholar
  17. 17.
    Walton, C.: Model checking agent dialogues. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 132–147. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  18. 18.
    Wooldridge, M., McBurney, P., Parsons, S.: On the meta-logic of arguments. In: Proceedings of AAMAS 2005, pp. 560–567 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Guido Boella
    • 1
  • Joris Hulstijn
    • 2
  • Leendert van der Torre
    • 3
  1. 1.Universitá di Torino 
  2. 2.Vrije UniversiteitAmsterdam
  3. 3.CWI Amsterdam and Delft University of Technology 

Personalised recommendations