语义网络的知识获取及转换的研究

本文对知识表示的工具之一语义网络做了简单的介绍，并且给出形式化的定义。语义网络作为表示知识的主要方法，成为知识库组成的主要形式，从而引出知识库的维护及推理的实现。我们在研究中发现，将面向对象技术引入语义网络的研究，成为目前的发展方向之一。特别地，对关系的继承属性的研究是本文所关注的问题。本文首先给出此问题提出的背景，并由实例引出算法设计的基本思想。提出从语义网络的表示中获取知识的机制，并给出由语义网络表示转换成谓词逻辑的表示的算法。