Colloquium Matthijs van Santen de Hoog
Event information
Dit jaar gaat CoVer ook de afstudeercolloquia van haar leden promoten. Zodoende kunnen leden een duidelijker beeld krijgen van het onderzoek aan het eigen instituut. Wil je meer van de colloquia weten? Kijk dan op www.ai.rug.nl/nl/colloquia
Deze week: Matthijs van Santen de Hoog - \"Verificatie van Kennisbanken\"
Toelichting bij dit colloquium:
Kennissystemen kenmerken zich door een opzet waarbij de kennis, de kennisbank (Knowledge Base, KB), gescheiden is van de afleidlogica. De kennis in de KB is meestal gerepresenteerd in if-then-regels of in beslistabellen.
Het bedrijf Everest bv te \'s-Hertogenbosch is geinteresseerd in technieken die het mogelijk maken de KB automatisch te verifieren op logische anomalieen zoals: redundantie (overbodige kennis), contradictie (tegenstrijdige kennis), circulariteit en onvolledige kennis.
De hoofdvraagstelling van dit afstudeeronderzoek was of verificatietechnieken voor de systemen die Everest bv gebruikt mogelijk en haalbaar zijn. Hiertoe is literatuuronderzoek gedaan, bestaande verificatietools zijn onderzocht, er zijn algoritmen opgesteld en uiteindelijk is een prototype verificatietool geconstrueerd.
Dit prototype is in staat om alle categorieen en subcategorieen van anomalieen te detecteren en geeft hiervan een uitgebreide rapportage. Naast correctheid van de detectie is ook de snelheid van anomaliedetectie in reele praktijksituaties onderzocht. Voor de meeste anomaliecategorieen verliep deze binnen aanvaardbare normen.