Project

Vaag answer set programmeren 2.0

Code
3G007610
Duration
01 January 2010 → 31 December 2015
Funding
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)
Research disciplines
  • Natural sciences
    • History and foundations
    • Artificial intelligence
  • Social sciences
    • Cognitive science and intelligent systems
Keywords
web 2.0 stabel-model semantics fuzzy logic logic programming
 
Project description

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.