< Terug naar vorige pagina

Project

Satisfieerbaarheid en modelgeneratie in een oneindige ruimte

Het doel van declaratief programmeren is het voorstellen van domeinkennis op een eenvoudige manier en problemen oplossen aan de hand van inferenties. Het FO(.)-kennisbanksysteem IDP is een state-of-the-art declaratief systeem dat een unieke combinatie aan inferenties biedt die aan ontwikkelaars toelaten om dezelfde informatie te hergebruiken bij het oplossen van verschillende taken. Op dit moment is dit echter enkel mogelijk wanneer het een eindig domein betreft; de taal en het achterliggende systeem zijn niet geschikt voor oneindig grote types, zoals onbegrensde getallen, lijsten, strings, boomstructuren, sets, etc. Deze limitatie verhindert de verdere groei van FO(.) en IDP. Dit doctoraat wil dit rechtzetten.

Om dit te doen, beogen we om de voordelen van verschillende logicagebaseerde programmeertakken samen te brengen. In het bijzonder zijn SMT-solvers ontworpen met oneindige domeinen in het achterhoofd. We willen deze technieken combineren met de voordelen van FO(.) om een krachtig kennisbanksysteem te ontwikkelen. Dit zal enerzijds het ontwerpen van nieuwe taalconstructies inhouden, en anderzijds het uitbreiden van de inferentiemethodes om deze te ondersteunen. Het doel hiervan is om de klasse van praktische problemen die opgelost kunnen worden uit te breiden. De resultaten van dit onderzoek zijn eveneens nuttig in andere grounding-gebaseerde solvers.

Datum:17 feb 2016 →  1 jun 2017
Trefwoorden:Knowledge base system, IDP, FO(.)
Disciplines:Toegepaste wiskunde, Computerarchitectuur en -netwerken, Distributed computing, Informatiewetenschappen, Informatiesystemen, Programmeertalen, Scientific computing, Theoretische informatica, Visual computing, Andere informatie- en computerwetenschappen
Project type:PhD project