论文部分内容阅读
语义网络作为表示知识的主要方法成为常识知识库组成的主要形式,从而引出知识库的维护及推理所要解决的问题.在研究中发现,将面向对象技术引入语义网络的研究,是目前的发展方向之一.特别地,对关系的继承属性的形式转换是本文所关注的.文章首先提出从语义网络到谓词逻辑这两种形式进行转换的基本操作,并给出由语义网络表示转换成谓词逻辑形式表示的算法.