Skip to Main content Skip to Navigation

Méthodes de vérification de bases de connaissances

Abstract : In this work, we present our approach for automatic checking of rule based systems. Atfer an overview of the related works, this report consists of two distincts parts. The first one deals with the consistency of rules in Knowledge Bases (KB) using the attribute-value formalism with forward chaining. We present the MELOMIDIA system, a consistency checker looking for the specifications of Initial Fact Bases (IFB) such that the deductive closure of IFB and the rule base contains contradictory facts. In the same process, MELOMIDIA also detects the redundant or unfireable rules of the KB. The second one considers the problem of verification of first-order Rule Bases (RB). Our approach consists of matching two kinds of knowledge: on one hand, the KB to be studied, on the other hand, specifications of properties of some predicates used in the KB. This latter core of knowledge is some kind of implicit knowledge, which must be acquired from the KB designer. This is made possible through a descriptive model of predicate we designed for this task. Going further, this model allows us to tackle some methodological aspects of the development of KB Systems.
Complete list of metadata

Cited literature [62 references]  Display  Hide  Download
Contributor : Ecole Des Ponts Paristech Connect in order to contact the contributor
Submitted on : Friday, September 24, 2010 - 10:14:20 AM
Last modification on : Friday, October 23, 2020 - 4:52:10 PM
Long-term archiving on: : Saturday, December 25, 2010 - 2:44:03 AM


Files produced by the author(s)


  • HAL Id : tel-00520738, version 1



Philippe Lafon. Méthodes de vérification de bases de connaissances. Interface homme-machine [cs.HC]. Ecole Nationale des Ponts et Chaussées, 1991. Français. ⟨tel-00520738⟩



Record views


Files downloads