Skip to Main content Skip to Navigation
New interface

Un système de maintenance de la vérité à propagation de contextes

Abstract : Hypothetical reasoning consists in completing available knowledge to achieve reasoning. In order to help hypothetical reasoning, specific algorithms are designed which efficiently deal with hypothesis and their consequences, and moreover allow an automatic hypothesis generation. This last consideration leads to implement a nonmonotonic reasoning. Truth maintenance systems (TMS) record the inferences, made by a reasoning system, as a dependency graph and insure the coherence of the formulas to be found in the knowledge base. Two kinds of truth maintenance systems were considered:

- Propagation-based TMS deal with nonmonotonic inferences and propagate validity through the graph. Labels associated with formulas represent an interpretation of the graph.

- Context-based TMS are restricted to monotonic inferences
but use labels representing contexts in which the formulas must be
present. They allowA0to reason under several contexts simultaneously.This work designs a new system that merges the advantages of both systems. It allows to reason simultaneously under several contexts with the help of nonmonotonic inferences. For this purpose, new environments able to take into account the absence of an hypothesis are defined. They are associated with an interpretation which is extended all over the dependency graph according to the propagation-based TMS' interpretation.20 A system corresponding to this characterization, the CP-TMS was implemented as an extention of propagation-based TMS. That
implementation is described here before to be discussed.
Document type :
Complete list of metadata
Contributor : Thèses Imag Connect in order to contact the contributor
Submitted on : Tuesday, February 17, 2004 - 2:07:09 PM
Last modification on : Friday, April 19, 2019 - 3:14:03 PM
Long-term archiving on: : Wednesday, September 12, 2012 - 4:55:16 PM


Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License


  • HAL Id : tel-00004714, version 1




Jérôme Euzenat. Un système de maintenance de la vérité à propagation de contextes. Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1990. Français. ⟨NNT : ⟩. ⟨tel-00004714v1⟩



Record views


Files downloads