Fuzzy semantics and fuzzy constraint networks

After reviewing the notion of crisp constraint networks and their relationship to semantics in classical logic, the authors define fuzzy constraint networks and their relationship to fuzzy logic. Then they introduce Khayyam, a fuzzy constrained-based programming language which implements much of Zadeh's PRUF formalism. In Khayyam, any sentence in the first-order fuzzy predicate calculus is a well-formed constrained statement. Finally, using Khayyam to address an equipment selection application, the expressive power of constraint-based languages is illustrated.<>