Méthodes permettant la prédominance de connaissances subsumées

Cette thèse s’inscrit dans le domaine de l’Intelligence Artificielle symbolique. Elle y traite d’une question fondamentale liée à la représentation des connaissances et des raisonnements à base de logique. Plus précisément, elle s’intéresse au problème pouvant se produire lors de l’insertion dans un...

Full description

Bibliographic Details
Main Author: Ramon, Sébastien
Other Authors: Artois
Language:fr
Published: 2011
Subjects:
Online Access:http://www.theses.fr/2011ARTO0405/document