文献类型：期刊文章

作　　者：夏幼明[1] 刘海庆[2] 徐天伟[1]

机构地区：[1]云南师范大学计算机科学系 [2]海军工程大学微机中心,武汉市解放大道717号430033

出　　处：《武汉大学学报（信息科学版）》

基　　金：云南省自然科学基金资助项目 (2 0 0 0F0 0 49M )

年　　份：2001

卷　　号：26

期　　号：4

起止页码：369-373

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA、CSCD、CSCD2011_2012、EI、GEOBASE、IC、INSPEC、JST、PROQUEST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：语义网络 知识表示 谓词逻辑 智能系统 SNetL语言  形式转换  交互式输入方法  

分 类 号：TP18]