Abstract
Dynamic fuzzy problems exist extensively in realistic world. The dynamic fuzzy logic (DFL) programming language is to deal with dynamic fuzzy data. In order to implement DFL programming language, it should be firstly defined. In this paper, we give the denotational semantics of DFL programming language. The work mainly includes modifying the classical lambda calculus to introduce the character of dynamic fuzzy, the descriptions of semantic objects and the handling functions of semantics.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Adamo, J.M.: L.P.L. A Fuzzy Programming Language: 1. syntactic aspects. J. Fuzzy Set and Systems 3, 151–179 (1980)
Adamo, J.M.: L.P.L. A Fuzzy Programming Language: 2. Semantic Aspects. J. Fuzzy Set and Systems 3, 261–289 (1980)
Alvarez, D.S., Gó mez Skarmeta, A.F.: A fuzzy language. J. Fuzzy Sets and System 141, 335–390 (2004)
Tang, Z.-s.: Temporal Logic programming and software engineering (in Chinese). Science Press, Beijing (2002)
Zhao, X.: The Frame of DFL Programming Language. In: 7th International Conference on Fuzzy Systems And Knowledge Discovery, Hai Nan, China, pp. 343–348 (2010)
Li, F.-z., Zheng, J.-l.: Module Operation of Dynamic Fuzzy Stes. Journal of the Central University for Nationalities 16, 96–101 (1997) (in Chinese)
Lu, R.-q.: Formal semantics of computer languages. Science Press, Beijing (1992) (in Chinese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhao, X. (2011). The Semantics of Dynamic Fuzzy Logic Programming Language. In: Deng, H., Miao, D., Wang, F.L., Lei, J. (eds) Emerging Research in Artificial Intelligence and Computational Intelligence. AICI 2011. Communications in Computer and Information Science, vol 237. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24282-3_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-24282-3_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24281-6
Online ISBN: 978-3-642-24282-3
eBook Packages: Computer ScienceComputer Science (R0)