一个新的基于EFALC的推理算法(英文)

周波; 陆建江; 张亚非; 康达周; 李言辉

首页> 中文期刊> 《东南大学学报：英文版》 >一个新的基于EFALC的推理算法(英文)

一个新的基于EFALC的推理算法(英文)

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.

著录项

来源
《东南大学学报：英文版》 |2006年第4期|496-500|共5页
作者
周波; 陆建江; 张亚非; 康达周; 李言辉;
展开▼
作者单位

解放军理工大学指挥自动化学院;

东南大学计算机科学与工程学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.13;
关键词
扩展模糊描述逻辑; 截概念; TBox; 推理算法;

相似文献

中文文献
外文文献
专利

1. 一个新的演绎数据库的推理算法 [J] . 董继润 ,王海洋 . 计算机学报 . 1990,第008期
2. 演绎数据库推理冗余的产生和一个新的处理算法 [J] . 王海洋 ,董继润 . 山东大学学报：自然科学版 . 1992,第002期
3. 一个改进的基于区间值模糊集的双向模糊推理算法 [J] . 丁国治 ,刘青 . 计算机与数字工程 . 2002,第006期
4. 一种新的基于直觉模糊Petri网的模糊推理算法 [J] . 申蔓蔓 ,乐晓波 ,周恺卿 . 计算机工程与科学 . 2015,第002期
5. 基于一种新的案例推理算法的变电站智能故障诊断方法研究 [J] . 林鸿伟 ,黄彦 ,黄劼 . 计算机与数字工程 . 2018,第011期
6. 基于矩阵运算的基于归结原理的自动推理算法 [C] . . 中国人工智能学会第10届全国学术年会 . 2003
7. 基于多重模糊推理模型的插值推理算法研究 [A] . 徐少卿 . 2010

一个新的基于EFALC的推理算法(英文)

摘要

著录项

相似文献

相关主题

期刊订阅