Skip to Main content Skip to Navigation
Theses

Révision interactive dans une base de connaissance à objets

Isabelle Crampé 1
1 SHERPA - Object Knowledge Bases
Inria Grenoble - Rhône-Alpes
Abstract : Since knowledge on a domain is always evolving, knowledge bases must be incrementally built. A new piece of knowledge may be contradictory with older ones but base consistency must be preserved, i.e. there is still a model. This consistency is necessary since a base has to represent a domain. This problem is near revision in logic, but in logic language the trouble is that programming is impossible due to complexity. The aim is to define revision for object-based representation, in order to implement an efficient algorithm, by using object features. First, an object-based language is defined : its semantics and a completeand sound set of deduction rules. Then, inconsistency is syntactically characterised, and detection takes advantage of the fact that inconsistency does not spread in the whole object-based base, since it does not allow to deduce everything. Then, a definition of revised bases, i.e. parts of initial base that are consistent with the new piece of knowledge, is proposed. This revision satisfies classical logic postulates and in particular, minimality, that is, the least knowledge must be lost. Minimality is shown to have an intuitive meaning according to the class specialisation. Whenever several revised bases are possible, the choice is assumed to be made by the user. Eventually, we describe an implemented algorithm which gives all the possible minimal modifications of a base inconsistent with a new piece of knowledge. Such an interactive revision in object context allows to avoid main classical revision problems, and in particular can be implemented by efficient algorithms.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00004934
Contributor : Thèses Imag <>
Submitted on : Friday, February 20, 2004 - 3:24:50 PM
Last modification on : Thursday, February 11, 2021 - 2:56:04 PM
Long-term archiving on: : Friday, April 2, 2010 - 8:39:51 PM

File

Identifiers

  • HAL Id : tel-00004934, version 1

Collections

Citation

Isabelle Crampé. Révision interactive dans une base de connaissance à objets. Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français. ⟨tel-00004934⟩

Share

Metrics

Record views

305

Files downloads

9