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={N. Zlatareva},
  journal={Artificial Intelligence Review},
  year={2004},
  volume={6},
  pages={67-110}
}
  • N. Zlatareva
  • Published 2004
  • 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… Expand
9 Citations
Expert system verification and validation: a survey and tutorial
  • 126
  • PDF
Improving the quality of rule-based applications using the declarative verification approach
  • S. Lukichev
  • Computer Science
  • Int. J. Knowl. Eng. Data Min.
  • 2011
  • 13
Feature Selection for Reduction of Tabular Knowledge-Based Systems
  • 3
An ATMS-Based Tool for Locating Honor Cards in Rubber Bridge
  • 7
  • PDF
Applications of Abduction: Testing Very Long Qualitative Simulations
  • 14
  • PDF

References

SHOWING 1-10 OF 31 REFERENCES
An Outlook on Truth Maintenance.
  • 217
Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy
  • 218
A Truth Maintenance System
  • J. Doyle
  • Computer Science
  • Artif. Intell.
  • 1979
  • 1,981
  • Highly Influential
  • PDF
A Model for Belief Revision
  • 273
  • PDF
An Assumption-Based TMS
  • J. Kleer
  • Mathematics, Computer Science
  • Artif. Intell.
  • 1986
  • 1,859
  • PDF
The Truth, the Whole Truth, and Nothing But the Truth
  • 48
  • PDF
A Knowledge Level Analysis of Belief Revision
  • 206
Problem Solving with the ATMS
  • J. Kleer
  • Computer Science
  • Artif. Intell.
  • 1986
  • 285
...
1
2
3
4
...