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


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


Next steps


Research that matters

Our research makes a difference to people’s lives as we work across disciplines to tackle major challenges facing society, the economy and our environment.


Postgraduate research

Our research degrees give the opportunity to investigate a specific topic in depth among field-leading researchers.


Our research impact

Our research case studies highlight some of the areas where we deliver positive research impact.