Advertisement

An Inductive Inference System and Its Rationality

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

Abstract

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.

Keywords

Belief induction refutation inference rationality 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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