论文部分内容阅读
介绍了基于语义网络的知识表示，并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式，将其用于推理。本文讨论知识表示的交互式输入方法以及中间模型的设计。按SNetL 语言的描述机制，确定了用户描述的控制、导航方式，并研究转换中的规则和算法。
基于语义网络的知识表示的形式转换及推理
【摘 要】
：
介绍了基于语义网络的知识表示，并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式，将其用于推理。本文讨论知识表示的交互式输入方法以及中间模型的设计。按SNe
【机 构】
：
云南师范大学计算机科学系,海军工程大学微机中心
【出 处】
：
武汉大学学报：信息科学版
【发表日期】
：
2001年4期
【基金项目】
：
云南省自然科学基金
其他文献
1对高校图书馆人本管理思想的理解人本思想，起源于文艺复兴运动，是西方新兴资产阶级为了反抗教会神权和封建王权的绝对统治而提出的主要指向“人文主义”或“人道主义”思想，并
本刊讯 世界中医药学会联合会5月18日在长沙选举湖南中医药大学党委书记蔡光先教授为世界中医药学会联合会标准化建设委员会首任会长，并将该会办公地点设在湖南中医药大学。