专家系统与测试技术相结合的诊断维护系统

本文介绍的诊断维护系统ＩＴＭＤＭＳ将专家系统技术与传统的测试知识相结合。该系统包括两类知识：浅层知识和深层知识，知识用一阶谓词表示。推理过程分三步完成：（１）浅层推理；（２）深层推理；（３）浅层推理。知识维护手段使系统的知识在使用中不断完善。该系统的框架可适用于任意复杂的数字系统的诊断维护。

The Diagnostic Maintenance System Combining Expert System with Testing Technology

This paper introduces a diagnostic maintenance system ITMDMS that combines expert system technology with the conventional testing technology.The system includes two kinds of knowledge: one is heuristic shallow knowledge, the other is deep knowledge.They are represented by first-order predicate logic in hierarchy structure.The system takes three steps to accomplish the inference process:(1) shallow inference;(2)deep inference ; (3) shallow inference.The knowledge maintenance methods perfect the knowledge of the system in applification.The frame of the system can be used in diagnostic maintenance of any digital system.