Extending the ATMS

doi:10.1016/0004-3702(86)90081-0

Artificial Intelligence

Volume 28, Issue 2, March 1986, Pages 163-196

https://doi.org/10.1016/0004-3702(86)90081-0 Get rights and content

Abstract

The basic assumption-based truth maintenance (ATMS) architecture provides a foundation for implementing various kinds of default reasoning. This paper shows how the basic ATMS is extended to handle defaults and disjunctions of assumptions. These extensions are used to encode disjunctions of nodes, nonmonotonic justifications, normal defaults, nonnormal defaults, and arbitrary propositional formulas.

References (9)

J. de Kleer
How circuits work
Artificial Intelligence
(1984)
J. de Kleer
An assumption-based TMS
Artificial Intelligence
(1986)
J. de Kleer
Problem solving with the ATMS
Artificial Intelligence
(1986)
J. Doyle
A truth maintenance system
Artificial Intelligence
(1979)

There are more references available in the full text version of this article.

Cited by (127)

The Qualitative Process Engine
2013, Readings in Qualitative Reasoning About Physical Systems
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.
Product configuration as decision support: The declarative paradigm in practice
2011, Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM
An integrated framework for suspect investigation
2011, International Journal on Artificial Intelligence Tools
Assumable Answer Set Programming
2022, CEUR Workshop Proceedings
The artificial intelligence approach to model-based diagnosis
2021, Diagnosis and Fault-tolerant Control 1: Data-driven and Model-based Fault Diagnosis Techniques
Model-Based Diagnosis by the Artificial Intelligence Community: Alternatives to GDE and Diagnosis of Dynamic Systems
2019, Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches

View all citing articles on Scopus

View full text