Hayes has identified two distinct ontologies for reasoning about liquids. Most qualitative physics research has focused on applying and generalizing his contained-liquid ontology. This paper presents a technique for generating descriptions using the molecular collection (MC) ontology, a specialization of his alternate ontology which represents liquids in terms of little "pieces of stuff" traveling through a system. We claim that MC descriptions are parasitic on the Contained-Stuff ontology, and present rules for generating MC descriptions given a Qualitative Process theory model using contained stuffs. We illustrate these rules using several implemented examples and discuss how this representation can be used to draw complex conclusions.
|Original language||English (US)|
|Title of host publication||Readings in Qualitative Reasoning About Physical Systems|
|Number of pages||5|
|ISBN (Print)||1558600957, 9781483214474|
|State||Published - Sep 17 2013|
ASJC Scopus subject areas
- Computer Science(all)