Reinhard Stolle, Elizabeth Bradley  Home/Search
Context Related
| colorado.edu/homes/l...stolleaaai98.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: colorado.edu/home...stolleaaai98 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a program called Pret that automates system identi cation, the process of nding a dynamical model of a black-box system. Pret performs both structural identi cation 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 ... (Update)
Context of citations to this paper: More
.... core of Pret, an automated modeling tool that finds ordinary di#erential equations (ODEs) that model black box dynamical systems [BS96, SB98] The achievement of the three goals listed above is crucial to the success of this modeling task. The contributions described here...
.... sensors, and finally tests those ODEs against the sensor data using a body of mathematical knowledge encoded in first order logic(Stolle Bradley 1998). In order to interact with the target system, pret makes use of sensors and actuators, as shown in Fig. 4. Distilling...
Cited by: More
Reasoning about Nonlinear System Identification - Bradley, Easley, Stolle (2000) (Correct)
Reasoning About Input-Output Modeling of Dynamical Systems - Easley, Bradley (1999) (Correct)
Hybrid Phase-Portrait Analysis in Automated System.. - Easley, Bradley (1999) (Correct)
Similar documents (at the sentence level): More
72.5%: Multimodal Reasoning for Automatic Model Construction - Stolle, Bradley (1998) (Correct)
23.1%: Multimodal Reasoning about Physical Systems - Stolle, Bradley (Correct)
14.3%: Opportunistic Modeling - Stolle, Bradley (1997) (Correct)
Active bibliography (related documents): More All
1.1: Putting Declarative Meta Control to Work - Hogan, Stolle, Bradley (1998) (Correct)
0.4: Declarative Meta Level Control for Logic Programs - Beckstein, Stolle, Tobermann (1995) (Correct)
0.4: Meta-Programming for Generalized Horn Clause Logic - Clemens Beckstein (1996) (Correct)
Similar documents based on text: More All
0.3: Intelligent Sensor Analysis and Actuator Control - Easley, Bradley (Correct)
0.3: Meta-Domains For Automated System Identification - Easley, Bradley (Correct)
0.3: Automatic Construction of Accurate Models of Physical Systems - Bradley, Stolle (1996) (Correct)
Related documents from co-citation: More All
4: Reasoning about sensor data for automated system identification - Bradley, Easley - 1997
4: Automatic construction of accurate models of physical systems - Bradley, Stolle - 1996
3: KAM: A System for Intelligently Guiding Numerical Experimentation by Computer (context) - Yip - 1991
BibTeX entry: (Update)
R. Stolle and E. Bradley. Multimodal reasoning for automatic model construction. In Fifteenth National Conference on Artificial Intelligence (AAAI-98), 1998. Madison, Wisconsin. http://citeseer.ist.psu.edu/stolle98multimodal.html More
@inproceedings{ stolle98multimodal,
author = "Reinhard Stolle and Elizabeth Bradley",
title = "Multimodal Reasoning for Automatic Model Construction",
booktitle = "{AAAI}/{IAAI}",
pages = "181-188",
year = "1998",
url = "citeseer.ist.psu.edu/stolle98multimodal.html" }
Citations (may not include all citations):277 Qualitative process theory (context) - Forbus - 1984
123 Qualitative Reasoning: Modeling and Simulation with incomple.. (context) - Kuipers - 1992
117 Compositional modeling: Finding the right model for the job - Falkenhainer, Forbus - 1991
117 Qualitative simulation - Kuipers - 1986
55 Clausal intuitionistic logic (context) - McCarty - 1988
52 Meta-rules: Reasoning about control (context) - Davis - 1980
39 Numerical behavior envelopes for qualitative models (context) - Kay, Kuipers - 1993
28 Automatic construction of accurate models of physical system.. - Bradley, Stolle - 1996
26 Automated Modeling of Physical Systems (context) - Nayak - 1995
20 A theory of interactions: unifying qualitative and quantitat.. (context) - Williams - 1991
16 Local consistency for ternary numeric constraints - Faltings, Gelle - 1997
16 Metalevel control for logic programs (context) - Gallaire, Lasserre - 1982
15 Negation as inconsistency (context) - Gabbay, Sergot - 1986
13 Is there any need for domain-dependent control information - Ginsberg, Geddis - 1991
13 Is there any need for domaindependent control information - Minton - 1996
13 Reasoning with qualitative models - Kuipers - 1993
10 Automated Qualitative Modeling of Dynamic Physical Systems - Amsterdam - 1992
8 Reasoning about sensor data for automated system identicatio.. - Bradley, Easley - 1998
8 The need for qualitative reasoning in automated modeling: A .. (context) - Capelo, Ironi et al. - 1996
8 Controlling knowledge deduction in a declarative approach (context) - Gallaire, Lasserre - 1979
8 Global solutions for nonlinear systems using qualitative rea.. (context) - Bradley, O'Gallagher et al. - 1997
7 Evolutionary logic programming with RISC - Beckstein, Tobermann - 1992
4 A customized logic paradigm for reasoning about models - Stolle, Bradley - 1996
4 System Dynamics: A Unied Approach (context) - Karnopp, Rosenberg - 1975
4 Meta-programming for generalized horn clause logic - Beckstein, Stolle et al. - 1996
4 and Penberthy (context) - Addanki, Cremonini - 1991
3 Putting declarative meta control to work - Hogan, Stolle et al. - 1998
2 Application of QR techniques within an integrated tool for a.. (context) - unker, Hellinger et al. - 1997
2 System identi- cation | a survey (context) - Astrom, Eykho - 1971
1 System Identication; Theory for the User (context) - Ljung - 1987
1 Scientic Discovery: Computational Explorations of the Creati.. (context) - Langley, Simon et al. - 1987
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC