Abstract
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.
Our new language is designed for the programming and modeling of concurrent fuzzy-systems and fuzzy-algorithms. Fuzzy-controller can be formulated in a natural way. Inherent parallelism of fuzzy-systems is expressed implicitly for running on parallel systems.
For modeling of fuzzy-controllers new datatypes and operators for fuzzification and defuzzification are defined.
After a short description of CP the computation model of ConFuP is described. The expressive power of the language is shown on examples for a fuzzy-controller and an expert system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.F. Baldwin. Fuzzy Sets Theory and Applications, chapter Support Logic Program- ming, pages 133–170. D. Reidel Publishing Company, 1986.
J.F. Baldwin. Evidential support logic programming. fuzzy Sets and Systems, 24:1–26, 1987.
Didier Dubois, Jéröme Lang, and Henri Prade. Fuzzy sets in approximate reasoning, part2: Logical approaches. fuzzy Sets and Systems, 40: 203–244, 1991.
Didier Dubois and Henri Prade. A discussion of uncertainty handling in support logic programming. International Journal of Intelligent Systems, (5):15–42, 1990.
Uwe Glässer, Gerd Hannsen, Michael Kircher, and Georg Lehrenfeld. A distributed implementation of flat concurrent prolog on multi-transputer environments. In Proceedings of the First International Conference of the Austrian Center for Parallel Computation,Berlin, 1991. Springer-Verlag.
Uwe Glässer and Georg Lehrenfeld. A distributed implementation of flat concurrent prolog on transputer architectures. In Proceedings of the UNESCO Conference on Parallel Computing in Engineering and Engineering education, pages 181–185, 1990.
M. Ishizuka and N. Kanai. Prolog-elf incorporating fuzzy logic. In Proceedings of the 9th International Joint Conference on Artificial Intelligence(IJCAI 85), pages 701–703, 1985.
Richard C. T. Lee. Fuzzy logic and the resolution principle. Journal of the Association for Computing Machinery, 19 (1): 109–119, January 1972.
C.C. Lee. Fuzzy logic in control systems: Fuzzy logic controller. IEEE Transactions on Systems, Man and Cybernetics, 20: 404–435, 1990.
T.P. Martin and J.F. Baldwin. An abstarct mechanism for handling uncertainty. In Zadeh L. A. Bouchon-Meunier B., Yager R. R, editor, Uncertainty in Knowledge Bases, pages pp. 126–135. Springer, 1990.
T. P. Martin, J.F. Baldwin, and B.W. Pilsworth. The implementation of fprolog-a fuzzy prolog interpreter. Fuzzy Sets and Systems, 23: 119–129, 1987.
M. Mukaidono. Fuzzy Set and Possibility Theory, chapter Fuzzy Inference of Resolution Style, pages 224–231. Pergamon Press, 1982.
M. Stefik, J. Aikins, R. Balzer, L. Birnbaum, F. Hayes-Reigh, and E. Sacerdoti. The organization of expert systems: a tutorial. Artifical Intelligence, 18: 135–173, 1982.
Zuliang Shen, Liya Ding, and Masao Mukaidono. Fuzzy Computing, chapter A Theoretical Framework of Fuzzy Prolog Machine, pages 89–100. Elsevier Science Publishers B.V.., 1988.
Ehud Shapiro. Concurrent prolog: A progress report. IEEE Computer, 19 (8): 44–58, 1986.
E. Shapiro, editor. Cuncurrent Prolog: Collected Papers, volume 2. MIT Press, 1987.
Richard M. Tong. A retrospective view of fuzzy control systems. Fuzzy Sets and Systems, pages 199–210, 1984.
Dr. Thomas Wolf. The fuzzy mobil: controlling with fuzzy(german). MC, (3): 50–57, 1991.
H.-J. Zimmermann. Fuzzy Sets - And Its Applications. Kluwer Acad. Publ., 2., rev. ed. boston edition, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Geiger, C., Lehrenfeld, G., Wiechers, V. (1993). ConFuP — A Concurrent Logic Language with Fuzzy Semantics. In: Reusch, B. (eds) Fuzzy Logic. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78694-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-78694-5_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57524-5
Online ISBN: 978-3-642-78694-5
eBook Packages: Springer Book Archive