Scientific discovery: computational explorations of the creative process
Scientific discovery: computational explorations of the creative process
Symbolic knowledge and neural networks: insertion, refinement and extraction
Symbolic knowledge and neural networks: insertion, refinement and extraction
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
A Divide and Conquer Approach to Learning from Prior Knowledge
ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning
Discovering Communicable Scientific Knowledge from Spatio-Temporal Data
ICML '01 Proceedings of the Eighteenth International Conference on Machine Learning
The Computer-Aided Discovery of Scientific Knowledge
DS '98 Proceedings of the First International Conference on Discovery Science
DS '00 Proceedings of the Third International Conference on Discovery Science
Law discovery using neural networks
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Automated theory formation in mathematics
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Rediscovering physics with BACON.3
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Extracting regression rules from neural networks
Neural Networks
Revising Engineering Models: Combining Computational Discovery with Knowledge
ECML '02 Proceedings of the 13th European Conference on Machine Learning
Computational Discovery of Communicable Knowledge: Symposium Report
DS '01 Proceedings of the 4th International Conference on Discovery Science
Discovering Polynomials to Fit Multivariate Data Having Numeric and Nominal Variables
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Theory Revision in Equation Discovery
DS '01 Proceedings of the 4th International Conference on Discovery Science
Revising Qualitative Models of Gene Regulation
DS '02 Proceedings of the 5th International Conference on Discovery Science
An interactive environment for scientific model construction
Proceedings of the 2nd international conference on Knowledge capture
An interactive environment for the modeling and discovery of scientific knowledge
International Journal of Human-Computer Studies
Incorporating model identifiability into equation discovery of ODE systems
Proceedings of the 10th annual conference companion on Genetic and evolutionary computation
| Hi-index | 0.01 |
Research on the computational discovery of numeric equations has focused on constructing laws from scratch, whereas work on theory revision has emphasized qualitative knowledge. In this paper, we describe an approach to improving scientific models that are cast as sets of equations. We review one such model for aspects of the Earth ecosystem, then recount its application to revising parameter values, intrinsic properties, and functional forms, in each case achieving reduction in error on Earth science data while retaining the communicability of the original model. After this, we consider earlier work on computational scientific discovery and theory revision, then close with suggestions for future research on this topic.