Proceedings:
Multimodal Reasoning
Volume
Issue:
Papers from the 1998 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
We present a knowledge representation and reasoning framework that integrates qualitative reasoning, qualitative simulation, numerical simulation, geometric reasoning, constraint reasoning, resolution, reasoning with abstraction levels, declarative meta-level control, and a simple form of truth maintenance. The framework is the core of PRET, a system identification program that automates the process of modeling physical systems.
Spring
Papers from the 1998 AAAI Spring Symposium