Project

Alliantieonderzoeksgroep: Logic Engineering

Code
05L00309
Looptijd
01-05-2009 → 31-07-2024
Financiering
UGent-middelen
Promotor
Onderzoeksdisciplines
  • Natural sciences
    • Computer science
Trefwoorden
algoritme
 
Projectomschrijving

De raden van bestuur van de Vrije Universiteit Brussel en de Universiteit Gent hebben een raamovereenkomst goedgekeurd die een structurele en verregaande samenwerking tussen beide instellingen mogelijk maakt. Een Alliantieonderzoeksgroep groepeert minstens 6 onderzoekers vanuit de UGent en vanuit VUB (en mogelijks ook vanuit hun associatiepartners). Deze onderzoekers zijn actief rondom een gemeenschappelijke onderzoekslijn.  

Binnen de context van de alliantieonderzoeksgroep willen we o.m. werken aan de studie van declaratieve formalismen die schaalbaar zijn tot het niveau van webtoepassingen. Door de uitdrukkingskracht van formalismen op een zinvolle manier te beperken tot wat effectief vereist is, kunnen soms verrassend efficiente systemen gevonden warden. We willen bv. onderzoeken ender welke voorwaarden het PageRank algoritme, dat door Google gebruikt wordt om de kwaliteit van webpagina's te schatten, kan uitgebreid warden voor vaag answer set programmeren. We willen ons ook toeleggen op het opstellen van een theoretisch verantwoorde methodologie voor het bekomen van bruikbare, vage kennisbanken uit webinformatie. Dit behelst ender meer het opstellen van een operationele definitie van lidmaatschapsgraden voor deze context, evenals technieken om een zinvol consensus te bepalen uit conflicterende invoergegevens, zo dat meer geloofwaardige bronnen een grotere invloed spelen (bv. gebaseerd op social choice theory). Het is onze bedoeling om dit o.m. te gebruiken voor het extraheren van eiwit-interactienetwerken uit de biomedische literatuur.