Kennisbankformalizatie toegankelijker maken voor domeinexperten.

Het kennisbank paradigma maakt gebruik van een declaratieve voorstelling van domeinspecifieke kennis om verscheidene taken uit te voeren. Dit paradigma heeft het potentieel om de ontwikkeling van complexe software systemen drastisch te versimpelen. Dit heeft in specifiek invloed op het bouwen van krachtige decision-support tools.

Om hier praktisch gebruik van te kunnen maken, moeten nog een aantal belangrijke uitdagingen overwonnen worden. Het onderzoek zal een aantal problemen onderzoeken aangaande de interactie met domeinexperten. Concreet, focust het op nieuwe methodologieën om kennis te extraheren, ondersteunt door nieuwe voorstellingstalen. Ook focust het op nieuwe logische inferentietaken om de interactie met de gebruikers te vergemakkelijken. Deze onderwerpen worden onderzocht in de context van praktische case studies, in interactie met industriele partners.