Formal argumentation is a way of logical inference that is based on constructing and evaluating arguments, each of which provides reasons for a particular claim.
Compared with previous formal methods for nonmonotonic and common sense reasoning, formal argumentation has as advantage that it reflects particular forms of human reasoning, which creates opportunities for explainable artificial intelligence (AI).
Aims
- To serve as a platform for collaboration.
- To exchange ideas and research results.
- To increase the visibility of group members’ research within and outside of the School.
Research
- Argumentation for nonmonotonic reasoning and reasoning with uncertainty.
- Using argumentation for explainable AI.
- Computational persuasion.
- Analyzing natural argumentation.
- Argumentation and judgement aggregation.
- Argumentation and Bayesian statistics.
- Argumentation for reasoning about knowledge.
Cwrdd â'r tîm
Lead researcher
Dr Martin Caminada
- caminadam@cardiff.ac.uk
- +44 (0)29 2087 0109
Staff academaidd
Dr Richard Booth
- boothr2@cardiff.ac.uk
- +44 (0)29 2087 4749
Dr Hiroyuki Kido
- kidoh@cardiff.ac.uk
- +44 (0)29 2251 1734
Myfyrwyr Ôl-raddedig
Cyhoeddiadau
- Hunter, A. , Polberg, S. and Thimm, M. 2020. Epistemic graphs for representing and reasoning with positive and negative influences of arguments. Artificial Intelligence 281 103236. (10.1016/j.artint.2020.103236)
- Hunter, A. , Polberg, S. and Potyka, N. 2019. Delegated updates in epistemic graphs for opponent modelling. International Journal of Approximate Reasoning 113 , pp.207-244. (10.1016/j.ijar.2019.07.006)
- Caminada, M. and Dunne, P. 2019. Strong admissibility revisited: theory and applications. Argument and Computation 10 (3), pp.277-300. (10.3233/AAC-190463)
- Potyka, N. , Polberg, S. and Hunter, A. 2019. Polynomial-time updates of epistemic states in a fragment of probabilistic epistemic argumentation. Presented at: 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019) Belgrade, Serbia September 18-20, 2019. , pp.-.
- Hunter, A. , Polberg, S. and Potyka, N. 2018. Updating belief in arguments in epistemic graphs. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, AZ, USA 30 October - 2 November 2018. Sixteenth International Conference on Principles of Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence. , pp.138-147.
- Hunter, A. and Polberg, S. 2018. Empirical methods for modelling persuadees in dialogical argumentation. Presented at: 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) Boston, MA, USA 6-8 November 2017. 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI). IEEE. , pp.382-389. (10.1109/ICTAI.2017.00066)
- Caminada, M. and Schulz, C. 2018. On the equivalence between assumption-based argumentation and logic programming (extended abstract). Presented at: IJCAI-ECAI-18 Stockholm 13-19 July 2018.
- Hadoux, E. , Hunter, A. and Polberg, S. 2018. Biparty decision theory for dialogical argumentation. Presented at: 7th International Conference on Computational Models of Argument Warsaw, Poland 12th-14 September 2018. Published in: Modgil, S. and Budzynska, K. eds. Computational Models of Argument. Vol. 305.Frontiers in Artificial Intelligence and Applications IOS. , pp.233-240. (10.3233/978-1-61499-906-5-233)
- Thimm, M. , Polberg, S. and Hunter, A. 2018. Epistemic attack semantics. Presented at: 7th International Conference on Computational Models of Argument Warsaw, Poland 12th-14 September. Published in: Modgil, S. , Budzynska, K. and Lawrence, J. eds. Computational Models of Argument. Vol. 305.Frontiers in Artificial Intelligence and Applications IOS. , pp.37-48. (10.3233/978-1-61499-906-5-37)
- Awad, E. et al., 2017. Pareto optimality and strategy-proofness in group argument evaluation. Journal of Logic and Computation 27 (8), pp.2581-2609. (10.1093/logcom/exx017)
- Awad, E. et al., 2017. Experimental assessment of aggregation principles in argumentation-enabled collective intelligence. ACM Transactions on Internet Technology 17 (3) 29. (10.1145/3053371)
- Awad, E. et al., 2017. Judgement aggregation in multi-agent argumentation. Journal of Logic and Computation 27 (1), pp.227-259. (10.1093/logcom/exv055)
- Caminada, M. 2017. Argumentation semantics as formal discussion. In: Gabbay, D. et al., Handbook of Formal Argumentation, Volume 1. College Publications
- Caminada, M. 2017. Rationality postulates: applying argumentation theory for non-monotonic reasoning. In: Gabbay, D. et al., Handbook of Formal Argumentation, Volume 1. College Publications
- Caminada, M. and Booth, R. 2016. A dialectical approach for argument-based judgment aggregation. Presented at: 6th International Conference on Computational Models of Argument (COMMA 2016) Potsdam, Germany 13-16 September 2016. Published in: Baroni, P. et al., Computational Models of Argument. Vol. 287.Frontiers in Artificial Intelligence and Applications IOS Press. , pp.179-190. (10.3233/978-1-61499-686-6-179)
- Caminada, M. et al. 2015. On the difference between assumption-based argumentation and abstract argumentation. IfCoLog Journal of Logic and its Applications 2 (1), pp.15-34.
- Sakama, C. , Caminada, M. and Herzig, A. 2015. A formal account of dishonesty. Logic Journal of the IGPL 23 (2), pp.259-294. (10.1093/jigpal/jzu043)
- Caminada, M. et al. 2015. On the equivalence between logic programming semantics and argumentation semantics. International Journal of Approximate Reasoning 58 , pp.87-111. (10.1016/j.ijar.2014.12.004)
- Booth, R. 2015. Judgment aggregation in abstract dialectical frameworks. In: Thomas, E. et al., Advance in Knowledge Representation, Logic Programming and Abstract Argumentation. Lecture Notes in Artificial Intelligence Springer. , pp.296-308. (10.1007/978-3-319-14726-0)
- Caminada, M. 2015. A discussion game for grounded semantics. Presented at: 3rd International Workshop on Theory and Applications of Formal Argumentation Buenos Aires, Argentina 25-26 July 2015. Published in: Black, E. , Modgil, S. and Oren, N. eds. Theory and Applications of Formal Argumentation: Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers. Vol. 9524.Lecture Notes in Computer Science Springer. , pp.59-73. (10.1007/978-3-319-28460-6_4)
- Caminada, M. 2014. Strong admissibility revisited. In: Parsons, S. et al., Computational Models of Argument. Vol. 266, Frontiers in Artificial Intelligence and Applications IOS Press. , pp.197-208. (10.3233/978-1-61499-436-7-197)
Ysgolion
Camau nesaf
Ymchwil sy’n gwneud gwahaniaeth
Mae ein hymchwil yn gwneud gwahaniaeth i fywydau pobl wrth i ni gweithio ar draws disgyblaethau er mwyn ymgodymu â phrif heriau sy’n wynebu’r gymdeithas, yr economi ac ein hamgylchedd.
Ymchwil ôl-raddedig
Mae ein graddau ymchwil yn rhoi'r rhyddid i chi i archwilio pwnc arbennig mewn dyfnder ymhlith ymchwilwyr blaenllaw.
Ein heffaith ymchwil
Mae'r astudiaethau achos hyn yn rhoi sylw i rai o'r meysydd lle rydym yn cael effaith ymchwil gadarnhaol.