Conceptual graphs with constrained reasoning

Les structures conceptuelles sont une technique puissante et efficace de representation des connaissances qui integre beaucoup de dispositifs, tels que la subsumption des concepts hierarchies de type ou des techniques formelles de validation. La communaute CS a fait beaucoup d'efforts pour ameliorer et etendre la definition de l'unification. Cependant, aucune des methodes proposees jusqu'ici n'est capable de realiser une unification simple et de garantir qu'un graphe unifie avec les referents contraints continue a representer une connaissance du domaine raisonnable. Nous definissons une methode pour l'unification des structures conceptuelles qui contiennent des contraintes numeriques dans le referent d'un concept. L'apport de ce travail est qu'une execution simple d'unification, en utilisant jointure et subsumption, peut etre employee pour valider les contraintes d'un graphe unifie entier.