Sciweavers

Share
AAAI
1990

QPC: A Compiler from Physical Models into Qualitative Differential Equations

9 years 10 months ago
QPC: A Compiler from Physical Models into Qualitative Differential Equations
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a qualitative simulation task, which starts with a QDE . and predicts the possible behaviors following from the model . In support of this claim, we present QPC, a model builder that takes the general approach of Qualitative Process Theory [Forbus, 1984], describing a scenario in terms of views, processes, and influences . However, QPC builds QDEs for simulation by QSIM, which gives it access to a variety of mathematical advances in qualitative simulation incorporated in QSIAI . We present QPC and its approach to Qualitative Process Theory, provide an example of building and simulating a model of a non-trivial mechanism, and compare the representation and implementation decisions underlying QPC with those of QPE [Falkenhainer and Forbus . 1988 : Forbus. 1990] .
James M. Crawford, Adam Farquhar, Benjamin Kuipers
Added 06 Nov 2010
Updated 06 Nov 2010
Type Conference
Year 1990
Where AAAI
Authors James M. Crawford, Adam Farquhar, Benjamin Kuipers
Comments (0)
books