Scaling up self-explanatory simulators polynomial time compilation

  • Authors:
  • Kenneth D. Forbus;Brian Falkenhainer

  • Affiliations:
  • The Institute for the Learning Sciences, Northwestern University, Evanston, IL;Modeling Research Technology Area, Xerox Wilson Center, Webster, NY

  • Venue:
  • IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
  • Year:
  • 1995

Quantified Score

Hi-index 0.01

Visualization

Abstract

Self-explanatory simulators have many potential applications, including supporting engineering activities, intelligent tutoring systems, and computer-based training systems. To fully realize this potential requires improving the technology to efficiently generate highly optimized simulators. This paper describes an algorithm for compiling selfexplanatory simulators that operates in polynomial time. It is capable of constructing self-explanatory simulators with thousands of parameters, which is an order of magnitude more complex than any previous technique. The algorithm is fully implemented, and we show evidence that suggests its performance is quadratic in the size of the system being simulated. We also analyze the tradeoffs between compilers and interpreters for self-explanatory simulation in terms of application-imposed constraints, and discuss plans for applications.