Thesis: Computational measures of information gain and reinforcement in inference processes

and

[1]  Stephen Muggleton,et al.  A Learnability Model for Universal Representations and Its Application to Top-down Induction of Decision Trees , 1995, Machine Intelligence 15.

[2]  David W. Aha,et al.  Special Issue on Lazy Learning , 1997 .

[3]  Jaakko Hintikka,et al.  On Semantic Information , 1970 .

[4]  Nils J. Nilsson,et al.  Eye on the Prize , 1995, AI Mag..

[5]  Murray Shanahan,et al.  Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.

[6]  Carl G. Hempel,et al.  A purely syntactical definition of confirmation , 1943, Journal of Symbolic Logic.

[7]  Edgar Sommer,et al.  An Approach to Quantifying the Quality of Induced Theories , 1995 .

[8]  J. Ross Quinlan,et al.  C4.5: Programs for Machine Learning , 1992 .

[9]  H. Jeffreys.  A Treatise on Probability , 1922, Nature.

[10]  Stephen Muggleton,et al.  Machine Invention of First Order Predicates by Inverting Resolution , 1988, ML.

[11]  José Hernández-Orallo,et al.  Distinguishing Abduction and Induction under Intensional Complexity , 1998 .

[12]  Karl R. Popper,et al.  Why probabilistic support is not inductive , 1987, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[13]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[14]  M. Dummett.  The justification of deduction , 1974 .

[15]  José Hernández-Orallo,et al.  A Strong Complete Schmema for Inductive Functional Logic Programming , 1999, ILP.

[16]  H A SIMON,et al.  HUMAN ACQUISITION OF CONCEPTS FOR SEQUENTIAL PATTERNS. , 1963, Psychological review.

[17]  Stuart J. Russell,et al.  Do the right thing - studies in limited rationality , 1991 .

[18]  Ernest Nagel,et al.  Introduction to logic scientific method , 1934 .

[19]  Jorma Rissanen,et al.  Fisher information and stochastic complexity , 1996, IEEE Trans. Inf. Theory.

[20]  Mario Martin.  Reinforcement Learning for Embedded Agents facing Complex Tasks , 1998 .

[21]  Enric Plaza,et al.  Flexible Integration of Multiple Learning Methods into a Problem Solving Architecture , 1994, ECML.

[22]  William Whewell,et al.  The philosophy of the inductive sciences , 1847 .

[23]  P. Flach.  Conjectures: an inquiry concerning the logic of induction , 1995 .

[24]  Thomas G. Evans,et al.  A heuristic program to solve geometric-analogy problems , 1964, AFIPS '64 (Spring).

[25]  C. Brand,et al.  The g Factor: General Intelligence and Its Implications , 1996 .

[26]  Stephen Muggleton,et al.  Inductive Logic Programming: Issues, Results and the LLL Challenge (abstract) , 1998, ECAI.

[27]  J. Hintikka.  Logic, language-games and information : Kantian themes in the philosophy of logic , 1973 .

[28]  W. Lewis Johnson.  Needed: a new test of intelligence , 1992, SGAR.

[29]  David Lindley,et al.  Logical foundations of probability , 1951 .

[30]  Rolf Herken,et al.  The Universal Turing Machine: A Half-Century Survey , 1992 .

[31]  Eva Armengol,et al.  Integrating Induction in a Case-Based Reasoner , 1994, EWCBR.

[32]  Richard Reviewer-Granger.  Unified Theories of Cognition , 1991, Journal of Cognitive Neuroscience.

[33]  Paul Thagard,et al.  The Best Explanation: Criteria for Theory Choice , 1978 .

[34]  Jürgen Schmidhuber,et al.  Reinforcement Learning with Self-Modifying Policies , 1998, Learning to Learn.

[35]  Diplomarbeit Leipzig.  Reasoning about Rational, but Not Logically Omniscient Agents , 1996 .

[36]  Edgar Sommer.  FENDER: An Approach to Theory Restructuring (Extended Abstract) , 1995, ECML.

[37]  Herbert A. Simon,et al.  Applications of machine learning and rule induction , 1995, CACM.

[38]  A. Kolmogorov.  Three approaches to the quantitative definition of information , 1968 .

[39]  J. Hernández-Orallo,et al.  Inductive Inference of Functional Logic Programs by Inverse Narrowing ∗ , 1998 .

[40]  J. R. Quinlan.  Learning Logical Definitions from Relations , 1990 .

[41]  Andrew W. Moore,et al.  Reinforcement Learning: A Survey , 1996, J. Artif. Intell. Res..

[42]  WollowskiMichael,et al.  A formalization of the Turing test , 1995 .

[43]  Stephen Muggleton,et al.  Bayesian inductive logic programming , 1994, COLT '94.

[44]  Ming Li,et al.  An Introduction to Kolmogorov Complexity and Its Applications , 2019, Texts in Computer Science.

[45]  J. Girard,et al.  Proofs and types , 1989 .

[46]  G. Chaitin.  Gödel's theorem and information , 1982 .

[47]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[48]  M. Black.  Review: Karl Menger, Tri-Operational Algebra; Ferdinand L. Brown, Remarks Concerning Tri-Operational Algebra; Carl G. Hempel, Studies in the Logic of Confirmation , 1945 .

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

[50]  Jon Dorling,et al.  THE STRUCTURE OF SCIENTIFIC INFERENCE* , 1975, The British Journal for the Philosophy of Science.

[51]  Ray J. Solomonoff,et al.  A Formal Theory of Inductive Inference. Part I , 1964, Inf. Control..

[52]  Ray J. Solomonoff,et al.  Complexity-based induction systems: Comparisons and convergence theorems , 1978, IEEE Trans. Inf. Theory.

[53]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, STOC '84.

[54]  J. Hernández-Orallo.  Especificación formal de Protocolos Criptográficos en Cálculo de Situaciones , 2000 .

[55]  Shlomo Zilberstein,et al.  Resource-bounded reasoning in intelligent systems , 1996, CSUR.

[56]  K. Popper,et al.  A proof of the impossibility of inductive probability , 1983, Nature.

[57]  Ashwin Srinivasan,et al.  Compression, Significance, and Accuracy , 1992, ML.

[58]  Shlomo Zilberstein,et al.  Models of Bounded Rationality , 1995 .

[59]  Ray J. Solomonoff,et al.  The Application of Algorithmic Probability to Problems in Artificial Intelligence , 1985, UAI.

[60]  J. Hernández-Orallo,et al.  On Autistic Interpretations of Occam’s Razor: Explanatory and Creative Alternatives to the MDL principle , 2000 .

[61]  Ian H. Witten,et al.  Complexity-based induction , 2004, Machine Learning.

[62]  Peter M. Vishton,et al.  Rule learning by seven-month-old infants. , 1999, Science.

[63]  Joseph Brent.  Charles Sanders Pierce - a life , 1993 .

[64]  Alberto Mura,et al.  When Probabilistic Support Is Inductive , 1990, Philosophy of Science.

[65]  L. Sais,et al.  Inductive reasoning is sometimes , 1996 .

[66]  K. Popper,et al.  Conjectures and refutations;: The growth of scientific knowledge , 1972 .

[67]  Eric Joel Hovitz.  Computation and action under bounded resources , 1991 .

[68]  John H. Holland,et al.  Induction: Processes of Inference, Learning, and Discovery , 1987, IEEE Expert.

[69]  Hans P. Moravec.  Robot: Mere Machine to Transcendent Mind , 1998 .