{"type":"ScholarlyArticle","title":"Scaling up Self-Explanatory Simulators: Polynomial-time Compilation","authors":[{"name":"Kenneth D. Forbus","slug":"kenneth-d-forbus","given":"Kenneth D.","family":"Forbus","affiliation":""},{"name":"Brian Falkenhainer","slug":"brian-falkenhainer","given":"Brian","family":"Falkenhainer","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1995/231","pdf":"https://ijcai.org/proceedings/1995/0231.pdf","markdown":"https://ijcai.org/proceedings/1995/231.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/231","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Qualitative Reasoning and Diagnosis","track":"Qualitative Reasoning and Diagnosis","number":231,"pages":{"first":1798,"last":1804},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}