@inproceedings{8716bfed7a2e43ecb5382b34dae2a8ee,
title = "Real-time self-explanatory simulation",
abstract = "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.",
author = "Amador, {Franz G.} and Adam Finkelstein and Weld, {Daniel S.}",
year = "1993",
language = "English (US)",
isbn = "0262510715",
series = "Proceedings of the National Conference on Artificial Intelligence",
publisher = "Publ by AAAI",
pages = "562--567",
booktitle = "Proceedings of the National Conference on Artificial Intelligence",
note = "Proceedings of the 11th National Conference on Artificial Intelligence ; Conference date: 11-07-1993 Through 15-07-1993",
}