This article will introduce abductive case-based reasoning (CBR) and attempt to show that abductive CBR and deductive CBR can be integrated in clinical process and problem solving. Then it provides a unified formalization for integration of abduction, abductive CBR, deduction and deductive CBR. This article also investigates abductive case retrieval and deductive case retrieval using similarity...

In this paper we describe our experiment using an extension of the deductive database system LDL ++ AOTZ93, AOZ93, AO93] to express situations that need spatio-temporal reasoning in Sea monitoring. The temporal extension we used is LDLT DM94], a temporal database proposal that integrates the expressiveness and deductive power of the logic language LDL NT88] with the possibility to perform tempo...

We present a query language, called the Datalog, for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirable, an alternative method for capturing these two features in Datalog based on the idea of program transformation and compilation is proposed. A reduction technique for Datalog programs to Datalog is discussed. The eleganc...

There has been a great expansion of research into human reasoning at all of Marr's explanatory levels. There is a tendency for this work to progress within a level largely ignoring the others which can lead to slippage between levels (Chater et al., 2003). It is argued that recent brain imaging research on deductive reasoning-implementational level-has largely ignored the new paradigm in reason...

We describe a method for reasoning about programs that uses a mixture of abductive, inductive and deductive inference. It allows us to synthesize a pre/post spec for a program procedure, without requiring any information about the procedure’s calling context. The method can be used to obtain partial specifications for portions of large code bases in the millions of lines of code. The method beg...

B. Bouchon-Meunier J. Delechamp C. Marsala R. Mesiar M. Rifqi LIP6, UPMC, case 169, 4 place Jussieu LCPC 58 boulevard Lefebvre LIP6, UPMC, case 169, 4 place Jussieu Dep. Mathem., FCE STU Radilinského 11 LIP6, UPMC, case 169, 4 place Jussieu 75252 Paris Cédex 05 France 75015 Paris France 75252 Paris Cédex 05 France 813 68 Bratislava Slovakia 75252 Paris Cédex 05 France Bernadette.BouchonMeunier@...

We consider the problem of rational uncertainty about unproven mathematical statements, which Gödel and others have remarked on. Using Bayesian-inspired arguments we build a normative model of fair bets under deductive uncertainty which draws from both probability and the theory of algorithms. We comment on connections to Zeilberger’s notion of “semi-rigorous proofs”, particularly that inherent...

This chapter considers the two main approaches to deductive thinking: theories based on formal rules of inference postulate that deduction is a syntactic process akin to a logical proof; the mental model theory postulates that it is a semantic process akin to the search for counterexamples. Experimental evidence bears out the predictions of the model theory: the more models needed for a deducti...