Hypothetical reasoning makes it possible to reason with incomplete information in a wide range of knowledge-based applications. It is usually necessary to constrain the generation of hypotheses, so to avoid inconsistent sets or to infer new hypotheses from already made ones. These requirements are met by several abductive frameworks. In order to tackle many practical cases, however, it would also be desirable to support the dynamical acquisition of new facts, which can confirm the hypotheses, or possibly disconfirm them, leading to the generation of alternative sets of hypotheses. In this paper, we present a system which supports the generation of hypotheses, as well as their confirmation or disconfirmation. We also describe the implementation of an abductive proof procedure, used as a reasoning engine for the generation and (dis)confirmation of hypotheses.
The CHR-based implementation of a system for generation and confirmation of hypotheses
ALBERTI, Marco;GAVANELLI, Marco;LAMMA, Evelina
2005
Abstract
Hypothetical reasoning makes it possible to reason with incomplete information in a wide range of knowledge-based applications. It is usually necessary to constrain the generation of hypotheses, so to avoid inconsistent sets or to infer new hypotheses from already made ones. These requirements are met by several abductive frameworks. In order to tackle many practical cases, however, it would also be desirable to support the dynamical acquisition of new facts, which can confirm the hypotheses, or possibly disconfirm them, leading to the generation of alternative sets of hypotheses. In this paper, we present a system which supports the generation of hypotheses, as well as their confirmation or disconfirmation. We also describe the implementation of an abductive proof procedure, used as a reasoning engine for the generation and (dis)confirmation of hypotheses.I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.