Co-evolutie van Kennisbanken: Talen en Tools

Nuttige domeinkennis zit in de hoofden van sleutelmedewerkers, maar blijft grotendeels impliciet. Het expliciet opslaan van deze kennis in een zogenaamde kennisbank (KB) heeft veel voordelen. Echter is het proces van het opbouwen van een KB door een kennisingenieur herhaaldelijk de domeinexperts te laten interviewen traag en duur. Om dit te verbeteren, voorzien we een co-evolutieproces waarbij de domeinexpert en kennisingenieur samen de KB creëren, met als bijkomend voordeel dat de domeinexpert “eigenaar blijft” van de KB. Om co-evolutie mogelijk te maken, is een formele taal nodig die zowel begrijpelijk is voor domeinexperts als expressief genoeg om complexe kennis weer te geven. In dit project zullen we 3 mogelijke formalismen onderzoeken om co-evolutie te faciliteren: cDMN (een uitbreiding op DMN), abstracte syntax bomen en gecontroleerde natuurlijke taal. Na co-creatie van de KB dient deze onderhouden te worden, bij voorkeur door de domeinexperts zelf. Voor deze taak zullen we verificatietools onderzoeken voor de voorgestelde formalismen, tools voor het genereren van testcases om de KB te valideren, en het gebruik van inductief logisch programmeren om de verfijning van de kennis te automatiseren. Dit project zal de voorgestelde technieken ontwikkelen en evalueren in de context van vijf casestudies die verschillende domeinen bestrijken. Als dit lukt, kunnen domeinexperts de KB samen creëren, de onderhoudstaak uitvoeren en het eigendom van hun kennis terugwinnen.