Categoriale kennissystemen zijn kennissystemen die gebaseerd zijn op een model beschreven in een categoriale taal. Dit model is implementatie-onafhankelijk. Een categoriale taal is een formeel systeem waarin aan elke uitdrukking een eenduidig type (categorie) wordt toegekend. Dit type bepaalt de syntactische en semantische mogelijkheden van de uitdrukking. Door een grote flexibiliteit gekoppeld aan een exacte mathematische definitie lenen categoriale talen zich bij uitstek voor het analyseren van kennisdomeinen. De studie van categoriale systemen heeft geleid tot de formulering van een methodologie voor knowledge engineering KEM (Knowledge En ...
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.