Ponencia
Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?
Autor/es | Trinidad Martín Arroyo, Pablo
Ruiz Cortés, Antonio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2009 |
Fecha de depósito | 2021-12-16 |
Publicado en |
|
Resumen | In the automated analysis feature models (AAFM), many
operations have been defined to extract relevant information
to be used on decision making. Most of the proposals
rely on logics to give solution to different ... In the automated analysis feature models (AAFM), many operations have been defined to extract relevant information 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 explanations that provide the reasons why some other operations find no solution. However, explanations does not use deductive but abductive reasoning, a kind of reasoning that allows to obtain conjectures why things happen. As a first contribution we differentiate between deductive and abductive 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 obtain a positive response from other operations. Lastly, we propose a catalog of operations that use abduction to provide useful information. |
Agencias financiadoras | Comisión Interministerial de Ciencia y Tecnología (CICYT). España Junta de Andalucía |
Identificador del proyecto | TIN2006-00472
TIC-2533 |
Cita | Trinidad Martín Arroyo, P. y Ruiz Cortés, A. (2009). Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?. En VAMOS : 3rd. International Workshop on Variability Modelling of Software-intensive Systems, Sevilla, España. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
trinidad09-VAMOS.pdf | 386.2Kb | [PDF] | Ver/ | |