DocumentCode
2832659
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
fYear
2005
fDate
16-16 Nov. 2005
Lastpage
666
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence, 2005. ICTAI 05. 17th IEEE International Conference on
Conference_Location
Hong Kong
ISSN
1082-3409
Print_ISBN
0-7695-2488-5
Type
conf
DOI
10.1109/ICTAI.2005.107
Filename
1563010
Link To Document