Model-Baded Abduction via Dual Resolution

Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

“…Example 3. Abduction via semantic tableau [14] and resolution [39] generates a cutting, and then an explanatory relation. We illustrate this fact for abduction via semantic tableau in the framework of the propositional logic 5 .…”

Abduction viaC-tableaux and δ-resolution

“…In this section we extend to the semantics of C-structures the δ-resolution calculus, introduced in (Soler-Toscano, 2005) and later developed in (Soler-Toscano et al, 2006b) for propositional logic. We will use δ-resolution to obtain explanatory hypotheses for a certain set of formulae.…”

“…The added novelty is that we combine two calculi used previously, but separately, to solve abductive problems. These calculi are based on semantic tableaux and resolution (Reyes-Cabello et al, 2006;Soler-Toscano et al, 2006b). Our approach is specially useful and hopefully interesting for abductive applications in contexts with finite domains.…”

Metamodeling abduction

“…By working with classical consequence relation, semantic tableaux method has been used in Aliseda (1997), Aliseda (2006) and Reyes et al (2006) and dual resolution is the calculus for abduction introduced Soler et al (2006). On the other hand,  K ,  W and  R , defined as supraclassical consequence relations, verify modus ponens and deduction theorem, and such first and second ⊥-rules could be settled.…”