| 基于语义网络的知识表示的形式转换及推理 |
| |
| 引用本文： | 夏幼明,徐天伟,刘海庆.基于语义网络的知识表示的形式转换及推理[J].武汉大学学报(信息科学版),2001,26(4):369-373. |
| |
| 作者姓名： | 夏幼明 徐天伟 刘海庆 |
| |
| 作者单位： | 1. 云南师范大学计算机科学系,
2. 海军工程大学微机中心, |
| |
| 基金项目： | 云南省自然科学基金资助项目(2000F0049M)。 |
| |
| 摘 要： | 介绍了基于语义网络的知识表示，并利用基于知识的方法将SNetL的知表示转换为谓词逻辑的表现形式，将其用于推理。本文讨论知识表示的交互式输入方法及中间模型的设计。按SNetL语言的描述机制，确定了用户描述的控制、导航方式，并研究转换中的规则和算法。
|
| 关 键 词： | 语义网络 知识表示 谓词逻辑 智能系统 SNetL语言 形式转换 交互式输入方法 |
| 文章编号： | 1000-050X(2001)04-0369-05 |
| 修稿时间： | 2001年2月10日 |
The Design and Implementation of Transferring NEWCOM Data Model to Relation Data Model |
| |
| XIA Youming,LIU Haiqing,XU Tianwei.The Design and Implementation of Transferring NEWCOM Data Model to Relation Data Model[J].Geomatics and Information Science of Wuhan University,2001,26(4):369-373. |
| |
| Authors: | XIA Youming LIU Haiqing XU Tianwei |
| |
| Institution: | XIA Youming 1 LIU Haiqing 2 XU Tianwei 1 |
| |
| 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. |
| |
| Keywords: | semantic network presenting knowledge predication logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
