An Inductive Inference System and Its Rationality
An inductive inference system I is introduced to discover new laws about the generality of the theory for a given model describing knowledge of a specific domain. The system I is defined in the first order language and consists of the universal inductive rule, the refutation revision rule and the basic sentence expansion rule. A rule of I can be applied to a theory and a given instance depending on their logical relation, and generates a new version of the theory. When the instances are taken one after another, a version sequence will be generated. The rationality of the system I is demonstrated by the following three properties of the generated version sequence: the convergency, commutativity, and independency. The rationality of the system I is formally proved by constructing a procedure GUINA which generates such version sequences.
KeywordsBelief induction refutation inference rationality
Unable to display preview. Download preview PDF.
- 1.McKeon: The Basic Works of Aristotle, p. 198 (1941)Google Scholar
- 3.Gallier, J.H.: Logic for Computer Science, foundations of automatic theorem proving, pp. 147–158, 162–163, 197–217. John Wiley & Sons, Chichester (1987)Google Scholar
- 4.Li, W.: A Logical Framework for the Evolution of Specifications. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol. 788. Springer, Heidelberg (1994)Google Scholar
- 6.Flew, A.: A Dictionary of Philosophy. Pan Books Ltd. (1979)Google Scholar
- 7.Li, W.: Inductive Processes: A Logical Theory for Inductive Inference. Science in China, Series A 38(9) (September 1995)Google Scholar