PC: A Compiler from Physical Models into Qualit at ive Different ial Equations*
نویسندگان
چکیده
Qualitative reasoning can, and should, be decomposed into a model-buibding task, which creates a qualitative differential equation (&DE) as a model of a physical situation, and a qualitative simuhtion task, which starts with a QDE, and predicts the possible behaviors following from the model. In support of this claim, we present &PC, a model builder that takes the general approach of Qualitative Process Theory [Forbus, 19841, describing a scenario in terms of views, processes, and influences. However, &PC builds &DE s f or simulation by QSIM, which gives it access to a variety of mathematical advances in qualitative simulation incorporated in QSIM. 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 &PC with those of QPE [Falkenhainer and Forbus, 1988; Forbus, 19901.
منابع مشابه
Constraints for the Estimation of Displacement Vector Fields From Image Sequences
Smoothness constraints have been used to f a c i l i tate the estimation of displacement vector f i e lds . Differing from HORN and SCHUNCK 81 who employ a general smoothness requirement, this contribution reports an analysis of an "oriented smoothness" requirement: a change in the displacement vector f i e ld is only constrained in the direction perpendicular to the characteristic gray value v...
متن کاملDIFFUSE ARTER IAL ECTASIA IN MARFAN SYNDROME
A 22 year old male referred with palpitation. General appearance and physical exam impressed us in that the patient has Marfan syndrome. Cardiac catheterization showed diffuse arterial ectasia. We found no previous report of this generalized diffuse ectasia.
متن کامل’ s Note : EŒect of inhomogeneity on cosmological models
In the Einstein stat ic Universe the gravit ational self-attract ion of homogeneously dist ribut ed matter and the cosmological repulsion implied by the cosmological constant balance each other. Eddington [1] showed in 1930 that this balance is unstable: any departure from it will cause the Universe to either expand or collapse away from the init ial state. The perturbed solut ions are the Frie...
متن کاملIntegrated Flight Mechanics and Aeroelastic Aircraft Modeling using Object-Oriented Modeling Techniques
In this paper a software implementation is proposed of integrated flight mechanics / aeroelastic aircraft models, using object-oriented modeling techniques. Model development involves integrating a rigid aircraft simulation model with aeroelastic flutter analysis models. The main application is primary flight control law design, in which most of the criteria are of flight mechanical nature. For...
متن کاملPVT Properties of Pure Lubricants Using Equations of State and Artificial Intelligence
Statistical mechanical and artificial intelligence models are developed to predict the volumetric properties of lubricants under different conditions. It is shown that the knowledge of just liquid density at room temperature is satisfactory to approximate the PVT properties of pure lubricants in various conditions. As well, the performance of an artificial neural network (ANN) based on back pro...
متن کامل