A constraint programming language for Life-Cycle Engineering

Abstract Life-Cycle Engineering is a design methodology that takes into account the mutually constraining influences of product manufacturability, testability and maintainability as well as functionality. We are using non-directional constraint networks to model these mutually constraining influences in order to enable product designers to design more successful products without sacrificing functionality. To do this, we have developed Leo, a constraint programming language whose features have been specifically chosen to support Life-Cycle Engineering. In this paper, we introduce Leo and show its operation in the domain of printed wiring board design.

[1]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[2]  Doug Baldwin,et al.  Local Propagation as a Constraint Satisfaction Technique , 1989 .

[3]  Kenneth Preiss,et al.  Data frame model for the engineering design process , 1980 .

[4]  David Serrano,et al.  Constraint Management in Conceptual Design , 1989 .

[5]  Hans W. Guesgen,et al.  Constraints in a Hybrid Knowledge Representation System , 1987, IJCAI.

[6]  HANS P. ZIMA.  A Constraint Language and Its Interpreter , 1986, Comput. Lang..

[7]  Walter Hamscher,et al.  Joshua: Uniform Access to Heterogeneous Knowledge Structures, or why Joshing Is Better than Conniving or Planning , 1987, AAAI.

[8]  Alan K. Mackworth.  Constraint Satisfaction , 1985 .

[9]  Michael Reinfrank,et al.  Truth Maintenance Systems , 1990, Lecture Notes in Computer Science.

[10]  Louis I. Steinberg.  Design as Refinement Plus Constraint Propagation: The VEXED Experience , 1987, AAAI.

[11]  David R. Harris.  A Hybrid Structured Object and Constraint Representation Language , 1986, AAAI.

[12]  Mark S. Fox,et al.  Constraint-Directed Search: A Case Study of Job-Shop Scheduling , 1987 .

[13]  Alan Borning,et al.  The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory , 1981, TOPL.

[14]  Christopher Tong,et al.  Toward an engineering science of knowledge-based design , 1987, Artif. Intell. Eng..

[15]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[16]  Daniel G. Bobrow,et al.  New Programming Languages for Artificial Intelligence Research , 1974, CSUR.

[17]  Mark S. Fox,et al.  An Investigation of Opportunistic Constraint Satisfaction in Space Planning , 1987, IJCAI.

[18]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[19]  Rina Dechter,et al.  Learning While Searching in Constraint-Satisfaction-Problems , 1986, AAAI.

[20]  Douglas Baldwin,et al.  A Front End for CONSUL , 1990 .

[21]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

[22]  Mark D. Gross,et al.  RoadLab - A constraint based laboratory for road design , 1987, Artif. Intell. Eng..

[23]  Roland H. C. Yap,et al.  Constraint Logic Programming and Option Trading , 1987, IEEE Expert.

[24]  Bjørn N. Freeman-Benson,et al.  Constraint Hierarchies , 1992, LISP Symb. Comput..

[25]  Mark D. Gross,et al.  Design as the exploration of constraints , 1984 .

[26]  Hans Werner Gusgen.  Consat: A System for Constraint Satisfaction , 1989 .

[27]  Pascal Van Hentenryck,et al.  Simulation of Hybrid Circuits in Constraint Logic Programming , 1989, IJCAI.

[28]  Doug Baldwin,et al.  Design of the CONSUL Programming Language. , 1987 .

[29]  James Arthur Gosling,et al.  Algebraic constraints , 1983 .

[30]  Gerald Jay Sussman,et al.  CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..

[31]  Eugene C. Freuder.  Synthesizing constraint expressions , 1978, CACM.

[32]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[33]  Alain Colmerauer,et al.  An introduction to Prolog III , 1989, CACM.

[34]  Sanjay Mittal,et al.  A Knowledge-Based Framework for Design , 1986, AAAI.

[35]  Wm Leler,et al.  Constraint programming languages , 1987 .

[36]  Ernest Davis,et al.  Constraint Propagation with Interval Labels , 1987, Artif. Intell..

[37]  Joxan Jaffar,et al.  Methodology and Implementation of a CLP System , 1987, ICLP.

[38]  William S. Havens,et al.  Platypus: A Constraint-Based Reasoning System , 1989, IJCAI.

[39]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

[40]  Pascal Van Hentenryck,et al.  The Constraint Logic Programming Language CHIP , 1988, FGCS.

[41]  Greg Nelson,et al.  Juno, a constraint-based graphics system , 1985, SIGGRAPH.