Qualitative reasoning, dimensional analysis and computer algebra
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
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
Discovering Admissible Simultaneous Equation Models from Observed Data
EMCL '01 Proceedings of the 12th European Conference on Machine Learning
Toward the Discovery of First Principle Based Scientific Law Equations
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Development of SDS2: Smart Discovery System for Simultaneous Equation Systems
DS '98 Proceedings of the First International Conference on Discovery Science
The Melting Pot of Automated Discovery: Principles for a New Science
DS '99 Proceedings of the Second International Conference on Discovery Science
Computational Revision of Quantitative Scientific Models
DS '01 Proceedings of the 4th International Conference on Discovery Science
Data mining tasks and methods: Equation fitting: methodology for equation fitting
Handbook of data mining and knowledge discovery
Data mining tasks and methods: Equation fitting: equation finders
Handbook of data mining and knowledge discovery
Automated Discovery of Numerical Approximation Formulae via Genetic Programming
Genetic Programming and Evolvable Machines
Integrating Domain Knowledge in Equation Discovery
Computational Discovery of Scientific Knowledge
Communicability Criteria of Law Equations Discovery
Computational Discovery of Scientific Knowledge
Quantitative Revision of Scientific Models
Computational Discovery of Scientific Knowledge
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
Modelling experiments in scientific discovery
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Critical hypersurfaces and the quantity space
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Critical hypersurfaces and the quantity space
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
DS'10 Proceedings of the 13th international conference on Discovery science
Automated Discovery Of Empirical Laws
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper we examine the problem of determining arguments of invariant functional descriptions from incomplete observational data. Physical laws are one example of invariant functional descriptions. For such functions, we show that one can test the relevance of the function's arguments even though their values remain constant throughout the observational data. We present a method, called COPER, for discovering invariant functional descriptions. COPER eliminates irrelevant arguments, generates additional relevant arguments, and generates a functional formula. We focus on the first two of these features, giving two examples of how the methodology can be applied to determining arguments of physical laws.