Real-time self-explanatory simulation

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

Real-time self-explanatory simulation

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 language	English (US)
Title of host publication	Proceedings of the National Conference on Artificial Intelligence
Publisher	Publ by AAAI
Pages	562-567
Number of pages	6
ISBN (Print)	0262510715
State	Published - Dec 1 1993
Externally published	Yes
Event	Proceedings of the 11th National Conference on Artificial Intelligence - Washington, DC, USA Duration: Jul 11 1993 → Jul 15 1993

Other

Other	Proceedings of the 11th National Conference on Artificial Intelligence
City	Washington, DC, USA
Period	7/11/93 → 7/15/93

All Science Journal Classification (ASJC) codes

Software

Cite this

@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",

month = dec,

day = "1",

language = "English (US)",

isbn = "0262510715",

pages = "562--567",

booktitle = "Proceedings of the National Conference on Artificial Intelligence",

publisher = "Publ by AAAI",

note = "Proceedings of the 11th National Conference on Artificial Intelligence ; Conference date: 11-07-1993 Through 15-07-1993",

}

TY - GEN

T1 - Real-time self-explanatory simulation

AU - Amador, Franz G.

AU - Finkelstein, Adam

AU - Weld, Daniel S.

PY - 1993/12/1

Y1 - 1993/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0027706672&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027706672&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0027706672

SN - 0262510715

SP - 562

EP - 567

BT - Proceedings of the National Conference on Artificial Intelligence

PB - Publ by AAAI

T2 - Proceedings of the 11th National Conference on Artificial Intelligence

Y2 - 11 July 1993 through 15 July 1993

ER -

Real-time self-explanatory simulation

Abstract

Other

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this