< Terug naar vorige pagina

Project

Theorie en implementatie van kennisbank-systemen voor FO(.)

Een Kennisbank Systeem (KBS) is een software systeem dat een declaratieven Kennisbank (KB) beheert en diverse taken ermee oplost door toepassing van diverse vormen van inferentie. Het doel van dit project is om een KBS te bestuderen voor een rijke uitbreiding FO(.) van eerste orde logica (FO). In het verleden ontwikkelden we de eindig-model-generator IDP voor uitbreidingen van FO met inductieve definities, aggregaten en arithmetiek. Nu stellen we voor om FO(.) verder uit te breiden met coinductie en met modale operatoren om een NP-orakel te simuleren. Dit werk vereist een semantische en expressiviteits-analyse van deze taalconstructies. Op het niveau van de implementatie willen we IDP uitbreiden voor de nieuwe taalconstructies en ook andere vormen van inferentie bestuderen zoals deductie in de context van beslisbare fragmenten, approximatief redeneren, model-revisie en debugging. Elke vorm van inferentie vereist studie van de complexiteit en de ontwikkeling van algoritmes, implementatie en toepassingen.
Datum:1 jan 2010 →  31 dec 2013
Trefwoorden:Knowledge base systems, Declarative problem solving, Logic programming, Classical logic, Knowledge representation
Disciplines:Toegepaste wiskunde, Computerarchitectuur en -netwerken, Distributed computing, Informatiewetenschappen, Informatiesystemen, Programmeertalen, Scientific computing, Theoretische informatica, Visual computing, Andere informatie- en computerwetenschappen, Artificiële intelligentie, Cognitieve wetenschappen en intelligente systemen