Skip to main content
SpringerLink
Log in

The Semantics of Dynamic Fuzzy Logic Programming Language

  • Conference paper
Emerging Research in Artificial Intelligence and Computational Intelligence (AICI 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 237))

  • 1629 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adamo, J.M.: L.P.L. A Fuzzy Programming Language: 1. syntactic aspects. J. Fuzzy Set and Systems 3, 151–179 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  2. Adamo, J.M.: L.P.L. A Fuzzy Programming Language: 2. Semantic Aspects. J. Fuzzy Set and Systems 3, 261–289 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  3. Alvarez, D.S., Gó mez Skarmeta, A.F.: A fuzzy language. J. Fuzzy Sets and System 141, 335–390 (2004)

    Article  MathSciNet  Google Scholar 

  4. Tang, Z.-s.: Temporal Logic programming and software engineering (in Chinese). Science Press, Beijing (2002)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Lu, R.-q.: Formal semantics of computer languages. Science Press, Beijing (1992) (in Chinese)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science & Technology, Shandong Institute of Business and Technology, Yantai, China

    Xiaofang Zhao

Authors
  1. Xiaofang Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Business Information technology, RMIT University, GPO Box 2476V, 3000, Melbourne, Victoria, Australia

    Hepu Deng

  2. Department of Computer Science and Technology, Tongji University, Shanghai, China

    Duoqian Miao

  3. Caritas Institute of Higher Education, 18 Chui Ling Road, Tseung Kwan, Hong Kong, SAR, China

    Fu Lee Wang

  4. School of Computer and Information Engineering, Shanghai University of Electric Power, 200090, Shanghai, China

    Jingsheng Lei

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation