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

作者：Neli P. Zlatareva

摘要

Truth 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:

论文关键词：Knowledge-based Systems, Verification of Rule-based Systems, Nonmonotonic Reasoning, Belief Revision, Expert Systems Design

论文评审过程：

论文官网地址：https://doi.org/10.1007/BF00155580