摘要： 本文给出一种表示机械设计专家系统知识的方法。这种方法在维护和修改知识库时使得有效性和完备性的检查易于实现。我们先用框架连接图(FCG)表示知识,进而用有向图(DG)理论解释,最后转换成一阶逻辑。根据一组导出的公理,应用自动推理技术,进行知识库维护与修改的有效性检查。

Abstract: An approach to represent the knowledge for mechanical design expert systems is proposed. It facilitates the validity and integrity checking of the knowledge base. Frame connection graph (FCG) is used to represent the knowledge and then interpreted by using directed graph theory (DG theory), and finally translated into first-order logic. Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and modification.