Constraints
Authors:
Open Access
- 30 May 1979
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGAPL APL Quote Quad
- Vol. 9 (4-P1) , 208-225
Abstract
We present an interactive system organized around networks of constraints rather than the programs which manipulate them. We describe a language of hierarchical constraint networks. We describe one method of deriving useful consequences of a set of constraints which we call propagation. Dependency analysis is used to spot and track down inconsistent subsets of a constraint set. Propagation of constraints is most flexible and useful when coupled with the ability to perform symbolic manipulations on algebraic expressions. Such manipulations are in turn best expressed as alterations or augmentations of the constraint network. Numerous diagrams ornament the text.Keywords
This publication has 4 references indexed in Scilit:
- Non-monotonic logic IArtificial Intelligence, 1980
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977
- Heuristic techniques in computer-aided circuit analysisIEEE Transactions on Circuits and Systems, 1975
- Nondeterministic AlgorithmsJournal of the ACM, 1967