Truth maintenance systems and their application for verifying Expert System Knowledge Bases

@article{Zlatareva2004TruthMS,
  title={Truth maintenance systems and their application for verifying Expert System Knowledge Bases},
  author={Neli Zlatareva},
  journal={Artificial Intelligence Review},
  year={2004},
  volume={6},
  pages={67-110}
}
  • N. Zlatareva
  • Published 1 March 1992
  • Computer Science
  • Artificial Intelligence Review
AbstractTruth maintenance systems (TMSs) were introduced more than ten years ago, but recently there is an explosion of interest in them and their possible applications in different areas. In this paper we discuss truth maintenance from three perspectives:· Truth maintenance as a data base management facility, which was in fact the original intention of the TMS.· Truth maintenance as an inference facility, which provides a way to extend the role of the TMS in solving problems.· Truth… 

Figures from this paper

Expert system verification and validation: a survey and tutorial
TLDR
This paper surveys the issues, methods and techniques for verifying and validating expert systems, and reviews of validation methods for validating both the components of a system and the system as a whole.
Improving the quality of rule-based applications using the declarative verification approach
TLDR
A rule-based (declarative) approach to rule verification that defines special rules, called verifier rules, which derive facts when anomalous business rules are detected and can be added or modified if new anomalies are found and have to be detected.
Formalization of Knowledge by Tools of System-Object Simulation
  • A. Zhikharev
  • Computer Science
    Lecture Notes in Networks and Systems
  • 2021
TLDR
The author notes that knowledge about the study object is represented in the form of Node-Function-Object structure, which allows taking into account structural, functional and objecting characteristics, suggesting that there are prospects for representing and processing knowledge presented in the forms of system-object models.
Feature Selection for Reduction of Tabular Knowledge-Based Systems
TLDR
This study proposes and illustrates another means to deal with problems associated with combinatorial explosion in tabular knowledge bases through use of feature selection methodology and can be used synergistically with modularization.
Issues of Circulations eason Maintenance Systems
TLDR
A circulation model is presented which classifies the circulations in nonmonotonic beliefbases into simplecirculations, overlap circulations, tangent circulations), bridge circulations and link circulations.
An ATMS-Based Tool for Locating Honor Cards in Rubber Bridge
TLDR
This paper proposes an approach that consists in making assumptions about the honor cards location, then to gradually eliminating the inconsistent assumptions until locating all honor cards.
An Expert System to Assist the Diagnosis of Ischemic Heart Disease
TLDR
A Belief Rule Based Expert System (BRBES) to assist the physician to handle all kinds of uncertainty that exist with the signs and symptoms of IHD is proposed and is intended for assisting the physicians in health checkup as an assisting monitoring technology.
Applications of Abduction: Testing Very Long Qualitative Simulations
TLDR
The complexity of this check reduces to the granularity of the measurements, which means that, given certain reasonable language restrictions, this check is feasible, provided a very long simulation run is only measured infrequently.

References

SHOWING 1-10 OF 30 REFERENCES
An Outlook on Truth Maintenance.
TLDR
This report describes a TMS algorithm that is substantially different from previous systems and performs deduction in traditional propositional logic in such a way that the premise set from which deduction is being done can be easily manipulated.
Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy
TLDR
This paper presents a new approach, called knowledge-base reduction, to the problem of checking knowledge bases for inconsistency and redundancy, and makes use of concepts and techniques that have recently been advocated by de Kleer in conjunction with an assumption-based truth maintenance system.
Checking an Expert Systems Knowledge Base for Consistency and Completeness
TLDR
A program that verifies the consistency and completeness of expert system knowledge bases which utilize the Lookheed Expert System (LES) framework, called CHECK, which combines logical principles as well as specific information about the knowledge representation formalism of LES.
A Truth Maintenance System
  • J. Doyle
  • Computer Science
    Artif. Intell.
  • 1979
A Model for Belief Revision
On the Relation Between Truth Maintenance and Autoepistemic Logic
TLDR
It is shown that a variant of Dressler's encoding of nonmonotonic justifications in an assumption-based TMS is correct, and thus also inherits the AEL semantics and it is argued that more work is needed to come to a better understanding of backtracking routines and so-called nogood inferences, which are identified as sources of ungrounded conclusions.
An Assumption-Based TMS
  • J. Kleer
  • Computer Science
    Artif. Intell.
  • 1986
The Truth, the Whole Truth, and Nothing But the Truth
TLDR
An annotated bibliography to the literature of truth maintenance systems is presented, grouping the works referenced according to several classifications.
A Knowledge Level Analysis of Belief Revision
TLDR
It is shown how to reconstruct symbol-level belief revision on the knowledge level and why the idea of reason maintenance, which is considered to be essential in AI, has no counterpart in the theory of epis-temic change.
Problem Solving with the ATMS
  • J. Kleer
  • Computer Science
    Artif. Intell.
  • 1986
...
1
2
3
...