This report discusses research by the RAND Advanced Simulation Language (RASL) project. The goal of this project was to develop knowledge-based modeling techniques that integrate simulation and planning in order to answer strategic mobility questions that go beyond the "What if...?" capabilities of traditional simulation: questions such as "Can a given event ever happen?" "Under what conditions will an event happen?" or "How can a desired result be achieved?" The report presents an in-depth description of the Declarative MODeling formalism (DMOD) that was developed by the RASL project. DMOD can be thought of as an attempt to formulate a logical description of the event-scheduling view of discrete-event simulation. Formal proofs of the soundness and completeness of the DMOD approach are presented, along with a number of detailed examples of how to perform modeling using DMOD.
This report discusses research by the RAND Advanced Simulation Language (RASL) project. The goal of this project was to develop knowledge-based modeling techniques that integrate simulation and planning in order to answer strategic mobility questions that go beyond the "What if ...?" capabilities of traditional simulation: questions such as "Can a given event ever happen?" "Under what conditions will an event happen?" or "How can a desired result be achieved?" The report presents an in-depth description of the Declarative MODeling formalism (DMOD) that was developed by the RASL project. DMOD can be thought of as an attempt to formulate a logical description of the event-scheduling view of discrete-event simulation. Formal proofs of the soundness and completeness of the DMOD approach are presented, along with a number of detailed examples of how to perform modeling using DMOD.
This report provides an overview of ROSS, an object-oriented language currently being developed at RAND. The goal of ROSS is to provide a programming environment in which users can conveniently design, test, and modify large knowledge-based simulations of complex mechanisms. Object-oriented programming languages, and ROSS in particular, enforce a message-passing style of programming in which the system to be modeled is represented as a set of objects and their behaviors (rules for object interaction). This style is especially suited to simulation, since the mechanism or process to be simulated may have a decomposition that maps naturally onto objects, and the real-world interactions between the objects may be easily modeled by object behaviors and object message transmissions. In addition to describing some of the basic ROSS commands and features, the report discusses some software that interfaces directly with ROSS, including a sophisticated screen-oriented editor and a color graphics package. Facilities for browsing among objects and their behaviors are also described, and examples of browsing and editing are presented using SWIRL, a military combat simulation written in ROSS.
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.