< Back to previous page

Project

Structured argumentation frameworks for the formalization and evaluation of practical, defeasible reasoning patterns

The aim of this project is to study our argumentative practice with tools which stem from the theory of formal argumentation in artificial intelligence. These tools, like modern-day symbolic logic, provide us with the means for explicating and evaluating our argumentative practice in an exact, precise manner. Moreover, they are capable of capturing defeasible aspects of our argumentative practice.

Date:1 Oct 2016 →  30 Nov 2018
Keywords:nonmonotonic logic, formal argumentation, defeasible reasoning
Disciplines:Artificial intelligence, Theory and methodology of philosophy, Cognitive science and intelligent systems