Skip to Main content Skip to Navigation
Theses

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 metadatas

Cited literature [62 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-00520738
Contributor : Ecole Des Ponts Paristech <>
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

File

1991TH_LAFON_P_NS15982.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-00520738, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

754

Files downloads

5865