会议专题

REVISIT BOOLEAN LATTICE BASED FUZZY DESCRIPTION LOGIC

Fuzzy Description Logics are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by uncertainty and vagueness. A well studied solution is to extend Description Logics with fuzzy sets theory. To solve implication problerns in this kind of Fuzzy Description Logics, Boolean Lattice based Fuzzy Description Logics is revisited. This paper shows that compared with fuzzy sets based Fuzzy Description Logics, the new formalism not only eliminates the counter-intuitive implication problem, but also possesses simply and efficient reasoning algorithms. Boolean Lattice based Fuzzy Description Logic also find its potential application in debugging knowledge base and distributed Fuzzy Description Logics.

Ontology Fuzzy Description Logic knowledge representation and reasoning uncertain knowledge Boolean Lattice

SHA-SBA FENG YONG-GANG ZHANG JI-GUI SUN

College of Computer Science and Technology, Jilin University, Changchun 130012, China College of Computer Science and Technology, Jilin University, Changchun 130012, China Symbolic Lab o

国际会议

2009 International Conference on Machine Learning and Cybernetics(2009机器学习与控制论国际会议)

保定

英文

297-301

2009-07-12(万方平台首次上网日期,不代表论文的发表时间)