Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?.
Pablo Trinidad, Cortés, Antonio Ruiz · 2009
In the automated analysis feature models (AAFM), many operations have been defined to extract relevant informa-tion to be used on decision making. Most of the proposals rely on logics to give solution to different operations. This extraction of knowledge using logics is known as deductive reasoning. One of the most useful operations are explana-tions that provide the reasons why some other operations find no solution. However, explanations does not use de-ductive but abductive reasoning, a kind of reasoning that allows to obtain conjectures why things happen. As a first contribution we differentiate between deductive and abduc-tive reasoning and show how this difference affect to AAFM. Secondly, we broaden the concept of explanations relying on abductive reasoning, applying them even when we ob-tain a positive response from other operations. Lastly, we propose a catalog of operations that use abduction to pro-vide useful information. 1.