Geodesic
An Overview of Some Truth Maintenance Systems
Yugoslav journal of operations research, Tome 5 (1995) no. 1, p. 65 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Many treatments of formal and informal reasoning in mathematical logic and artificial intelligence have been shaped in large part by u seldom acknowledged view: the view that the process of reasoning is the process of deriving new knowledge from old, the process of discovering new truths contained in known truths. The basic problem with the conventional view of reasoning stems from the monotonicity of the reasoning process. The truth maintenance systems solve this problem. Doyle' s Truth Maintenance System - TMS, de Kleer's assumption-based Truth Maintenance System - ATMS, ART's viewpoint mechanism, and BEST's context mechanism - MEKON will be described in this paper. TMS and ATMS represent two different approaches in the truth maintenance. and some variations of these basic ideas are implemented in many other truth maintenance systems. ART's viewpoint mechanism and MEKON are similar to the ATMS, but they can solve some problems that neither TMS nor ATMS can solve.
Keywords: Expert systems, hypothetical reasoning, non-monotonic reasoning, time-state reasoning, truth maintenance 
@article{YJOR_1995_5_1_a6,
     author = {Mladen Stanojevi\'c and Du\v{s}an Vela\v{s}evi\'c},
     title = {An {Overview} of {Some} {Truth} {Maintenance} {Systems}},
     journal = {Yugoslav journal of operations research},
     pages = {65 },
     publisher = {mathdoc},
     volume = {5},
     number = {1},
     year = {1995},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/YJOR_1995_5_1_a6/}
}
TY  - JOUR
AU  - Mladen Stanojević
AU  - Dušan Velašević
TI  - An Overview of Some Truth Maintenance Systems
JO  - Yugoslav journal of operations research
PY  - 1995
SP  - 65 
VL  - 5
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/YJOR_1995_5_1_a6/
LA  - en
ID  - YJOR_1995_5_1_a6
ER  - 
%0 Journal Article
%A Mladen Stanojević
%A Dušan Velašević
%T An Overview of Some Truth Maintenance Systems
%J Yugoslav journal of operations research
%D 1995
%P 65 
%V 5
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/YJOR_1995_5_1_a6/
%G en
%F YJOR_1995_5_1_a6
Mladen Stanojević; Dušan Velašević. An Overview of Some Truth Maintenance Systems. Yugoslav journal of operations research, Tome 5 (1995) no. 1, p. 65 . http://geodesic.mathdoc.fr/item/YJOR_1995_5_1_a6/