论文部分内容阅读
本文对知识表示的工具之一语义网络做了简单的介绍,并且给出形式化的定义。语义网络作为表示知识的主要方法,成为知识库组成的主要形式,从而引出知识库的维护及推理的实现。我们在研究中发现,将面向对象技术引入语义网络的研究,成为目前的发展方向之一。特别地,对关系的继承属性的研究是本文所关注的问题。本文首先给出此问题提出的背景,并由实例引出算法设计的基本思想。提出从语义网络的表示中获取知识的机制,并给出由语义网络表示转换成谓词逻辑的表示的算法。
This article gives a brief introduction to the semantic network of one of the tools for knowledge representation and gives a formal definition. As the main method of expressing knowledge, the semantic network has become the main form of knowledge base, which leads to the maintenance of knowledge base and the realization of reasoning. In our study, we found that the introduction of object-oriented technology into the semantic network has become one of the current development directions. In particular, the study of inheritance of relationships is a matter of concern in this article. This paper first gives the background of this question, and the basic idea of algorithm design is derived from the examples. The mechanism of obtaining knowledge from the representation of semantic networks is proposed and an algorithm of transforming from semantic network representation to predicate logic is given.