Reasoning with Fuzzy Description Logics CFALC
In this paper we present a fuzzy extension of description logics ALC combining C-Fuzzy set theory with a classical DL.C-Fuzzy set theory overcomes the error and the shortcoming of Zadehs fuzzy set theory,and it is consistent with normal,natural and classical thinking,logic and concepts.In particular,concepts become fuzzy and,thus,reasoning about imprecise concepts is supported.We will define its syntax,its semantics,describe its properties and present a constraint propagation calculus for reasoning in it.
Fuzzy Description Logics C-Fuzzy set ALC
Siping He Meiqi Fang
School of Information,Renmin University of China,Beijing,Peoples Republic of China
国际会议
长沙
英文
236-239
2008-10-28(万方平台首次上网日期,不代表论文的发表时间)