skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · events · thesis defenses · 1997-1998 · 
 

Thesis Defense - Stolle

 
6/17/1998
3:00pm-5:00pm
ECOT 831

Integrated Multimodal Reasoning for Modeling of Physical Systems
Computer Science PhD Candidate

System identification -- the process of finding a mathematical model of a dynamical black-box system -- is a routine and difficult problem faced by engineers in a variety of domains. This dissertation describes the program PRET, which automates this process by integrating several reasoning modes: qualitative reasoning, qualitative simulation, numerical simulation, geometric reasoning, constraint reasoning, SLD-based resolution, reasoning with abstraction levels, declarative meta-level control, and a simple form of truth maintenance. Given observations, hypotheses, and specifications, the program constructs an ordinary differential equation (ODE) model of the target system. PRET performs both structural identification and parameter estimation. Unlike other modeling programs that map structural or functional descriptions to model fragments, PRET combines hypotheses about the mathematics involved into candidate models and then intelligently tests them against observations about the target system.

PRET's ODE theory is represented declaratively using a logic-based formalism. Typically, in the hierarchy from more-abstract to less-abstract models, the model of choice is the one that is just detailed enough to account for the properties and perspectives that are of interest for the task at hand. A human modeler's reasoning about a candidate model for a given physical system takes place at an abstract level first and resorts to more detailed reasoning later in the modeling process. PRET's reasoning framework is designed to mimic these strategies. The main goal of the work described in this thesis was to design and implement a knowledge representation and reasoning framework that allows a computer program to reason about physical systems and candidate models in such a way as to quickly find the right model at the right abstraction level. This knowledge representation framework was designed to allow easy formulation of knowledge and meta knowledge relative to various abstraction levels.

When modeling physical systems, human engineers make use of various existing modeling techniques. Likewise, PRET integrates various heterogeneous reasoning modules. In order to intelligently orchestrate these different reasoning modes, PRET makes use of abstraction levels and meta-level control techniques that allow PRET to reason about which techniques are appropriate in which situations. This is a first attempt at dynamically controlling multimodal reasoning systems, a task that has recently been identified as an important open research problem by the multimodal reasoning community.

Committee: Elizabeth Bradley, Associate Professor (Chair)
Michael Eisenberg, Associate Professor
Harold (Hal) Gabow, Professor
James Martin, Associate Professor
Harihar Rajaram, Department of Civil, Environmental, and Architectural Engineering

 
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Questions/Comments?
Send email to

Engineering Center Office Tower
ECOT 717
+1-303-492-7514
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:40)
 
.