Code
3G007610
Looptijd
01-01-2010 → 31-12-2015
Financiering
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)
Promotor
Onderzoeksdisciplines
-
Natural sciences
- History and foundations
- Artificial intelligence
-
Social sciences
- Cognitive science and intelligent systems
Trefwoorden
vaaglogica
stable-model semantiek
web 2.0
logisch programmeren
Projectomschrijving
Vaag answer set programmeren heeft als doel om declaratief te kunnen redeneren over expertkennis in domeinen waar gradaties een belangrijke rol spelen. In dit project zullen we de fundamenten van dit formalisme uitbreiden, om het toepasbaar te maken voor de imperfecte kennis die, op een automatische manier, uit web 2.0 systemen kan gehaald worden.