10.3969/j.issn.1671-8860.2001.04.016
基于语义网络的知识表示的形式转换及推理
介绍了基于语义网络的知识表示,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式,将其用于推理。本文讨论知识表示的交互式输入方法以及中间模型的设计。按SNetL 语言的描述机制,确定了用户描述的控制、导航方式,并研究转换中的规则和算法。
语义网络、知识表示、谓词逻辑
26
TP18;TP311.12(自动化基础理论)
云南省自然科学基金2000F0049M
2004-01-09(万方平台首次上网日期,不代表论文的发表时间)
共5页
369-372