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}
}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…
10 Citations
Expert system verification and validation: a survey and tutorial
- Computer ScienceArtificial Intelligence Review
- 2004
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
- Computer ScienceInt. J. Knowl. Eng. Data Min.
- 2011
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
- Computer ScienceLecture Notes in Networks and Systems
- 2021
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
- Computer ScienceInf. Technol. Manag.
- 2005
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
- Computer Science
- 1996
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
- Computer Science
- 2011
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
- Medicine
- 2016
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
- Computer ScienceIEEE Trans. Knowl. Data Eng.
- 2002
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.
- Computer Science
- 1980
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
- Computer ScienceAAAI
- 1988
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
- Computer ScienceIJCAI
- 1985
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.
On the Relation Between Truth Maintenance and Autoepistemic Logic
- Philosophy, Computer ScienceIJCAI
- 1989
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.
The Truth, the Whole Truth, and Nothing But the Truth
- PhilosophyAI Mag.
- 1991
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
- PhilosophyKR
- 1989
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.