Reasoning About Fluids Via Molecular Collections

John W. Collins; Kenneth D. Forbus

doi:10.1016/B978-1-4832-1447-4.50048-1

Reasoning About Fluids Via Molecular Collections

John W. Collins^*, Kenneth D. Forbus

^*Corresponding author for this work

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter

2 Scopus citations

Abstract

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
Publisher	Elsevier Inc
Pages	503-507
Number of pages	5
ISBN (Print)	1558600957, 9781483214474
DOIs	https://doi.org/10.1016/B978-1-4832-1447-4.50048-1
State	Published - Sep 17 2013

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1016/B978-1-4832-1447-4.50048-1

Cite this

@inbook{4ee075f5f1454c34b229eb877a2c8870,

title = "Reasoning About Fluids Via Molecular Collections",

abstract = "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.",

author = "Collins, {John W.} and Forbus, {Kenneth D.}",

year = "2013",

month = sep,

day = "17",

doi = "10.1016/B978-1-4832-1447-4.50048-1",

language = "English (US)",

isbn = "1558600957",

pages = "503--507",

booktitle = "Readings in Qualitative Reasoning About Physical Systems",

publisher = "Elsevier Inc",

}

TY - CHAP

T1 - Reasoning About Fluids Via Molecular Collections

AU - Collins, John W.

AU - Forbus, Kenneth D.

PY - 2013/9/17

Y1 - 2013/9/17

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84944089200&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84944089200&partnerID=8YFLogxK

U2 - 10.1016/B978-1-4832-1447-4.50048-1

DO - 10.1016/B978-1-4832-1447-4.50048-1

M3 - Chapter

AN - SCOPUS:84944089200

SN - 1558600957

SN - 9781483214474

SP - 503

EP - 507

BT - Readings in Qualitative Reasoning About Physical Systems

PB - Elsevier Inc

ER -

Reasoning About Fluids Via Molecular Collections

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this