Real-time self-explanatory simulation

Franz G. Amador, Adam Finkelstein, Daniel S. Weld

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings of the National Conference on Artificial Intelligence
PublisherPubl by AAAI
Pages562-567
Number of pages6
ISBN (Print)0262510715
StatePublished - Dec 1 1993
Externally publishedYes
EventProceedings of the 11th National Conference on Artificial Intelligence - Washington, DC, USA
Duration: Jul 11 1993Jul 15 1993

Other

OtherProceedings of the 11th National Conference on Artificial Intelligence
CityWashington, DC, USA
Period7/11/937/15/93

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Real-time self-explanatory simulation'. Together they form a unique fingerprint.

Cite this