This is a past event
A presentation about formal argumentation theory.
Theories of reasoning with conflicting information and rules of thumb have been developed since the 1980s. A recent development is the field of formal argumentation, where such theories are built around the notion of an argument, which basically consists of one or more reasons (argument schemes) that collectively support a particular claim (conclusion). Entailment is then defined based on how the various arguments interact with each other. In the present talk, we will review some of the current work in formal argumentation theory. In particular, we will examine how natural concepts, like claims, reasons, arguments and discussions, can be modelled by formal theory. Also, we show how formal entailment can be expressed as the ability to win a particular type of discussion.
- Speaker
- Martin Caminada
- Hosted by
- Adam Wyner
- Venue
- MT 203
- Contact
-
Dr. Wyner, Department of Computing Science, Email: azwyner@abdn.ac.uk