On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design

M. Kikuchi and I. Nagasaka (Japan)


Model-Based Reasoning, Case-Based Reasoning, Induc tion, Abduction, Design, Channel Theory


Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligman's mathematical theory of information flow, construct a formal model of non-deductive inferences. We shall show also that these inferences are interpretable each other, and argue mathematical properties of the model.

Important Links:

Go Back