An overview of inference mechanisms for quantified relations

Proceedings of the ASME Design Engineering Technical Conference

Volumn 3, Issue , 1998, Pages

  Finch, William W ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Computational methods of design; Constraint management; Design methods and models; Design representations

Indexed keywords

INDUSTRIAL ENGINEERING;

DESIGN CONSTRAINTS; ENGINEERING CONCEPTS; ENGINEERING DESIGN PROBLEMS; ENGINEERING SYSTEMS; INFERENCE MECHANISM; INTERVAL MATHEMATICS; MATHEMATICAL TOOLS; MATHEMATICAL TREATMENTS;

ENGINEERING;

EID: 85101065472     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1115/DETC98/DTM-5666     Document Type: Conference Paper

References (5)

1. Alefeld, G., and Herzberger, J., 1983, Introduction to Interval Computations. Academic Press, New York.
2. Halmos, P., 1974, Naive Set Theory. Springer-Verlag, New York.
3. Finch, W., 1997, Predicate Logic Representations for Design Constraints on Uncertainty Supporting the Set-Based Design Paradigm. Ph.D. Thesis. University of Michigan, Ann Arbor.
4. Finch, W., and Ward, A., 1996, Quantified Relations: A Class of Predicate Logic Design Constraints Among Sets of Manufacturing, Operating, and Other Variations. Proceedings of the 1996 ASME Design Engineering Technical Conferences and Computers in Engineering Conference, August 18-22, Irvine, California.
5. Finch, W., and Ward, A., 1997, A Set-based System for Eliminating Infeasible Designs in Engineering Problems Dominated by Uncertainty. Proceedings of DETC'97. 1997 ASME Design Engineering Technical Conferences. September 14-17, 1996, Sacramento, California.