This is a past event
Abstract:
Argumentation theory is an area that combines both philosophical concepts and computational models to deliver a practical approach to reasoning that is able to deal with uncertain information and possibly conflicting viewpoints.
Structured argumentation in particular can model domain specific knowledge and argumentation schemes. However, despite these practical components, there is a lack of implementations and implementation methods available for the wide variety of structured models.
My talk will show how taking a principled approach (in the programming language Haskell) can help towards tackling this problem. I will discuss two implementations of argumentation models: Carneades and Dung's argumentation frameworks. Subsequently, I will show how the implementation of Dung can be used to give a semantics to the Carneades argumentation model by implementing a translation from Carneades into Dung.
Bio:
Bas van Gijzel is a 3rd year PhD student in the School of Computer Science at the University of Nottingham. He received his BSc. degree in Technical Computer Science from the University of Twente in 2009 and completed an MSc. Technical Artificial Intelligence at Utrecht University in 2011.
Bas's research interests crosses a wide range of topics, ranging from computational argumentation to (dependently typed) functional programming and theorem proving. More specifically, his work examines formal relationships between argumentation models and attempts to show how functional programming techniques and dependent types can improve the implementation of argumentation models and translations between them.
Bas has published a number of papers during his MSc and first years of his Ph.D., including argumentation papers at the IJCAI'11 conference and the journal of Argument and Computation. His recent work on the implementation and formalisation of argumentation models and translations between them have been published in the post-proceedings of the functional programming conferences TFP'12 and IFL'13.
In his spare time Bas can be found cooking, fermenting Kim Chi or enjoying a good whiskey.
- Speaker
- Bas van Gijzel
- Hosted by
- Adam Wyner
- Venue
- Meston 203