A structured approach to fuzzy abduction based on contraposition property of propositional logic

The paper proposes a new approach to fuzzy abduction by extending the contraposition rule of propositional logic. The main difficulty of fuzzy abduction is due to the restriction of single antecedent clause in a fuzzy production rule. When more than one antecedent clause occurs jointly in a fuzzy rule, the membership value of the derived antecedent clauses become equal, which should not be the case in general. The paper overcomes this problem and demonstrates a simple but elegant method to compute premises in a multi-chained reasoning system.