Lexical Imprecision in Fuzzy Constraint Networks

We define fuzzy constraint networks and prove a theorem about their relationship to fuzzy logic. Then we introduce Khayyam, a fuzzy constraint-based programming language in which any sentence in the first-order fuzzy predicate calculus is a well-formed constraint statement. Finally, using Khayyam to address an equipment selection application, we illustrate the expressive power of fuzzy constraint-based languages.

[1]  Nils J. Nilsson,et al.  Logic and Artificial Intelligence , 1991, Artif. Intell..

[2]  Brian Schott,et al.  Issues in Fuzzy Production Systems , 1983, Int. J. Man Mach. Stud..

[3]  Trevor P Martin,et al.  The implementation of fprolog—a fuzzy prolog interpreter , 1987 .

[4]  D. Bahler,et al.  Fuzzy semantics and fuzzy constraint networks , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[5]  Eugene C. Freuder,et al.  Improved relaxation and search methods for approximate constraint satisfaction with a maximin criter , 1990 .

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

[7]  L. A. Zedeh.  Knowledge representation in fuzzy logic , 1989 .

[8]  William Leler,et al.  Constraint programming languages: their specification and generation , 1988 .

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

[10]  Trevor P Martin,et al.  Fast operations on fuzzy sets in the abstract Fril machine , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

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

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

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

[14]  Lotfi A. Zadeh,et al.  Knowledge Representation in Fuzzy Logic , 1996, IEEE Trans. Knowl. Data Eng..

[15]  Pascal Van Hentenryck.  Constraint Programming Languages , 1993, ICTAI.