Enhancing the Plausibility of Law Equation Discovery

Abstract

After the pioneering work of the BACON system, the study in the field of scientific discovery has been directed to the discovery of more plausible law equations to represent the first principles underlying objective systems. The state of the art has only succeeded in a weak sense that the soundness, the reproducibility and the mathematical admissibility of the candidates hold within the experimental measurements. The plausibility should be checked for various objects and/or measurements sharing the common first principles, and only the equations having sufficient generality should be retained. In this paper, anovel principle and an algorithm are proposed to predict some mathematically admissible and consistent equation formulae for a newly given set of quantities from the candidate law equations obtained for another set of quantities in advance. The soundness and the reproducibility of the predicted equations are confirmed through the measurements. The law equatio...