Code
3E014513
Looptijd
14-08-2014 → 30-09-2016
Financiering
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO), Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Promotor
Mandaathouder
Onderzoeksdisciplines
-
Natural sciences
- Artificial intelligence
-
Humanities and the arts
- Theory and methodology of philosophy
-
Social sciences
- Cognitive science and intelligent systems
Trefwoorden
formele argumentatie
niet-deductief redeneren
niet-monotone logicas
Projectomschrijving
Dit project onderzoekt de formele modellering van niet-deductief redeneren, met bijzondere aandacht voor formele argumentatiemethoden en niet-monotone logicas. Het doel is om een fundamenteel en unificerend formeel kader voor niet-deductief redeneren te formuleren.