Experimenting and theorizing in theory formation
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Scientific discovery: computational explorations of the creative process
Scientific discovery: computational explorations of the creative process
Discovering admissible simultaneous equations of large scale systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Determining Arguments of Invariant Functional Descriptions
Machine Learning
Declarative Bias in Equation Discovery
ICML '97 Proceedings of the Fourteenth International Conference on Machine Learning
Enhancing the Plausibility of Law Equation Discovery
ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning
Discovering admissible models of complex systems based on scale-types and identity constraints
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
The "laws" in science are not the relations established by only the objective features of the nature. They have to be consistent with the assumptions and the operations commonly used in the study of scientists identifying these relations. Upon this consistency, they become communicable among the scientists. The objectives of this literature are to discuss a mathematical foundation of the communicability of the "scientific law equation" and to demonstrate "Smart Discovery System (SDS)" to discover the law equations based on the foundation. First, the studies of the scientific law equation discovery are briefly reviewed, and the need to introduce an important communicability criterion called "Mathematical Admissibility" is pointed out. Second, the axiomatic foundation of the mathematical admissibility in terms of measurement processes and quantity scale-types are discussed. Third, the strong constraints on the admissible formulae of the law equations are shown based on the criterion. Forth, the SDS is demonstrated to discover law equations by successively composing the relations that are derived from the criterion and the experimental data. Fifth, the generic criteria to discover communicable law equations for scientists are discussed in wider view, and the consideration of these criteria in the SDS is reviewed.