Frames, quantification, perspectives, and negotiation in constraint networks for life-cycle engineering

Bowen, James; Bahler, Dennis

doi:10.1016/0954-1810(92)90013-r

Cited by 34 publications

(22 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The discussion that follows will be very dense, because of the need to illustrate many features of a richly expressive language in a very short space. Reviewers wanting a more leisurely overview of the language are encouraged to read [4]. Galileo4 is a research prototype which is available on an as-is basis.…”

Section: The Utility Of Constraint Processing For Productionmentioning

confidence: 99%

“…In this section, we will consider only a few extracts from KLAUS2 ( Figure 1). For a more complete presentation of KLAUS2, see [4]. A program in Galileo4 specifies a frame-based constraint network and comprises a set of declarations and definitions.…”

Section: The Utility Of Constraint Processing For Productionmentioning

confidence: 99%

“…In our experience [3,4,5] constraint-based systems constitute a good basis for such tools; much of our effort has emphasized expressive competence in constraint-based languages in order to provide a convenient and sufficient representation of the kind of real-world problems encountered in concurrent engineering. Moreover, we believe that an approach to constraint processing which is strongly grounded in a formal logical model offers the greatest chance to gain insight and make progress.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Constraint logic and its applications in production: an implementation using the Galileo4 language and system

Bahler¹,

Bowen²

1997

The Planning and Scheduling of Production Systems

Self Cite

View full text Add to dashboard Cite

The flexible and efficient support of the process of product design and production requires combined expertise from many aspects of the product life-cycle, and the management and use of this knowledge in turn increasingly requires sophisticated computer-based advice systems. In this chapter we present a constraint-based approach to making the full First-Order Predicate Calculus available for knowledge representation purposes in intelligent networked colocation advice systems for concurrent engineering. Domain knowledge is represented as a theory written in a first-order logical language. The set of models of the language under which the theory is satisfied is the set of solutions of a constraint network. Solutions to the network are computed by a hierarchical and opportunistic constraint inference method. Galileo4, an implemented language and companion run-time system based on these ideas is discussed and its efficacy is demonstrated by presenting applications in which high problem-solving versatility is provided by concise and readable programs.

show abstract

Section: The Utility Of Constraint Processing For Productionmentioning

confidence: 99%

Section: The Utility Of Constraint Processing For Productionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Constraint logic and its applications in production: an implementation using the Galileo4 language and system

Bahler¹,

Bowen²

1997

The Planning and Scheduling of Production Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…In our experience [3,4,5] constraint-based systems constitute a good basis for such tools; much of our earlier effort has emphasized expressive competence in constraint-based languages in order to provide a convenient and sufficient representation of the kind of real-world problems encountered in concurrent engineering. For this reason we illustrate most of our work with constraint-based systems, although we believe our negotiation protocol has wide applicability to any client-assisted inference system.…”

Section: Introductionmentioning

confidence: 99%

Mediating Conflict in Concurrent Engineering with a Protocol Based on Utility

Bahler

Dupont

Bowen

1994

Concurrent Engineering

View full text Add to dashboard Cite

Concurrent engineering is an approach to product, process, and organizational design in which experts from many disciplines contribute at many stages of the product life cycle. Even though the design process is mostly cooperative, conflicts among sharply diverging viewpoints may occur, which require negotiated compromise solutions. Design advice tools can assist in this process of negotiation by making their critiques and suggestions conveniently available to all members of the product development team. Constraint-based languages of sufficient expressive power provide a convenient representation of real-world problems like those encountered in concurrent engineering, and we believe they are a good basis for building such design advice tools. In this paper we describe a protocol, based on the use of economic utility, by which constraintbased design advice systems can recognize conflict, and support and mediate negotiation fairly.

show abstract

“…Examples of software that has recently appeared to support automated mechanical design include that developed by Bowen and Bahler (1992) using constraint networks, Fohn, et al (1994) using constraint systems shells, and Kolb and Bailey (1993) using a constraint-based object modeling method. Other methods that have dealt with constraint management were addressed by Serrano and Gossard (1988).…”

Section: Introductionmentioning

confidence: 99%

Automated Design and Parametrization of Mechanical Part Geometry

Abdel‐Malek

Zou²,

Wang³

et al. 1999

Research in Engineering Design

View full text Add to dashboard Cite

Variational methods for evaluating the design of mechanisms were first introduced by this group in the form of mathematical formulations generally applicable to open-and closed-loop mechanisms. This method is herein extended and demonstrated to the design of mechanical parts in the context of automatic parametrization of the geometry. The formulation is based on the development of constraint equations that govern the relation between geometry in a mechanical part as dictated by a designer. Instead of the tedious method of specifying mathematical relations between any two geometries of the part, it is proposed to use the notion of kinematic relations inherent in the formulation relating the connectivity between joints and links. Cut-joint constraints are introduced, kinematic joints in the formulation are combined, their variations evaluated, and a Jacobian is determined. Constraint violations are then compensated to compute an assembled mechanism, hence redesigning the part. It is shown that this kinematically-driven formulation is broadly applicable to 2D and 3D models. The method and algorithm are illustrated through a number of examples.

show abstract

Frames, quantification, perspectives, and negotiation in constraint networks for life-cycle engineering

Cited by 34 publications

References 0 publications

Constraint logic and its applications in production: an implementation using the Galileo4 language and system

Constraint logic and its applications in production: an implementation using the Galileo4 language and system

Mediating Conflict in Concurrent Engineering with a Protocol Based on Utility

Automated Design and Parametrization of Mechanical Part Geometry

Contact Info

Product

Resources

About