Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Scientific discovery: computational explorations of the creative process
Scientific discovery: computational explorations of the creative process
Machine discovery in chemistry: new results
Artificial Intelligence
CVODE, a stiff/nonstiff ODE solver in C
Computers in Physics
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
Creating creativity: user interfaces for supporting innovation
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 1
The computational support of scientific discovery
International Journal of Human-Computer Studies - Special issue on Machine Discovery
Inducing Process Models from Continuous Data
ICML '02 Proceedings of the Nineteenth International Conference on Machine Learning
Declarative Bias in Equation Discovery
ICML '97 Proceedings of the Fourteenth International Conference on Machine Learning
Generalized Physical Networks for Automated Model Building
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Computational Revision of Quantitative Scientific Models
DS '01 Proceedings of the 4th International Conference on Discovery Science
Assisting Model-Discovery in Neuroendocrinology
DS '01 Proceedings of the 4th International Conference on Discovery Science
VML: A View Modeling Language for Computational Knowledge Discovery
DS '01 Proceedings of the 4th International Conference on Discovery Science
Theory Revision in Equation Discovery
DS '01 Proceedings of the 4th International Conference on Discovery Science
Deductive Composition of Astronomical Software from Subroutine Libraries
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Building modeling tools that support verification, validation, and testing for the domain expert
WSC '05 Proceedings of the 37th conference on Winter simulation
Beyond ontologies: Toward situated representations of scientific knowledge
International Journal of Human-Computer Studies
Hi-index | 0.00 |
Most AI research on scientific model construction aims to automate this process using discovery techniques. In contrast, we describe an interactive environment for model construction that lets the user construct, edit, and visualize scientific models, use them to make predictions, and call on discovery methods to revise them in ways that better fit the available data. The environment relies on a new formalism that embeds mathematical equations, which are familiar to many scientists, within distinct processes, which can encode background knowledge used to constrain model revision. We report initial studies on ecosystem modeling that suggest this environment is more effective than earlier approaches and more transparent to users. In closing, we discuss related work on modeling environments and model revision, then suggest directions for future research.