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

基金项目: 云南省自然科学基金资助项目(2000F0049M)

详细信息

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

1 Department of Computer Science, Yunnan Normal University, 158 Yieryi Street, Wuhua Zone, Kunming, China, 650092;
2 Microcomputer Center, Naval University of Engineering, 717 Jiefang Road, Wuhan, China, 430033

摘要: 介绍了基于语义网络的知识表示,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式,将其用于推理。本文讨论知识表示的交互式输入方法以及中间模型的设计。按SNetL语言的描述机制,确定了用户描述的控制、导航方式,并研究转换中的规则和算法
- 语义网络 /
- 知识表示 /
- 谓词逻辑
Abstract: 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.
- semantic network /
- presenting knowledge /
- predication logic