Title :
Reasoning technique for extended fuzzy description logics
Author :
Li, Yanhui ; Xu, Baowen ; Lu, Jianjiang ; Kang, Dazhou ; Xu, Jie
Author_Institution :
Dept. of Comput. Sci. & Eng., Southeast Univ., Nanjing
Abstract :
A family of extended fuzzy description logics, which includes a framework of syntax, semantics, knowledge base form and reasoning tasks, is proposed to enable representation and reasoning for complex fuzzy information. This paper discusses the reasoning technique for reasoning tasks of extended fuzzy description logics, which adopts classical description logics to discretely simulate extended fuzzy description logic in polynomial time and reuses the existing reasoning result to prove the complexity of reasoning tasks of extended fuzzy description logics
Keywords :
fuzzy logic; inference mechanisms; extended fuzzy description logics; knowledge base form; reasoning; Computer science; Electronic mail; Fuzzy logic; Fuzzy reasoning; Fuzzy sets; Knowledge representation; Laboratories; Polynomials; Programmable logic arrays; Software quality;
Conference_Titel :
Tools with Artificial Intelligence, 2005. ICTAI 05. 17th IEEE International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-2488-5
DOI :
10.1109/ICTAI.2005.107
