M. Kikuchi and I. Nagasaka (Japan)
ModelBased Reasoning, CaseBased 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