Unit A1.2 Qualitative Modeling Kenneth D. Forbus Qualitative Reasoning Group Northwestern University.