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