01 October 2016 → 30 November 2018
Research Foundation - Flanders (FWO)
- Theory and methodology of philosophy
- Artificial intelligence
- Cognitive science and intelligent systems
nonmonotonic logic formal argumentation defeasible reasoning
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.