著者
鷲尾 隆 元田 浩
出版者
一般社団法人 人工知能学会
雑誌
人工知能 (ISSN:21882266)
巻号頁・発行日
vol.15, no.4, pp.681-692, 2000-07-01 (Released:2020-09-29)

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.