armin@csri.toronto.edu (Armin Haken) (03/25/88)
AI Seminar, Tuesday April 12, 2PM Sandford Fleming room 1105 A Qualitative Physics Sampler Kenneth D. Forbus Qualitative Reasoning Group Department of Computer Science University of Illinois at Urbana-Champaign This talk has two parts. The first part is an overview of our group's work, including qualitative simulation, measurement interpretation, planning in physical domains, spatial reasoning, cognitive simulation of analogical reasoning, and learning physical theories by analogy. The second part is a detailed look at a particular project, motivated by our efforts in modeling Space Station subsystems for NASA. In particular, I will describe our "molecular collection" ontology for reasoning about liquids. This ontology provides a substrate for qualitative reasoning about thermodynamic cycles, and the necessary framework for subsequent quantitative analysis.