Ewch i’r prif gynnwys

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.

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.

Cyhoeddiadau

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.