基于语义网络的知识表示的形式转换及推理

The Design and Implementation of Transferring NEWCOM Data Model to Relation Data Model

介绍了基于语义网络的知识表示 ,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。本文讨论知识表示的交互式输入方法以及中间模型的设计。按SNetL语言的描述机制 ,确定了用户描述的控制、导航方式 。

At first,this paper introduces presenting knowledge based on semantic network,and transfers expression knowledge of SNetL into the form of predication logic for inference.This paper discusses the method of interactive inputting knowledge and designs the middle model for gaining some information. According to describing mechanism of SNetL,the authors confirm the way of directing a user to write his needs,and study some rules and algorithm using for transfering.