Prédominance de Connaissances Subsumées en Logique Classique

Philippe Besnard (1, 2) , Éric Grégoire (3) , Sébastien Ramon (3)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 CRIL - Centre de Recherche en Informatique de Lens

This paper is concerned with a fundamental issue in knowledge representation and reasoning that, surpris- ingly, has received little attention so far. The point is that inserting some logically weaker (but in a sense more precise) information within a logic-based representation is not a straightforward process if the extra information must prevail. Indeed, it does neither prevail by itself nor disable the already existing logically stronger (but less precise) information that subsumes it. A general frame- work for solving this problem is introduced and instanti- ated to the task of making some rules prevail over more general ones.

Domaines: Intelligence artificielle [cs.AI]

Philippe Besnard, Éric Grégoire, Sébastien Ramon. Prédominance de Connaissances Subsumées en Logique Classique. 6ièmes Journées de l'Intelligence Artificielle Fondamentale (IAF'12), May 2012, Toulouse, France. pp.21-29. ⟨hal-00870650⟩