首页> 中文期刊>毕节学院学报 >描述逻辑系统εLN中的概念包含推理算法研究

描述逻辑系统εLN中的概念包含推理算法研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

首先我们在F Baader给出的εL概念描述树基础上给出了εLN中概念描述树的定义,然后定义了εLN中概念描述树之间的同态关系,最后通过计算两棵概念描述树之间的同态给出了εLN中概念之间的相互包含关系算法.

著录项

来源
《毕节学院学报》|2010年第8期|9-13|共5页
作者
张维; 曹发生; 余泉;
展开▼
作者单位

黔南民族师范学院数学系,贵州,都匀,558000;

毕节学院逻辑、语言与认知研究中心,贵州,毕节,551700;

毕节学院逻辑、语言与认知研究中心,贵州,毕节,551700;

黔南民族师范学院数学系,贵州,都匀,558000;

毕节学院逻辑、语言与认知研究中心,贵州,毕节,551700;

展开▼
原文格式 PDF
正文语种 chi
中图分类数理逻辑（符号逻辑）;
关键词
描述逻辑; 概念描述树; 同态; 算法;

相似文献

中文文献
外文文献
专利

1. 描述逻辑系统εLN中概念最小公共包含推理研究 [J] . 张维 ,曹发生 ,余泉 . 计算机工程与科学 . 2012,第002期
2. 描述逻辑系统FLεN中概念的最小公共包含算法研究 [J] . 张维 ,侯金宏 ,曹发生 . 计算机研究与发展 . 2010,第006期
3. 描述逻辑系统εLN中概念的匹配算法研究 [J] . 张维 ,余泉 ,王驹 . 计算机工程与应用 . 2013,第002期
4. 描述逻辑系统uεVN中概念的包含关系 [J] . 曹发生 ,张维 . 计算机工程与应用 . 2010,第030期
5. 模糊描述逻辑系统L-ALCN中的形式概念格 [J] . 李佳 . 电脑知识与技术 . 2009,第025期
6. 根与几种命题逻辑系统中的近似推理 [C] . . 第六届中国不确定系统年会 . 2008
7. Lukasiewicz逻辑系统中的模糊推理及模糊概念格的属性约简 [A] . 李立峰 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号