Project

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

Code
3E000616
Duration
01 October 2016 → 30 November 2018
Funding
Research Foundation - Flanders (FWO)
Promotor
Research disciplines
  • Humanities
    • Theory and methodology of philosophy
  • Natural sciences
    • Artificial intelligence
  • Social sciences
    • Cognitive science and intelligent systems
Keywords
nonmonotonic logic formal argumentation defeasible reasoning
 
Project description

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.