Introducing new predicates to model scientific revolution

References

• Aha , D.W. , Lapointe , S. , Ling , C.X. and Matwin , S. Inverting implication with small training sets . Proceedings of the 1994 European Conference on Machine Learning . Berlin. Springer Verlag .
   Google Scholar
• Aha , D.W. , Lapointe , S. , Ling , C.X. and Matwin , S. Learning recursive relations with randomly selected small training sets . Proceedings of the 1994 International Conference of Machine Learning . Berlin. Springer Verlag .
   Google Scholar
• Blumer , A. , Ehrenfeucht , A. , Haussler , D. and Warmuth , M. 1987 . Occam's razor . Information Processing Utters , 24 : 377 – 380 .
   Web of Science ®Google Scholar
• Darden , L. 1990 . “ Diagnosing and fixing faults in theories ” . In Computational Model of Scientific Discovery and Theory Formation , Edited by: Shrager , J. and Langley , P. San Mateo, CA : Morgan Kaufmann .
   Google Scholar
• Gaifman , H. , Osherson , D. and Weinstein , S. 1990 . A reason for theoretical terms . Erkenntnis , 32 (2) : 149 – 159 .
   Google Scholar
• Glymour , C. 1985 . Inductive inference in the limit . Erkenntnis , 22 : 23 – 31 .
   Google Scholar
• Gold , E. 1967 . Language identification in the limit . Information and Control , 10 : 447 – 474 .
   Google Scholar
• Hempel , C. 1963 . “ Implications of Carnap's work for the philosophy of science ” . In The Philosophy of Rudolf Carnap Edited by: Schlipp , P. 685 – 707 . (Open Court)
   Google Scholar
• Kelly , K. and Glymour , C. 1989 . Converging to the truth and nothing but the truth . Philosophy of Science , : 56
   Google Scholar
• Kirschenbaum , M. and Sterling , L. Refinement strategies for inductive learning of simple Prolog program . Proceedings of Twelfth International Conference on Artificial Intelligence (IJCAI‐91) . San Mateo, CA. pp. 757 – 761 . Morgan Kaufmann Publishers .
   Google Scholar
• Kleene , S. 1952 . Finite axiomatizability of theories in the predicate calculus using additional predicate symbols . Memoirs of the American Mathematical Society ,
   Google Scholar
• Kuhn , T. 1970 . The Structure of Scientific Revolutions , 2nd edn , Chicago : Chicago University Press .
   Google Scholar
• Lai , T. 1991 . Discovery as a problem for the inventor . British Journal for the Philosophy of Science , 42 : 327 – 337 .
   Google Scholar
• Langley , P. , Simon , H.A. , Bradshaw , G.L. and Zytkow , J.M. 1987 . Scientific Discovery—Computational Explorations of the Creative Processes , MIT Press .
   Google Scholar
• Lapointe , S. , Ling , C.X. and Matwin , S. Constructive inductive logic programming . Proceedings of the Thirteenth International Conference on Artificial Intelligence IJCAI‐93) . pp. 1130 – 1136 . San Mateo, CA : Morgan Kaufmann Publishers .
   Google Scholar
• Ling , C.X. 1989 . Inventing theoretical terms in inductive learning , Department of Computer Science, University of Pennsylvania . PhD thesis
   Google Scholar
• Ling , C.X. Inductive learning from good examples . Proceedings of Twelfth International Conference on Artificial Intelligence (IJCAI‐91) . San Mateo, CA. pp. 751 – 756 . Morgan Kaufmann Publishers .
   Google Scholar
• Ling , C.X. 1995 . Inventing Necessary Theoretical Terms for Scientific Discovery. Technical Report , Ontario, Canada : Department of Computer Science, University of Western Ontario .
   Google Scholar
• Ling , C.X. and Marinov , M. 1993 . Answering the connectionist challenge: a symbolic model of learning the past tense of English verbs . Cognition , 49 (3) : 235 – 290 .
   PubMed Web of Science ®Google Scholar
• Ling , C.X. and Marinov , M. 1994 . A symbolic model of the nonconscious acquisition of information . Cognitive Science , 18 (4) : 595 – 621 .
   Web of Science ®Google Scholar
• Matheus , C. and Rendell , L. Constructive induction on decision trees . Proceedings of Eleventh International Conference on Artificial Intelligence (IJCAI‐89) . San Mateo, CA. pp. 645 – 650 . Morgan Kaufmann Publishers .
   Google Scholar
• Muggleton , S. Inductive logic programming . Proceedings of First International Conference on Algorithmic Learning Theory . Tokyo. OHMSHA .
   Google Scholar
• Muggleton , S. and Buntine , W. Machine invention of first‐order predicates by inverting resolution . Proceedings of the Fifth International Conference on Machine Learning . Berlin. Springer‐Verlag .
   Google Scholar
• Muggleton , S. and Feng , C. Efficient induction of logic programs . Proceedings of the First International Conference on Algorithmic Learning Theory . Tokyo. OHMSHA .
   Google Scholar
• Osherson , D. and Weinstein , S. 1986 . Identification in the limit of first order structures . Journal of Philosophical Logic , 15 : 55 – 81 .
   Google Scholar
• Osherson , D. and Weinstein , S. 1989 . Paradigms of truth detection . Journal of Philosophical Logic , 18 : 1 – 42 .
   Google Scholar
• Osherson , D. and Weinstein , S. 1990 . On advancing simple hypotheses . Philosophy of Science , 57 : 226 – 227 .
   Google Scholar
• Pagallo , G. and Haussler , D. 1990 . Boolean feature discovery in empirical learning . Machine Learning , 5 (1) : 71 – 100 .
   Web of Science ®Google Scholar
• Plotkin , G. 1970 . “ A note on inductive generalization ” . In Machine Intelligence , Edited by: Meltzer , B. and Michie , D. vol. 5 , 153 – 163 . North‐Holland : Elsevier .
   Google Scholar
• Popper , K. 1959 . The Logic of Scientific Discovery , New York : Basic Books .
   Google Scholar
• Quinlan , J. 1990 . Learning logical definitions from relations . Machine Learning , 5 : 239 – 266 .
   Web of Science ®Google Scholar
• Rendell , L. and Seshu , R. 1990 . Learning hard concepts through constructive induction . Computational Intelligence , 6 : 247 – 270 .
   Google Scholar
• Shapiro , E. 1981 . Inductive Inference of Theories from Facts. Technical Report TR‐192 , Computer Science Department, Yale University .
   Google Scholar
• Shen , W. and Simon , H. Rule creation and rule learning through environmental exploration . Proceedings of Eleventh International Conference on Artificial Intelligence (IJCAI‐89) . San Mateo, CA. Morgan Kaufmann Publishers .
   Google Scholar
• Shen , W. and Simon , H. 1993 . Fitness requirements for scientific theories containing recursive theoretical terms . British Journal for the Philosophy of Science , 44 : 641 – 652 .
   Google Scholar
• Simon , H. 1992 . Scientific discovery as problem solving . International Studies in the Philosophy of Science , 6 : 3 – 14 .
   Google Scholar
• Thagard , P. 1992 . Conceptual Revolutions , Princeton, NJ : Princeton University Press .
   Google Scholar