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 |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/ICTAI.2005.107 | ICTAI |
Keywords | Field | DocType |
inference mechanisms,knowledge base form,existing reasoning result,polynomial time,reasoning,fuzzy logic,reasoning task,extended fuzzy description logic,classical description logic,complex fuzzy information,reasoning technique,extended fuzzy description logics,fuzzy description logic,discrete simulation,knowledge base,description logic | Automated reasoning,T-norm fuzzy logics,Knowledge representation and reasoning,Fuzzy set operations,Computer science,Model-based reasoning,Theoretical computer science,Deductive reasoning,Non-monotonic logic,Monoidal t-norm logic | Conference |
ISSN | ISBN | Citations |
1082-3409 | 0-7695-2488-5 | 2 |
PageRank | References | Authors |
0.37 | 5 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yanhui Li | 1 | 2 | 0.37 |
Xu, Baowen | 2 | 2476 | 165.27 |
Jianjiang Lu | 3 | 259 | 28.23 |
Dazhou Kang | 4 | 179 | 19.93 |
Jie Xu | 5 | 3 | 0.81 |