Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we ...

Abstract. The aim o/ this paper is to propose a way to extend the framework o/ semantic tableaux in order ta compute several /orma o/ abductive explanations: atomic, conjunctive and in disjunctive formo Our /ocus is on ...

Since its creation by Peirce, the nature of abductive inference has been construed in many ways. Three construing are analyzed, and some of their derivatives, to then examine the possibility for considering abduction as ...

A formal model of abductive inference is provided in which abduction is conceived as expansive and contractive movements through a topological space of theoretical and practical commitments. A pair of presheaves over the ...

Scientific knowledge is gained by the informed (on the basis of theoretic ideas and criteria) examination of data. This can be easily seen in the context of quantitative data, handled with statistical methods. Here we are ...

In this paper we discuss the hypothesis of Dascal (Artificial intelligence as epistemology? In: Villa Nueva E (ed) Information, semantics and epistemology. Blackwell, Oxford, pp 224–241, 1990) according to which the main ...

Since its creation by Peirce, the nature of abductive inference has been construed in many ways. Three construing are analyzed, and some of their derivatives, to then examine the possibility for considering abduction as ...

Abstract Study design Controlled laboratory study. Objectives The purposes of this paper were to investigate (d) whether vastus medialis obliquus ...