Qualitative Reasoning: Everyday, Pervasive, and Moving Forward — A Report on QR-15

When human experts build qualitative or quantitative models of complex systems, they use the function of the system as a guideline to decide what to model and how to model it, yet they do not often encode this functional knowledge directly. If qualitative and quantitative models contained this functional knowledge, our reasoning systems might use it as a heuristic or as a filter during the course of quantitative and qualitative simulation. Matthew Klenk (PARC) delivered a separate talk related to massive-scale model-based reasoning, describing the challenge of choosing initial conditions for simulation. Throughout the technical presentations on advances in qualitative simulation, we discussed the practicality of automatically transforming quantitative and qualitative models during the course of reasoning.