Formalizing default reasoning
Formalizing Default Reasoning

Fuzzy set systems can be used to solve the problem with uncertain knowledge, and default logic can be used to solve the problem with incomplete knowledge, in some sense. In this paper, based on interval-valued fuzzy sets we introduce a method of inference which combines approximate reasoning and default logic, and give the procedure of transforming monotonic reasoning into default reasoning.