Project

Vaag answer set programmeren 2.0

Looptijd
01-01-2010 → 31-12-2015
Financiering
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)
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.