Skip to main content

Formal argumentation theory

Argument-based inference as a bridge between human reasoning and automated reasoning.

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

Selected publications

Lead researcher

Dr Martin Caminada

Dr Martin Caminada

Lecturer

Email
caminadam@cardiff.ac.uk
Telephone
+44 (0)29 2087 0109

Academic staff

Steven Arthur

Steven Arthur

Technical Lead

Email
arthurs@cardiff.ac.uk
Telephone
+44 (0)29 2251 1408
Dr Richard Booth

Dr Richard Booth

Senior Lecturer

Email
boothr2@cardiff.ac.uk
Telephone
+44 (0)29 2087 4749
Dr Hiroyuki Kido

Dr Hiroyuki Kido

Lecturer

Email
kidoh@cardiff.ac.uk
Telephone
+44 (0)29 2251 1734

Postgraduate students