On logical specifications of the Argument Interchange Format

Journal of Logic and Computation

Volumn 23, Issue 5, 2013, Pages 951-989

  Bex, Floris ^a   Modgil, Sanjay ^b   Prakken, Henry ^c,d   Reed, Chris ^a  

^a UNIVERSITY OF DUNDEE   (United Kingdom)

^b KING'S COLLEGE LONDON   (United Kingdom)

^c UTRECHT UNIVERSITY   (Netherlands)

^d UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

argument ontology; argumentation logic

Indexed keywords

ARGUMENTATION LANGUAGES; ARGUMENTATION LOGIC; INTERCHANGE FORMATS; LOGIC-BASED APPROACH; LOGICAL SPECIFICATIONS;

ABSTRACTING; FORMAL LOGIC;

SPECIFICATIONS;

EID: 84885010929     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exs033     Document Type: Article

References (45)

1. L. Amgoud, L. Bodenstaff, M. Caminada, P. McBurney, S. Parsons, H. Prakken, J. van Veenen, and G. A.W. Vreeswijk. Final review and report on formal argumentation system. Deliverable D2.6, ASPIC IST-FP6-002307, 2006.
2. L. Amgoud and C. Cayrol. Inferring from inconsistency in preference-based argumentation frameworks. International Journal of Automated Reasoning, 29, 125-169, 2002.
3. L.Amgoud and C. Cayrol.Areasoning model based on the production of acceptable arguments. Annals of Mathematics and Artificial Intelligence, 34, 197-216, 2002.
4. T. J. M. Bench-Capon and P. E. Dunne (eds). Special issue on Argumentation in Artificial Intelligence. Artificial Intelligence, 171, 2007.
5. T. Berg, T. van Gelder, F. Patterson, and S. Teppema. Critical Thinking: Reasoning and Communicating with Rationale. Pearson Education Benelux, 2009.
6. Ph. Besnard and A. Hunter. Elements of Argumentation. MIT Press, 2008.
7. F. J. Bex, J. Lawrence, and C.A. Reed. The argument interchange format (aif) specification. Technical Report, University of Dundee, 2011.
8. F. J. Bex, H. Prakken, C. A. Reed, and D. N. Walton. Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artificial Intelligence and Law, 11, 125-165, 2003.
9. F. J. Bex, H. Prakken, and C. A. Reed. A formal analysis of the AIF in terms of the ASPIC framework. In Computational Models of Argument. Proceedings of COMMA 2010, P. Baroni, F. Cerutti, M. Giacomin, and G. R. Simari, eds, pp. 99-110, IOS Press, 2010.
10. F. J. Bex and C. A. Reed. Schemes of inference, conflict and preference in a computational model of argument. Studies in Logic, Grammar and Rhetoric, 36, 39-58, 2011.
11. A. Bondarenko, P. M. Dung, R. A. Kowalski, and F. Toni. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence, 93, 63-101, 1997.
12. M. Caminada and L. Amgoud. On the evaluation of argumentation formalisms. Artificial Intelligence, 171, 286-310, 2007.
13. C.I. Chesñevar, J. McGinnis, S. Modgil, I. Rahwan, C. Reed, G. Simari, M. South, G.Vreeswijk, and S.Willmott.Towards an argument interchange format. The Knowledge Engineering Review, 21, 293-316, 2006.
14. P. M. Dung. On the acceptability of arguments and its fundamental rolein nonmonotonic reasoning, logic programming, and n-person games. Artificial Intelligence, 77, 321-357, 1995.
15. A. J. Garcia and G. R. Simari. Defeasible logic programming: an argumentative approach. Theory and Practice of Logic Programming, 4, 95-138, 2004.
16. T. F. Gordon, H. Prakken, and D. N.Walton. The Carneades model of argument and burden of proof. Artificial Intelligence, 171, 875-896, 2007.
17. T. R. Gruber. Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies, 43, 907-928, 1995.
18. J. Lawrence, F. J. Bex, and C. Reed. Dialogues on the argument web: Mixed initiative argumentation with arvina. In Computational Models of Argument. Proceedings of COMMA 2012, 2012. to appear.
19. J. Lawrence, F. Bex, M. Snaith, and C. Reed. Aifdb: Infrastructure for the argument web. In Computational Models of Argument. Proceedings of COMMA 2012, 2012. to appear.
20. S. Modgil. Reasoning about preferences in argumentation frameworks. Artificial Intelligence, 173, 901-934, 2009.
21. S. Modgil and J. McGinnis. Towards characterising argumentation based dialogue in the argument interchange format. In 4th InternationalWorkshop on Argumentation in Multi-Agent Systems (ArgMAS 2007), pp. 80-93, Springer-Verlag, Berlin, 2007.
22. S. Modgil and H. Prakken. Reasoning about preferences in structured extended argumentation frameworks. In Computational Models of Argument. Proceedings of COMMA 2010, P. Baroni, F. Cerutti, M. Giacomin, and G. R. Simari, eds, pp. 347-358, IOS Press, 2010.
23. S. Modgil and H. Prakken. Revisiting preferences and argumentation. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1021-1026, AAAI Press, Menlo Park, California, 2011.
24. S. Modgil and H. Prakken. A general account of argumentation and preferences. Technical Report, www.dcs.kcl.ac.uk/staff/smodgil/GAP.pdf, 2012.
25. R. Mochales Palau and M.F. Moens. Argumentation mining. Artificial Intelligence and Law, 19, 1-20, 2011.
26. J. L. Pollock. Justification and defeat. Artificial Intelligence, 67, 377-408, 1994.
27. H. Prakken. An abstract framework for argumentation with structured arguments. Argument and Computation, 1, 93-124, 2010.
28. H. Prakken and G. Sartor. Argument-based extended logic programming withdefeasible priorities. Journal of Applied Non-classical Logics, 7, 25-75, 1997.
29. H. Prakken and G. A. W. Vreeswijk. Logics for defeasible argumentation. In Handbook of Philosophical Logic, D. Gabbay and F. Günthner, eds, vol. 4, pp. 219-318. Kluwer Academic Publishers, 2nd edn, 2002.
30. I. Rahwan, I Banihashemi, C. Reed,Walton D., and S. Abdallah. Representing and classifying arguments on the semantic web. The Knowledge Engineering Review, 26, 487-511, 2010.
31. I. Rahwan and C.A. Reed. The argument interchange format. In Argumentation in Artificial Intelligence. I. Rahwan and G. Simari, eds, Springer, 2009.
32. I. Rahwan, F. Zablith, and C. Reed. Laying the foundations for a world wide argument web. Artificial Intelligence, 171, 897-921, 2007.
33. C. A. Reed and D. P. Long. Content ordering in the generation of persuasive discourse. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI97), pp. 1022-1027, Morgan Kaufmann, San Francisco, California, 1997.
34. C. A. Reed and G. Rowe. Araucaria: software for argument analysis, diagramming and representation. International Journal of AI Tools, 13, 961-980, 2004.
35. C. A. Reed, S.Wells, K. Budzynska, and J. Devereux. Building arguments with argumentation : the role of illocutionary force in computational models of argument. In Computational Models of Argument. Proceedings of COMMA 2010, P. Baroni, F. Cerutti, M. Giacomin, and G.R. Simari, eds, pp. 447-454, IOS Press, 2010.
36. R Reiter. A logic for default reasoning. Artificial Intelligence, 13, 81-132, 1980.
37. J. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, 1969.
38. M. Snaith, J. Lawrence, and C. Reed. Pipelining argumentation technologies. In Computational Models of Argument. Proceedings of COMMA 2010, P. Baroni, F. Cerutti, M. Giacomin, and G.R. Simari, eds, pp. 447-454, IOS Press, 2010.
39. P. St. Dizier. Processing natural language arguments with the platform. Argument and Computation, 3, 49-83, 2012.
40. S. E. Toulmin. The Uses of Argument. Cammbridge University Press, 1958.
41. B. van Gijzel and H. Prakken. Relating Carneades with abstract argumentation. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1013- 1019, AAAI Press, Menlo Park, California, 2011.
42. B. Verheij. Deflog: on the logical interpretation of prima facie justified assumptions. Journal of Logic and Computation, 13, 319-346, 2003.
43. J. Visser, F. J. Bex, C. A. Reed, and B. Garssen. Correspondence between the pragmadialectical discussion model and the argument interchange format. Studies in Logic, Grammar and Rhetoric, 36, 189-224, 2011.
44. G. A.W.Vreeswijk. Abstract argumentation systems. Artificial Intelligence, 90, 225-279, 1997.
45. D. N. Walton, C. A. Reed, and F. Macagno. Argumentation Schemes. Cambridge University Press, 2008.