CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions
Explore this paper's citation graph
Summary
An interactive system organized around networks of constraints rather than the programs which manipulate them is presented, and a language of hierarchical constraint networks is described, one method of deriving useful consequences of a set of constraints which is called propagation.
- Type
- article
- Published
- 1980-08-01
- Cited by
- 513
- References
- 41
- Access
- Open access
- OpenAlex
- https://openalex.org/W2033755422
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:207507241
Keywords
Viewpoints, Constraint (computer-aided design), Computer science, Theoretical computer science, Set (abstract data type)
References
- Planning in a hierarchy of abstraction spaces
- Sketchpad: a man-machine graphical communication system
- ThingLab - An Object-Oriented System for Building Simulations Using Constraints
- Dependency networks as a representation for modelling in general problem solvers.
- Nondeterministic Algorithms
- Truth Maintenance Systems for Problem Solving
- A Model for Functional Reasoning in Design
- SLICES: At the Boundary Between Analysis and Synthesis
- Assimilation of New Information by a Natural Language Understanding System
- The virtuous nature of bugs
- Micro-Planner Reference Manual
- Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot
- A Three Valued Truth Maintenance System.
- Deductive Retrieval Mechanisms for State Description Models
- Automatic Synthesis of Numerical Computer Programs
- Computer aided evolutionary design for digital integrated systems
- A Structure for Plans and Behavior
- A Computational Model of Skill Acquisition
- Planning in a Hierarchy of Abstraction Spaces
- A rule-based computer program for advising physicians regarding antimicrobial therapy selection
Cited by
- AAAI 1991 spring symposium series reports
- Frame-Based Computer Network Monitoring
- Language Grounding in Robots
- Data Dependencies on Inequalities
- Extending the constraint propagation of intervals
- Interval approaches for concurrent evaluation of design constraints
- Reasoning about Multiple Faults
- Qualitative Reasoning about Electrical Circuits using Series-Parallel-Star Trees
- Handbook of Constraint Programming
- TclSolver: An Algebraic Constraint Manager for Tcl
- Representation and Analysis of Electrical Circuits in a Deductive System
- The alternate use of abstraction and refinement in conceptual mechanical design
- Towards a closer integration of finite domainpropagation and simplex-based algorithms
- Generality versus Specificity: An Experience with AI and OR Techniques
- Structural Aggregation in Common-Sense Reasoning
- Domains in Logic Programming
- An Expert System for Chorale Harmonization
- Diagnosis Based on Description of Structure and Function
- Formalizing Local Constraint Propagation Methods
- Parametric Engineering Design Using Constraint-Based Reasoning
Related papers
- Comparison of viewpoints on women of Western and Chinafrom three phenomenal aspects before 18~(th) century
- How can we elicit more complex thinking in Year 7 students for understanding and resolving life-issues?
- Viewpoints, formalisms, languages, and tools for cyber-physical systems
- Towards an Updatable Strategy Logic
- Qualitative representation of spatio-temporal knowledge