Proceedings:
Hybrid Systems and AI: Modeling Analysis and Control of Discrete Plus Continuous Systems
Volume
Issue:
Papers from the 1999 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
In this paper, we present AMIA, a workbench for developing knowledge-based discrete-time simulation systems. AMIA is original in two respects. First it uses an algebraic modeling language for combining discrete-time models (difference equations) and symbolic knowledge. Second, it uses a new simulation algorithm able to exploit this combination of numerical and symbolic knowledge. AMIA also includes a model management system for supporting the modeling and simulation process.
Spring
Papers from the 1999 AAAI Spring Symposium