Title :
A fuzzy constraint satisfaction system for design and manufacturing
Author :
Young, Robert E. ; Giachetti, Ron ; Ress, David A.
Author_Institution :
Dept. of Ind. Eng., North Carolina State Univ., Raleigh, NC, USA
Abstract :
We present an interactive constraint satisfaction system for design and manufacturing that supports modeling using fuzzy linguistic variables, terms and operators, fuzzy variables, numbers and operators, and crisp variables, numbers and operators. Constraint propagation is omni-directional and is achieved through value propagation based upon a formal logic and theorem proving. The properties of invertability of some fuzzy operators and the imprecision divergence resulting from repeated operations on fuzzy numbers appear to be manageable and to have utility in design and manufacturing problems. The main contribution of this paper is the description of the fuzzy constraint system, an overview of its theoretical constructs, and a discussion of the issues in using fuzzy mathematics in design and manufacturing
Keywords :
CAD; concurrent engineering; constraint handling; fuzzy logic; fuzzy set theory; theorem proving; constraint propagation; crisp variables; formal logic; fuzzy constraint satisfaction system; fuzzy linguistic variables; fuzzy mathematics; fuzzy numbers; fuzzy operators; interactive constraint satisfaction system; invertability; theorem proving; value propagation; Constraint theory; Design automation; Fuzzy sets; Fuzzy systems; Logic; Manufacturing processes; Mathematics; Packaging; Pulp manufacturing; Virtual manufacturing;
Conference_Titel :
Fuzzy Systems, 1996., Proceedings of the Fifth IEEE International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-7803-3645-3
DOI :
10.1109/FUZZY.1996.552333
