Mathematical foundations of qualitative reasoning

We examine different formalisms for modeling qualitatively physical systems and their associated inferential processes that allow us to derive qualitative predictions from the models. We highlight the mathematical aspects of these processes along with their potential and limitations. The article then bridges to quantitative modeling, highlighting the benefits of qualitative reasoning-based approaches in the framework of system identification, and discusses open research issues.