A structured approach to fuzzy abduction based on contraposition property of propositional logic | IEEE Conference Publication | IEEE Xplore