The Qualitative Process Engine

Kenneth D. Forbus*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Scopus citations

Abstract

Efficient qualitative simulators are crucial to continued progress in qualitative physics. Assumption-based truth maintenance systems (ATMS) were developed in part to simplify writing such programs. This paper identifies several general abstractions for organizing ATMS-based problem-solvers which are especially useful for envisioning. In particular, we describe the many-worlds database, which avoids complex temporal reference schemes; how to organize problem-solving into justify/assume/interpret cycles which successively construct and extend partial solutions; and closed-world tables, which provide a mechanism for making closed-world assumptions. We sketch the design of the Qualitative Process Engine, QPE, an implementation of Qualitative Process theory, to illustrate the utility of these abstractions. On the basis of our experience in developing QPE and analyzing its performance, we draw some general conclusions about the advantages and disadvantages of assumption-based truth maintenance systems.

Original languageEnglish (US)
Title of host publicationReadings in Qualitative Reasoning About Physical Systems
PublisherElsevier Inc
Pages220-235
Number of pages16
ISBN (Print)1558600957, 9781483214474
DOIs
StatePublished - Sep 17 2013

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'The Qualitative Process Engine'. Together they form a unique fingerprint.

Cite this