Skip to main content
SpringerLink
Log in

The Theory of Fuzzy Logic Programming

  • Conference paper
Fuzzy Information and Engineering

Part of the book series: Advances in Soft Computing ((AINSC,volume 40))

  • 752 Accesses

Abstract

The complete formal specification of fuzzy Horn clause logic and its semantics interpretation is presented as well as a proof theory for fuzzy Horn clauses. We show that, the procedural interpretation for Horn clauses can be developed in much the same way for fuzzy Horn clauses. Then the theory of fuzzy logic programming is developed.

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 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.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. Zadeh, L.A.: Fuzzy sets. J. Information and Control 8, 338–353 (1965)

    Article  MATH  MathSciNet  Google Scholar 

  2. Kowalski, R.A.: Predicate logic as programming language. In: Rosenfeld, J.L. (ed.) Information Processing 74, Proceedings of IFIP congress 74, Stockholm, pp. 569–574. North-Holland, Amsterdam (1974)

    Google Scholar 

  3. Liu, D.B., Li, D.Y.: Fuzzy reasoning based on f-Horn clause rules. In: Grabowski, J., Lescanne, P., Wechler, W. (eds.) Algebraic and Logic Programming, Proceedings of 1st Int. Workshop on Algebraic and Logic Programming, Gaussig, GDR, pp. 214–222 (1988)

    Google Scholar 

  4. Li, D.Y., Liu, D.B.: A fuzzy PROLOG database system. John Wiley & Sons, New York (1990)

    Google Scholar 

  5. van Emden, M.H., Kowalski, R.A.: The semantics of logic as a programming language. J. Assoc. Comput. Mach. 23, 733–742 (1976)

    MATH  MathSciNet  Google Scholar 

  6. Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. J. Assoc. Comput. Mach. 29, 841–862 (1982)

    MATH  MathSciNet  Google Scholar 

  7. Park, D.: Fixpoint induction and proofs of program propreties. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 5, pp. 59–78. Edinburgh University Press, Edinburgh (1969)

    Google Scholar 

  8. van Emden, M.H.: Quantitative deduction and its fixpoint theory. J. Logic Programming 1, 37–53 (1986)

    Article  Google Scholar 

  9. Vojtas, P.: Fuzzy logic programming. J. Fuzzy Sets and Systems 1, 361–370 (2001)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Computer Science & Technology, Huazhong University of Science & Technology, 430000, Wuhan, China

    Dong-Bo Liu & Zheng-Ding Lu

  2. Institute of China Electronic System Engineering, 100039, Beijing, China

    Dong-Bo Liu

Authors
  1. Dong-Bo Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zheng-Ding Lu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bing-Yuan Cao

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liu, DB., Lu, ZD. (2007). The Theory of Fuzzy Logic Programming. In: Cao, BY. (eds) Fuzzy Information and Engineering. Advances in Soft Computing, vol 40. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71441-5_58

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-71441-5_58

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-71440-8

  • Online ISBN: 978-3-540-71441-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation