2 citations found. Retrieving documents...
Kenneth D. Forbus. Qualitative process theory. Technical Report Technical Report 789, MIT AI Laboratory, 1984.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Thesis Topic Proposal - Erignac (1999)   (Correct)

....without resorting to any mathematical abstraction. This was also called naive physics. Initial research focussed on modeling our causal perception of the world [72] Qualitative physics took shape during the 80 s when its formulation moved closer to the mathematical models of classic physics [29, 20]. Qualitative models are more general than their quantitative counterparts. Unfortunately this generality makes them nondeterministic. Qualitative simulators generate branching simulation traces named envisionments [20] where each path is a behavior. Most of these behaviors are spurious due to ....

....assembly. The qualitative simulations are produced with QSIM [55] 3.2.2 SIMGEN SIMGEN [34, 35, 36] is a semi qualitative self explanatory simulation compiler. It uses the modeling language of the Qualitative Process Engine (QPE) 31] which is directly based on the Qualitative Process Theory [29]. SIMGEN is currently used to produce simulations for online virtual laboratories [71] SIMGEN s first version, Mk1 [34] would perform a total envisionment to compute all the possible qualitative states the simulation could reach. The direct benefit of this method is to know all the equation ....

Kenneth D. Forbus. Qualitative process theory. Technical Report Technical Report 789, MIT AI Laboratory, 1984.


Qualitative Phasor Analysis - Flores (1995)   (Correct)

No context found.

Kenneth D. Forbus. Qualitative process theory. Technical Report Technical Report 789, MIT AI Laboratory, 1984.

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