Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Journal of Logic Programming
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
A theory of interactions: unifying qualitative and quantitative algebraic reasoning
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
Automated qualitative modeling of dynamic physical systems
Automated qualitative modeling of dynamic physical systems
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Automated modelling of physical systems
Automated modelling of physical systems
Reasoning about Sensor Data for Automated System Identification
IDA '97 Proceedings of the Second International Symposium on Advances in Intelligent Data Analysis, Reasoning about Data
Controlling knowledge deduction in a declarative approach
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
A formal hybrid modeling scheme for handling discontinuities in physical system models
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Is there any need for domain-dependent control information? a reply
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Reasoning about nonlinear system identification
Artificial Intelligence
Reasoning about Input-Output Modeling of Dynamical Systems
IDA '99 Proceedings of the Third International Symposium on Advances in Intelligent Data Analysis
Information granulation in automated modeling
Granular computing
Communicable Knowledge in Automated System Identification
Computational Discovery of Scientific Knowledge
Generalized physical networks for automated model building
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
This paper describes a program called PRET that automates system identification, the process of finding a dynamical model of a black-box system. PRET performs both structural identification and parameter estimation by integrating several reasoning modes: qualitative reasoning, qualitative simulation, numerical simulation, geometric reasoning, constraint reasoning, resolution, reasoning with abstraction levels, declarative meta-level control, and a simple form of truth maintenance.Unlike other modeling programs that map structural or functional descriptions to model fragments, PRET combines hypotheses about the mathematics involved into candidate models that are intelligently tested against observations about the target system.We give two examples of system identification tasks that this automated modeling tool has successfully performed. The first, a simple linear system, was chosen because it facilitates a brief and clear presentation of PRET's features and reasoning techniques. In the second example, a difficult real-world modeling task, we show how PRET models a radio-controlled car used in the University of British Columbia's soccer-playing robot project.