Work

Constraints

Year: 1979

Type: article

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.

Source: ACM SIGAPL APL Quote Quad

DOI: 10.1145/390009.804464

Authors: Guy Lewis Steele, Gerald Jay Sussman

Institution: Massachusetts Institute of Technology

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Massachusetts Institute of Technology, Air Force Office of Scientific Research

Award: Engineering Problem Solving Project