Multimodal Reasoning about Physical Systems

Reinhard Stolle and Elizabeth Bradley

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.