| 一个新的基于EFALC的推理算法 |
| |
| 引用本文： | 周波,陆建江,张亚非,康达周,李言辉. 一个新的基于EFALC的推理算法[J]. 东南大学学报, 2006, 22(4): 496-500 |
| |
| 作者姓名： | 周波 陆建江 张亚非 康达周 李言辉 |
| |
| 作者单位： | 解放军理工大学指挥自动化学院 南京210007(周波，陆建江，张亚非)，东南大学计算机科学与工程学院 南京210096(康达周，李言辉) |
| |
| 基金项目： | The National Natural Science Foundation of China （No. 60403016）, the Weaponry Equipment Foundation of PLA Equipment Ministry （ No. 51406020105JB8103）. |
| |
| 摘 要： | 针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.
|
| 关 键 词： | 扩展模糊描述逻辑 截概念 TBox 推理算法 |
| 收稿时间： | 2006-04-25 |
New reasoning algorithm based on EFALC |
| |
| Zhou Bo,Lu Jianjiang,Zhang Yafei,Kang Dazhou,Li Yanhui. New reasoning algorithm based on EFALC[J]. Journal of Southeast University(English Edition), 2006, 22(4): 496-500 |
| |
| Authors: | Zhou Bo Lu Jianjiang Zhang Yafei Kang Dazhou Li Yanhui |
| |
| Affiliation: | 1 Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China;2 School of Computer Science and Engineering, Southeast University, Nanjing 210096, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
