Study on deduction process and inference methods of decision implications

Decision implication is a basic form of knowledge representation of Formal Concept Analysis in the setting of decision-making. Inference rules are generally utilized to infer new decision implications from a given set of decision implications. Three inference rules have been proposed for the deduction process on decision implications, i.e., AUGMENTATION, COMBINATION and CON-COMBINATION. How to apply the inference rules, however, is not discussed in literature. To this end, we studied the properties of the inference rules and found that in the deduction process, Augmentation should be applied only once and that both Combination and CON-COMBINATION need to be applied at most inverted right perpendicularlog(2) minverted left perpendicular times. Moreover, by analyzing the inter-changeabilities of the inference rules, we found that AUGMENTATION and COMBINATION are interchangeable, but AUGMENTATION and CON-COMBINATION are not. Based on these results, three inference methods were then proposed and their efficiencies were verified by experiments. The experimental results show that one of the inference methods, namely, applying Augmentation once and then applying CON-COMBINATION at most inverted right perpendicularlog(2) minverted left perpendicular times, is the most efficient inference method.

Automated summary

This article discusses the application and interchangeability of decision implication inference rules, and proposes three inference methods. One of the methods, applying augmentation once and then applying CON-COMBINATION at most inverted right perpendicularlog(2) minverted left perpendicular times, is proven to be the most efficient.