[ut.ai] Forbus Abstract

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.