PLT Scheme The Simulation Collection

1. PLT SchemeThe Simulation Collection Dr. Doug Williams m.douglas.williams@saic.com February 16, 2006

2. February 16, 2006 Vancouver LISP User�s Group 2 Agenda Introduction Simplified Simulation Example PLT Scheme Simulation Collection Future Plans Questions and Answers Workshop

3. February 16, 2006 Vancouver LISP User�s Group 3 Introduction

4. February 16, 2006 Vancouver LISP User�s Group 4 Motivation Recreate a previously available knowledge-based simulation environment capability Previously implemented in Symbolics Common LISP Re-implement in PLT Scheme Availability � free download (www.drscheme.org) Portability � Windows, Linux, UNIX, Mac OS X Extend previous work Provide a better mathematical framework Implement a process-based simulation engine Support combined discrete-event and continuous simulations Implement an efficient rule-based inference engine Provide a framework for implementing advanced knowledge-based simulations

5. February 16, 2006 Vancouver LISP User�s Group 5 PLT Scheme Collections PLT Scheme Science Collection Provides the mathematical and analysis framework Previously part of the simulation collection, but provides functionality that is useful outside of simulations Inspired by the GNU Scientific Library (GSL) PLT Scheme Simulation Collection Provides a process-based, discrete-event simulation engine with automatic data collection Supports combined discrete and continuous simulations Designed to facilitate component-based simulation models PLT Scheme Inference Collection Provides an efficient rule-based inference engine Support both forward chaining (data-driven) and backward chaining (goal-driven) inferencing Integrated with the simulation collection, i.e. inferencing can be done on simulation objects