Artificial Intelligence
Artificial Intelligence
Mathematica: a system for doing mathematics by computer
Mathematica: a system for doing mathematics by computer
iSMILE: a novel circuit simulation program with emphasis on new device model development
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
A user interface for the electronic encyclopedia exploratorium
IUI '93 Proceedings of the 1st international conference on Intelligent user interfaces
Introduction to Physical System Dynamics
Introduction to Physical System Dynamics
Electronic "How Things Work" Articles: Two Early Prototypes
IEEE Transactions on Knowledge and Data Engineering
The Dynamicist''s Workbench: I ---Automatic Preparation of Numerical Experiments
The Dynamicist''s Workbench: I ---Automatic Preparation of Numerical Experiments
Scaling up self-explanatory simulators polynomial time compilation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
We present Pika, an implemented self-explanatory simulator that is more than 5000 times faster than SimGen Mk2 [Forbus and Falkenhainer, 1992], the previous state of the art. Like SimGen, Pika automatically prepares and runs a numeric simulation of a physical device specified as a particular instantiation of a general domain theory, and it is capable of explaining its reasoning and the simulated behavior. Unlike SimGen, Pika's modeling language allows arbitrary algebraic and differential equations with no prespecified causal direction; Pika infers the appropriate causality and solves the equations as necessary to prepare for numeric integration.