ACP: reason maintenance and inference control for constraint propagation over intervals

Authors:
Walter Hamscher
Affiliations:
Price Waterhouse Technology Centre, Menlo Park, CA
Venue:
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Year:
1991

Citing 6
Cited 1

An assumption-based TMS

Artificial Intelligence
Problem solving with the ATMS

Artificial Intelligence
Constraint propagation with interval labels

Artificial Intelligence
An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems

Proceedings of the international workshop on Expert systems in engineering : Principles and applications: Principles and applications
Knowledge-Based Decision Support in Business: Issues and a Solution

IEEE Expert: Intelligent Systems and Their Applications
Problem Solver Control Over the ATMS

GWAI '89 Proceedings of the 13th German Workshop on Artificial Intelligence

Maximal-confirmation diagnoses

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

ACP is a fully implemented constraint propagation system that computes numeric intervals for variables [Davis, 1987] along with an ATMS label [de Kleer, 1986a] for each such interval. The system is built within a "focused" ATMS architecture [Forbus and de Kleer, 1988, Dressler and Farquhar, 1989] and incorporates a variety of techniques to improve efficiency.