Research Explorer

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
  • Natural sciences
    • Artificial intelligence
  • Humanities and the arts
    • Theory and methodology of philosophy
  • 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.