The RAND Advanced Simulation Language Project's Declarative Modeling Formalism (DMOD)

Résumé du livre

This report discusses research by the RAND Advanced Simulation Language (RASL) project. The objective of this research project has been to develop knowledge-based techniques that integrate simulation and planning to answer strategic mobility questions that go beyond the What if ...? capabilities of traditional simulation: questions such as Can a give event ever happen? Under what conditions will an event happen? or 'How can a desired result be achieved?' The strategic mobility planning problem encompasses a wide range of issues concerning which transportation assets (ships, planes, etc.) to acquire and how to use them to transport personnel and materiel to satisfy mission objectives. The RASL project is researching new modeling techniques that will allow simulation and planning to be performed in an integrated fashion, using a single, underlying model of the strategic mobility domain. This project has developed a new declarative modeling formalism (DMOD) for modeling and reasoning about dynamic systems.