An Inductive Inference System and Its Rationality

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4120)


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.


Belief induction refutation inference rationality 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    McKeon: The Basic Works of Aristotle, p. 198 (1941)Google Scholar
  2. 2.
    Gärdenfors, P.: Belief Revision: An Introduction. Cambridge Tracts in Computer Science. Cambridge University Press, Cambridge (1992)CrossRefGoogle Scholar
  3. 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. 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
  5. 5.
    Paulson, L.: Logic and Computations, pp. 38–50. Cambridge University Press, Cambridge (1987)CrossRefGoogle Scholar
  6. 6.
    Flew, A.: A Dictionary of Philosophy. Pan Books Ltd. (1979)Google Scholar
  7. 7.
    Li, W.: Inductive Processes: A Logical Theory for Inductive Inference. Science in China, Series A 38(9) (September 1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Wei Li
    • 1
  1. 1.State Key Laboratory of Software Development EnvironmentBeihang UniversityBeijingP.R. China

Personalised recommendations