Default assumption reasoning based on fuzzy description logics

Min Zhang 

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.