An MML-based tool for evaluating the complexity of (stochastic) logic theories

Keywords

Computer science, Turing machine, Theoretical computer science, Universal Turing machine, Simplicity

References

• A Computational Definition of 'Consilience’José Hernández‐Orallo — 1998
• The Best Explanation: Criteria for Theory ChoicePaul Thagard — 1978
• General Bayesian networks and asymmetric languagesJoshua W. Comley, David L. Dowe — 2003
• Inductive Logic ProgrammingGerson Zaverucha, Vı́tor Santos Costa, Aline Paes — 2014
• Requirements Analysis: From Business Views to ArchitectureDavid C. Hay — 2002
• Invited review of the book Statistical and Inductive Inference by Minimum Message LengthPeter Grünwald — 2006
• Relational Bayesian NetworksManfred Jaeger — 1997
• Towards Learning Stochastic Logic Programs from Proof-BanksLuc De Raedt, Kristian Kersting, Sunna Torge — 2005
• Duce, An Oracle-based Approach to Constructive InductionStephen Muggleton — 1987
• Thesis: Computational measures of information gain and reinforcement in inference processesJosé Hernández‐Orallo — 2000
• The PITA system: Tabling and answer subsumption for reasoning under uncertaintyFabrizio Riguzzi, Terrance Swift — 2011
• Minimum Message Length and Kolmogorov ComplexityChristopher S. Wallace — 1999
• Aesthetic Constraints on Theory Selection: A Critique of LaudanJames E. Martin — 1989
• Modeling By Shortest Data Description*J. Rissanen — 1978
• Foundations of Program Evaluation: Theories of PracticeHuey-Tsyh Chen, William R. Shadish, Thomas D. Cook — 1990
• Constructive reinforcement learningJosé Hernández‐Orallo — 2000
• The Independent Choice Logic for Modelling Multiple Agents Under UncertaintyDavid Poole — 1997
• Key Concepts in Model Selection: Performance and Generalizability.Malcolm R Forster — 2000
• Introduction to WordNet: An On-line Lexical DatabaseGeorge A. Miller, Richard Beckwith, Christiane Fellbaum — 1990
• A UNIVERSAL PRIOR FOR INTEGERS AND ESTIMATION BY MINIMUM DESCRIPTION LENGTHJ. Rissanen — 1983

Cited by

• Learning Logical Rules using Minimum Message LengthRuben Sharma, Sebastijan Dumančić, R. King — 2025

Related papers

• Complexity–Based InductionDarrell Conklin, Ian H. Witten — 1994
• FIFTH system for general-purpose connectionist computationAnthony Di Franco — 2015
• Some aspects of studying an optimization or decision problem in different computational modelsKlaus Meer, Gerhard‐Wilhelm Weber — 2002
• Statistical and logical methods for property checkingPrzemysław Daca — 2017
• Machine Learning for Data Management: Problems and SolutionsPedro Domingos — 2018
• Applications of finite model theory : optimisation problems, hybrid modal logics and gamesJames Gate — 2013