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

• 作者: 刘海庆 夏幼明 徐天伟
• 来源期刊: 武汉大学学报(信息科学版)
• 学科: 工学
• 关键词: 语义网络 知识表示 谓词逻辑
• 年，卷（期）: 2001,（4）
• 所属期刊栏目: 学术论文
• 页码范围: 369-372
• 页数: 5页
• 分类号: TP18|TP311.12
• 字数: 4889字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-8860.2001.04.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏幼明	云南师范大学计算机科学系	71	475	10.0	19.0
2	徐天伟	云南师范大学计算机科学系	55	363	10.0	16.0
3	刘海庆	海军工程大学微机中心	9	100	3.0	9.0