スケールタイプ制約に基づく科学的法則式の発見(発見科学)

概要

論文の詳細を見る
A novel and generic theory is formulated to characterize the structure of a scientific law/model equation. Based on the theory, an efficient algorithm is developed to discover scientific law/model equations governing an objective process under experimental environments, and the algorithm is implemented to the "Smart Discovery System(SDS)"program. SDS derives the quantitative equations reflecting the scientific first principles underlying the objective process. The power of the proposed approach comes from the use of "scale-type constraints" to limit the mathematically admissible relations among the measurement quantities representing the states of the objective process. These constraints well specify the admissible formulae of the scientific law/model equations, and provide a measure to efficiently reduce the search space of the equation formulae. In this paper, the theoretical foundation to discover the scientific law/model equations and the algorithm of SDS are presented, and its efficiency and practicality are demonstrated and discussed with complex working examples. Since the conventional equation discovery systems could not sufficiently guarantee the mathematical admissibility of the discovered equations, this work is expected to open up a new research field on the scientific equation discovery.
社団法人人工知能学会の論文
2000-07-01