Theorie, algoritmes en tools voor generieke oplossingen van kennisintensieve bedrijfstoepassingen op basis van formele specificaties

Declaratieve probleemoplossing staat op punt van een doorbraak. Door nieuwe talen en inferentietechnologieën van kennisrepresentatie en redeneren, een formele theorie die applicatiekennis bestudeert, te gebruiken, kan men functionaliteit in een softwaresysteem sturen. In dit project werkt de KRR deelgroep van DTAI (Prof. Denecker and Prof. Janssens) om de technologie voorbij zijn huidige grenzen te brengen, op gebied van theorie, taal en algoritmes.De huidige technologie is het best geschikt voor kennisintensieve applicaties zoals bedrijfsapplicaties. Tot dusver heeft KRR dit veld nog niet bestudeerd. Daarom werken we samen met LIRIS group (Prof. Vanthienen) om deze aanpak uit te werken. Om een maximale impact in de economische relevante wereld van business software te bereiken, is een belangrijk onderdeel van dit project het samenbrengen van kennisrepresentatie en de recente influentiële OMG DMN (Decision Modeling & Notation) standaard.

Trefwoorden:DMN, Kennisrepresentatie, Kennisbankparadigma

Disciplines:Computerwetenschappen, Kennisrepresentatie en redenering