论文部分内容阅读
介绍了基于语义网络的知识表示 ,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。本文讨论知识表示的交互式输入方法以及中间模型的设计。按SNetL语言的描述机制 ,确定了用户描述的控制、导航方式 ,并研究转换中的规则和算法
The knowledge representation based on semantic network is introduced, and the knowledge representation is used to transform the knowledge representation of SNetL into the representation of predicate logic, which is used for reasoning. This article discusses the interactive input methods for knowledge representation and the design of intermediate models. According to the SNetL language description mechanism, the user-defined control and navigation methods are determined and the rules and algorithms in the conversion are studied