The qualitative process engine: A study in assumption-based truth maintenance

The qualitative process engine: A study in assumption-based truth maintenance (1987)

by Kenneth D Forbus

Venue:	In Qualitative Reasoning Workshop Abstracts. Qualitative Reasoning Group, University of Illinois at Urbana-Champaign
Citations:	4 - 0 self

Datum	Value	Source
TITLE	The qualitative process engine: A study in assumption-based truth maintenance	INFERENCE
AUTHOR NAME	Kenneth D Forbus	SVM HeaderParse 0.2
AUTHOR AFFIL	; Qualitative Reasoning Group; Department of Computer Science; University of Illinois; Internet: Forbus®uiuc. ARPA	SVM HeaderParse 0.2
AUTHOR ADDR	; 1304W. Springfield Avenue; Urbana, Illinois, 61801	SVM HeaderParse 0.2
ABSTRACT	This paper describes how to use an assumption-based truth maintenance system (ATMS) to significantly speed up qualitative reasoning. Specifically, we introduce three organizing abstractions for ATMS-based problem solvers (many-worlds databases, justify/interpret cycles, and closed-world tables). We illustrate their utility by describing the Qualitative Process Engine (qPE), an implementation of Qualitative Process theory that is roughly 95 times-faster and signficantly simpler than the previous implementation. After analyzing gPE's performance, we draw some general conclusions about the advantages and disadvantages of assumption-based truth maintenance systems. Program:ENGINEERING	SVM HeaderParse 0.2
YEAR	1987	SVM HeaderParse 0.2
VENUE	In Qualitative Reasoning Workshop Abstracts. Qualitative Reasoning Group, University of Illinois at Urbana-Champaign	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	12 found	ParsCit 1.0