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

被引：1

作者：

徐天伟

夏幼明

夏幼安

李晶

机构：

[1] 云南师范大学计算机科学学院

[2] 郑州电缆厂职工大学

来源：

云南师范大学学报(自然科学版) | 2001年 / 06期

关键词：

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

D O I：

暂无

中图分类号：

H08 [应用语言学];

学科分类号：

050211 ;

摘要：

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

引用

收藏

页码：30 / 33

页数：4

相关论文

共 3 条

[1] 人工智能.[M].陆汝钤编著;.科学出版社.1996,
[2] 专家系统开发环境.[M].陆汝钤等著;.科学出版社.1994,
[3] 语义网络的知识获取及转换的研究
夏幼明
徐天伟
张春霞
夏幼安
[J]. 云南师范大学学报(自然科学版), 1999, (06) : 40 - 44