论文信息 - ConFuP - A Concurrent Logic Language with Fuzzy Semantics

ConFuP - A Concurrent Logic Language with Fuzzy Semantics

We introduce a new logic programming language with parallel and fuzzy semantics ConFuP (Concurrent Fuzzy Prolog). It is based on Concurrent Prolog (CP) [Sha86] and Support Logic Programming (SLOP) [Bal86]. Thus ConFuP belongs to the class of Commited-Choice-Languages in which uncertainty can be included in various forms.

Christian Geiger | G. Lehrenfeld | V. Wiechers

[1] Ronald R. Yager,et al. Uncertainty in Knowledge Bases , 1990, Lecture Notes in Computer Science.

[2] Lawrence Birnbaum,et al. The Organization of Expert Systems, A Tutorial , 1982, Artif. Intell..

[3] Ehud Shapiro. Concurrent Prolog: A Progress Report , 1986, Computer.

[4] Richard C. T. Lee. Fuzzy Logic and the Resolution Principle , 1971, JACM.

[5] H. Zimmermann,et al. Fuzzy sets theory and applications , 1986 .

[6] Didier Dubois,et al. A Discussion of Uncertainty Handling in Support Logic Programming , 1990 .

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

[8] Richard M. Tong,et al. A retrospective view of fuzzy control systems , 1984 .

[9] J. Baldwin. Support Logic Programming , 1986 .

[10] Uwe Glässer,et al. A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments , 1991, ACPC.

[11] LangJérôme,et al. Fuzzy sets in approximate reasoning, part 2 , 1991 .

[12] Lubomir F. Bic,et al. Learning from AI: New Trends in Database Technology , 1986, Computer.

[13] James F. Baldwin,et al. Evidential support logic programming , 1987 .

[14] Chuen-Chien Lee. FUZZY LOGIC CONTROL SYSTEMS: FUZZY LOGIC CONTROLLER - PART I , 1990 .

[15] D. Dubois,et al. Fuzzy sets in approximate reasoning, part 2: logical approaches , 1991 .