Franz G. Amador, Adam Finkelstein, and Daniel S. Weld. Real-Time Self-Explanatory Simulation. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 562--567. AAAI Press/The MIT Press, July 1993.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....manipulates different objects in the virtual world. ffl The Kaleidoscope language [4] integrates constraints and imperative, object oriented programming. The current implementation of this language (Kaleidoscope 93) uses SkyBlue to maintain primitive constraints. ffl The Pika simulation system [1] constructs simulations in domains such as electronics or thermodynamics by collecting algebraic and differential equations representing relationships between object attributes. Pika uses SkyBlue to process the equations for a numerical integrator that maintains the equations during the ....

Franz G. Amador, Adam Finkelstein, and Daniel S. Weld. Real-Time Self-Explanatory Simulation. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 562--567. AAAI Press/The MIT Press, July 1993.

....a two phase evaporator loop system across multiple combinations of causal and non causal approximations. Introduction Recent advances in model based reasoning have greatly simplified the task of building and using dynamic simulators of physical systems (Nayak 1993; Forbus Falkenhainer 1995; Amador, Finkelstein, Weld 1993). While the usefulness of dynamic simulators is well established in various fields from teaching to high fidelity simulation, steady state simulators are characterized by low computational requirements (i.e. that of solving a set of equations only once) which makes them attractive for a wide ....

Amador, F.; Finkelstein, A.; and Weld, D. 1993. Realtime self-explanatory simulation. In Proceedings of the Eleventh National Conference on Artificial Intelligence. The AAAI Press.

