Project R-2080
Titel
Theorie en Implementatie van Kennisbank-systemen voor FO(.) (Onderzoek)
Abstract
Een Kennisbank Systeem (KBS) is een software systeem dat een declaratieve 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.
Periode
01 januari 2010 - 31 december 2013