Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
System identification: theory for the user
System identification: theory for the user
Scientific discovery: computational explorations of the creative process
Scientific discovery: computational explorations of the creative process
Clausal intuitionistic logic I. Fixed-point semantics
Journal of Logic Programming
Intelligence in scientific computing
Communications of the ACM
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
Qualitative reasoning about physical systems: a return to roots
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Compositional modeling: finding the right model for the job
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Recent advances in qualitative physics
Recent advances in qualitative physics
Automated modeling of physical systems
Automated modeling of physical systems
Applied system identification
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Reasoning with qualitative models
Artificial intelligence in perspective
Multimodal reasoning for automatic model construction
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The computational support of scientific discovery
International Journal of Human-Computer Studies - Special issue on Machine Discovery
Reasoning about nonlinear system identification
Artificial Intelligence
Global solutions for nonlinear systems using qualitative reasoning
Annals of Mathematics and Artificial Intelligence
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
Discovering Empirical Equations from Robot-Collected Data
ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems
Reasoning about Input-Output Modeling of Dynamical Systems
IDA '99 Proceedings of the Third International Symposium on Advances in Intelligent Data Analysis
Integrated multimodal reasoning for modeling of physical systems
Integrated multimodal reasoning for modeling of physical systems
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Automated mathematical modeling from experimental data: anapplication to material science
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
| Hi-index | 0.00 |
We describe the program Pret, an engineering tool for nonlinear system identification, which is the task of inferring a (possibly nonlinear) ordinary differential equation model from external observations of a target system's behavior. Prethas several characteristics in common with programs from the fields of machine learning and computational scientific discovery. However, since Pretis intended to be an engineer's tool, it makes different choices with regard to the tradeoff between model accuracy and parsimony. The choice of a good model depends on the engineering task at hand, and Pretis designed to let the user communicate the task-specific modeling constraints to the program. Pret'sinputs, its outputs, and its internal knowledge base are instances of communicable knowledge--knowledge that is represented in a form that is meaningful to the domain experts that are the intended users of the program.