Computing Science seminar by Martin Caminada
-
This is a past event
A Brief Introduction to Formal Argumentation Theory
We provide a brief introduction into formal argumentation theory, based non a (simplified) version of the ASPIC+ formalism. In particular, we will discuss what formal arguments look like, how to construct them from a knowledge base, how to evaluate them and how to use the overall formalism for the purpose of (nonmonotonic) logical entailment. We also explain some key postulates that one would like an argumentation formalism to satisfy, and the extent to which these are satisfied by ASPIC+.
Martin Caminada is a postdoctoral researcher on the EPSRC-funded project SAsSy (Srcutable Autonomous Systems), Computing Science dept., University of Aberdeen.
- Speaker
- Dr Martin Caminada
- Venue
- Meston 203