Taaluitbreidingen en nieuwe inferenties voor het kennisbank paradigma vanuit een Business en Multi-Agent perspectief KU Leuven
Het doel van kennisrepresatie en redeneren (KRR), een onderzoeksveld in Artificiële Intelligentie is het ontwikkelen van formele talen om kennis mee voor te stellen op een wiskundige manier, en het ontwikkelen van inferentie methoden
zodat verschillende taken kunnen worden opgelost met behulp van deze kennis.
Bestaande aanpakken in KRR ontwikkelen een formele taal (een logica) met een bijhorende inferentie, specifiek toegepast op ...