On Generation of Inductive Hypotheses

A logic of discovery developed as a theoretical background of certain methods of mechanized formation of inductive hypotheses is surveyed. In the first part a logic of induction is developed, based on formal notions of observational and theoretical calculi and inductive inference rules. A logic of suggestion is presented in the second part, and GUHA methods of mechanized formation of hypotheses are formally investigated. Logical, statistical and computational aspects are emphasized.

[1]  Petr Hájek.  Some Logical Problems of Automated Research , 1973, MFCS.

[2]  Jan Rauch,et al.  Ein Beitrag zu der GUHA Methode in der dreiwertigen Logik , 1975 .

[3]  Petr Hájek,et al.  Automatic listing of important observational statements. II , 1973, Kybernetika.

[4]  John P. Cleave,et al.  The Notion of Logical Consequence in the Logic of Inexact Predicates , 1974 .

[5]  Tomáš Havránek,et al.  Some Aspects of Automatic Systems of Statistical Inference , 1977 .

[6]  Petr Hájek.  On Logics of Discovery , 1975, MFCS.

[7]  Olga Stepánková,et al.  A Logical Theory of Robot Problem Solving , 1976, Artif. Intell..

[8]  Tomás Havránek.  Statistics and computability , 1976, Kybernetika.

[9]  Perlindström.  First Order Predicate Logic with Generalized Quantifiers , 1966 .

[10]  Tomáš Havránek.  Statistical quantifiers in observational calculi: An application in GUHA-methods , 1975 .

[11]  Tomás Havránek,et al.  The Approximation Problem in Computational Statistics , 1975, International Symposium on Mathematical Foundations of Computer Science.

[12]  Charles G. Morgan,et al.  Hypothesis Generation by Machine , 1971, Artif. Intell..

[13]  Witold Lipski,et al.  Informational Systems with Incomplete Information , 1976, ICALP.

[14]  Jan Rauch.  A remark to the GUHA method in the three-valued logic , 1975, Kybernetika.

[15]  A. Mostowski.  On a generalization of quantifiers , 1957 .

[16]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[17]  Pavel Pudlák.  Polynomially Complete Problems in the Logic of Automated Discovery , 1975, MFCS.

[18]  Leslie H. Tharp.  The characterization of monadic logic , 1973, Journal of Symbolic Logic.