|Table of Contents|

[1] Zhou Bo, Lu Jianjiang, Zhang Yafei, Kang Dazhou, et al. New reasoning algorithm based on EFALC [J]. Journal of Southeast University (English Edition), 2006, 22 (4): 496-500. [doi:10.3969/j.issn.1003-7985.2006.04.011]
Copy

New reasoning algorithm based on EFALC()
一个新的基于EFALC的推理算法
Share：

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:
22
Issue:
2006 4
Page:
496-500
Research Field:
Computer Science and Engineering
Publishing date:
2006-12-30

Info

Title:
New reasoning algorithm based on EFALC
一个新的基于EFALC的推理算法
Author(s):
Zhou Bo1, Lu Jianjiang1, Zhang Yafei1, Kang Dazhou2, Li Yanhui2
1Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China
2School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
周波1, 陆建江1, 张亚非1, 康达周2, 李言辉2
1解放军理工大学指挥自动化学院, 南京 210007; 2东南大学计算机科学与工程学院, 南京210096
Keywords:
extended fuzzy description logic;  cut concept;  TBox;  reasoning algorithm
扩展模糊描述逻辑;  截概念;  TBox;  推理算法
PACS:
TP311.13
DOI:
10.3969/j.issn.1003-7985.2006.04.011
Abstract:
The current extended fuzzy description logics lack reasoning algorithms with TBoxes.The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w.r.t.TBoxes is proposed, and a reasoning algorithm is given.This algorithm is designed in the style of tableau algorithms, which is usually used in classical description logics.The transformation rules and the process of this algorithm is described and optimized with three main techniques:recursive procedure call, branch cutting and introducing sets of mesne results. The optimized algorithm is proved sound, complete and with an EXPTime complexity, and the satisfiability problem is EXPTime-complete.
针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法, 提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tableau算法;详细描述了EFALC的转化规则和推理算法的过程, 并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数, 且具有完备性和正确性, 同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.

References:

[1] Baader F, Calvanese D, McGuinness D L, et al.The description logic handbook:theory, implementation, and applications [M].Cambridge:Cambridge University Press, 2003.
[2] Straccia U.Reasoning within fuzzy description logics [J].Journal of Artificial Intelligence Research, 2001, 14(1):137-166.
[3] Straccia U.Transforming fuzzy description logics into classical description logics [A].In:Proceedings of the 9th European Conference on Logics in Artificial Intelligence [C].Lisbon, 2004.385-399.
[4] Lu J J, Xu B W, Li Y H, et al.A family of extended fuzzy description logics [J].International Journal of Business Intelligence and Data Mining, 2006, 1(4):384-400.
[5] Li Y H, Xu B W, Lu J J, et al.An extended fuzzy description logic [J].Journal of Southeast University(Natural Science Edition), 2005, 35(5):683-687.(in Chinese)
[6] Li Y H, Xu B W, Lu J J, et al.On the computational complexity of the extended fuzzy description logic with numerical constraints [J].Journal of Software, 2006, 17(5):968-975.(in Chinese)
[7] Li Y H, Lu J J, Xu B W, et al.A fuzzy extension of description logic ALCH [A].In: Lecture Notes in Artificial Intelligence[C]. Springer, 2005, 3789:152-161.
[8] Donini F M, Massacci F.EXPTIME tableaux for ALC [J].Artificial Intelligence, 2000, 124(1):87-138.

Memo

Memo:
Biographies: Zhou Bo(1982—), male, graduate;Lu Jianjiang(corresponding author), male, doctor, associate professor, jjlu@seu.edu.cn.
Last Update: 2006-12-20