由语义网络语言的知识表示到谓词逻辑的转换

• 作者: 夏幼安 夏幼明 徐天伟 李晶
• 来源期刊: 云南师范大学学报(自然科学版)
• 学科: 工学
• 关键词: 知识表示 语义网络 谓词逻辑
• 年，卷（期）: 2001,（6）
• 所属期刊栏目: 计算机科学
• 页码范围: 30-33
• 页数: 4页
• 分类号: H0856|TP312
• 字数: 4194字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9793.2001.06.007

摘要

语义网络作为表示知识的主要方法成为常识知识库组成的主要形式,从而引出知识库的维护及推理所要解决的问题.在研究中发现,将面向对象技术引入语义网络的研究,是目前的发展方向之一.特别地,对关系的继承属性的形式转换是本文所关注的.文章首先提出从语义网络到谓词逻辑这两种形式进行转换的基本操作,并给出由语义网络表示转换成谓词逻辑形式表示的算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏幼明	云南师范大学计算机科学学院	71	475	10.0	19.0
2	李晶	云南师范大学计算机科学学院	10	12	2.0	2.0
3	徐天伟	云南师范大学计算机科学学院	55	363	10.0	16.0
4	夏幼安		5	16	2.0	3.0