Semantic Analysis of Inductive Reasoning

Abstract Inductive learning is analysed from the semantic point of view. Processes of forming generalisations of concepts determined by examples of expert decisions are discussed. It is claimed that since concepts are relative to background knowledge, their inductive generalisations can be determined only approximately. Induction rules are defined providing a method of forming generalisations preserving positive and/or negative instances of concepts.

[1]  G. Pólya.  Mathematics and Plausible Reasoning , 1958 .

[2]  Frederick Hayes-Roth,et al.  An interference matching technique for inducing abstractions , 1978, CACM.

[3]  Charles G. Morgan,et al.  Automated Hypothesis Generation Using Extended Inductive Resolution , 1975, IJCAI.

[4]  Rudolf Carnap,et al.  The Aim of Inductive Logic , 1966 .

[5]  Ewa Orlowska,et al.  Logic of nondeterministic information , 1985, Stud Logica.

[6]  Rudolf Carnap,et al.  The continuum of inductive methods , 1952 .

[7]  C. Hempel.  Philosophy of Natural Science , 1966 .

[8]  Philip J. Stone,et al.  Experiments in induction , 1966 .

[9]  Zdzislaw Pawlak,et al.  Information systems theoretical foundations , 1981, Inf. Syst..

[10]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[11]  Henry Ely Kyburg,et al.  The logical foundations of statistical inference , 1974 .

[12]  Frederick Hayes-Roth.  Patterns of induction and associated knowledge acquisition algorithms , 1976 .

[13]  Steven A. Vere,et al.  Inductive learning of relational productions , 1977, SGAR.

[14]  Zdzisław Pawlak,et al.  Logical foundations of knowledge representation , 1984 .

[15]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[16]  W. Zakowski.  APPROXIMATIONS IN THE SPACE (U,π) , 1983 .

[17]  Tom M. Mitchell,et al.  Generalization as Search , 2002 .

[18]  Patrick Henry Winston,et al.  Learning structural descriptions from examples , 1970 .

[19]  Bernard Meltzer.  The Semantics of Induction and the Possibility of Complete Systems of Inductive Inference , 1970, Artif. Intell..

[20]  T. Havránek,et al.  Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory , 1978 .

[21]  Eliana Minicozzi,et al.  Some Natural Properties of Strong-Identification in Inductive Inference , 1976, Theor. Comput. Sci..

[22]  S. Vere.  Induction of concepts in the predicate calculus , 1975, IJCAI 1975.