....to be simulated in, for example, an entire K 12 science curriculum, will take additional technologies in addition to the kind of self explanatory simulators used in our Active Illustrations architecture. Selfexplanatory simulator interpreters for systems with simultaneities have been created [c.f. Amador et al., 1993; Iwasaki Low, 1993] although they do require sophisticated on line symbolic algebra capabilities and have not to our knowledge been shown to scale to large scale simulators. Component Based Construction of a Science Learning Space trial number 2 independent variable values ( manual ....

Amador, F., Finkelstein, A. and Weld, D. (1993). Real-time self-explanatory simulation.

....that is available in the water supply and many other engineering domains. Until recently, no technique was developed for both supporting model management and coping with incomplete knowledge. Few systems [Forbus and Falkenhainer, 1990; Iwasaki and Low, 1991; Forbus and Falkenhainer, 1992; Amador et al. 1993] have been developed that use compositional modeling techniques, and exploit qualitative models to provide explanations of simulations. They are unable, however, to represent or use semi quantitative information. In order to provide any sort of numeric simulation, they all require complete ....

....DME is thus unable to take advantage of QSIM non local reasoning capabilities (i.e. so called global filters) that refer to behaviors. DME supports design by being highly interactive and providing sophisticated explanation capabilities [Gautier and Gruber, 1993; Gruber and Gautier, 1993] Pika [Amador et al. 1993] builds a numerical model for each operating region of the system as soon as this is needed. Pika monitors the numerical simulation and, at the end of the analysis, is capable of engaging in a simple question answering dialogue. Pika requires precise equations, complete initial conditions (unlike ....

F. Amador, A. Finkelstein, and D. Weld. Real--time self-- explanatory simulation. In Proc. of the Eleventh National Conference on Artificial Intelligence. AAAI Press/MIT Press, 1993.

....solver. Multi Garnet and SkyBlue implementations are available (contact the author for more information) SkyBlue is also currently being used as the constraint solver in an implementation of the Kaleidoscope language [5] and as an equation manipulation tool in the Pika simulation system [1]. 2 Method Graphs A SkyBlue constraint is represented by one or more methods. Each method is a procedure that reads the values of a subset of the constraint s variables (the method s input variables) and calculates values for the remaining variables (the method s output variables) that satisfy ....

Franz G. Amador, Adam Finkelstein, and Daniel S. Weld. Real-Time Self-Explanatory Simulation. (submitted to AAAI 93).

....forms: bounds on variable values and functional bounds (envelopes) on otherwise unspecified monotonic functions. This is exactly the kind of information that is available in the water supply and many other engineering domains. Several systems [Forbus and Falkenhainer, 1990; Iwasaki and Low, 1991; Amador et al. 1993] have been developed that use compositional modelling techniques, and exploit qualitative models to provide explanations of simulations. They are unable, however, to represent or use semi quantitative information. In order to provide any sort of numeric simulation, they all require complete ....

....for simulation. In both modes, crossing an operating region triggers remodelling. DME is highly interactive and provides sophisticated explanation capabilities [Gautier and Gruber, 1993; Gruber and Gautier, 1993] DME requires precise numerical equations, initial and boundary conditions. Pika [Amador et al. 1993] builds a numerical model for each operating region of the system as soon as this is needed. Pika monitors the numerical simulation and, at the end of the analysis, is capable of engaging in a simple question answering dialogue. Pika requires precise equations, complete initial conditions (unlike ....

Amador, F.; Finkelstein, A.; and Weld, D. 1993. Real--time self--explanatory simulation. In Proc. of the Eleventh National Conference on Artificial Intelligence. AAAI Press/MIT Press.

....extends the Garnet user interface construction system [6] with support for hierarchies of multi way constraints. SkyBlue is also currently being used as the constraint solver in an implementation of the Kaleidoscope language [3] and as an equation manipulation tool in the Pika simulation system [1]. 6.1 Multi Garnet Garnet is a widely used user interface toolkit built on Common Lisp and X windows [6] However, Garnet only supports one way constraints, all of which must be required (no hierarchies) The Multi Garnet package uses the SkyBlue solver to add support for multi way constraints ....

....be difficult to build this application in Garnet without maintaining some of the relationships using other mechanisms in addition to the Garnet constraint solver. 6. 2 The Pika Simulation System SkyBlue is being used as an equation manipulation tool in a version of the Pika simulation system [1]. Pika constructs simulations in domains such as electronics or thermodynamics by collecting algebraic and differential equations representing relationships between object attributes. For example, in a simulation of an electronic circuit, one equation would relate the voltage across and the ....

Franz G. Amador, Adam Finkelstein, and Daniel S. Weld. Real-Time Self-Explanatory Simulation. In Proceedings of the National Conference on Artificial Intelligence, 1993. To appear.

....triggers remodeling. DME is highly interactive and provides sophisticated explanation capabilities [Gruber and Gautier, 1993] DME requires precise numerical equations, initial and boundary conditions. Therefore, DME does not integrate qualitative and quantitative information in prediction. Pika [Amador et al. 1993] builds a numerical model for each operating region of the system as soon as this is needed. Pika monitors the numerical simulation and, at the end of the analysis, is capable of engaging in a simple question answering dialogue. Pika requires precise equations, complete initial conditions (unlike ....

F. Amador, A. Finkelstein, and D. Weld. Real--time self--explanatory simulation. In Proc. of the Eleventh National Conference on Artificial Intelligence. AAAI Press/MIT Press, 1993.

....not benefit as much since all parameters will quickly collapse to the same interaction set. We plan to investigate this hypothesis with further tests. 5 In the future, we intend to connect sie to a design verification system built on top of Mathematica [Wolfram, 1988] and our PIKA simulator. [Amador et al. 1993] Devices Satisfy I Solutions Max CPU Punchbowl 18 3 1 3 0.167 Dynamo 1 150 4 2 4 1.550 Dynamo 2 1640 124 42 5 23.850 Dynamo 3 891 16 8 5 13.617 Dynamo 4 2786 72 14 5 39.600 Figure 2: The number of possible devices created, those that pass the interaction set test, those that pass complete ....

F. Amador, A. Finklestein, and D. Weld. RealTime Self-Explanatory Simulation. AAAI-93, Submitted to 1993.

No context found.

Amador, F., Finkelstein, A. and Weld, D. Real-time self-explanatory simulation. Proceedings of AAAI-93. Baher, J. (1998). How Articulate Virtual Labs Can Help in Thermodynamics Education: A Multiple Case Study. Paper presented at the Frontiers in Education 1998 Conference, Tempe, AZ.

No context found.

Amador, F., Finkelstein, A., & Weld, D. (1993). Real Time Self-Explanatory Simulation. Proceedings of AAAI-93. 562-567.

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