Default assumption reasoning based on fuzzy description logics
Department of Computer Engineering JiMei University, Xiamen, China
Fuzzy description logics (DLs for short) provide a convenient tool for dealing with inconsistency and uncertainty. People can infer with uncertain and incomplete information. According to the characteristics and requirement of the knowledge representation, fuzzy DLs can play an important role in the commonsense reasoning. Default rules express concise pieces of knowledge having implicit exceptions, which is appropriate for reasoning under incomplete information. Default assumption reasoning based on fuzzy DLs is proposed. Possibility theory is used for representing both uncertainty and defeasibility. Inference service is considered in the logic and algorithms are provided for it.