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

被引：16

作者：

夏幼明

刘海庆

徐天伟

机构：

[1] 云南师范大学计算机科学系!昆明市五华区一二一大街号

[2] 不详

[3] 海军工程大学微机中心!武汉市解放大道号

来源：

关键词：

语义网络; 知识表示; 谓词逻辑;

D O I：

10.13203/j.whugis2001.04.016

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：369 / 373

页数：5