Skip to main content
SpringerLink
Log in

Fixpoint Semantics and Completeness of the Computational Model for Fuzzy Linguistic Logic Programming

  • Conference paper
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence (ICIC 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5227))

Included in the following conference series:

  • 2133 Accesses

Abstract

Fuzzy linguistic logic programming, which is a result of integrating hedge algebras and fuzzy logic programming, is proposed to facilitate the representation and reasoning on knowledge expressed in natural language, in which vague sentences are usually given a degree of truth stated in linguistic terms rather than a number, and linguistic hedges are very often used. To compute the truth value of a query, a computational model which directly manipulates linguistic terms is provided. The computational model has been proved to be sound. This paper presents a fixpoint semantics for fuzzy linguistic logic programs and based on it proves the completeness of the computational model.

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 189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)

    MATH  Google Scholar 

  2. Krajči, S., Lencses, R., Vojtáš, P.: A Comparison of Fuzzy and Annotated Logic Programming. Fuzzy Sets and Syst. 144, 173–192 (2004)

    Article  MATH  Google Scholar 

  3. Le, V.H., Liu, F., Tran, D.K.: Fuzzy Linguistic Logic Programming. In: Huang, D.S., et al. (eds.) ICIC 2008. LNCS (LNAI) (to appear, 2008)

    Google Scholar 

  4. Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)

    MATH  Google Scholar 

  5. Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-Based Unification: A Multi-adjoint Approach. Fuzzy Sets and Syst. 146, 43–62 (2004)

    Article  MATH  Google Scholar 

  6. Nguyen, C.H., Wechler, W.: Hedge Algebras: An Algebraic Approach to Structure of Sets of Linguistic Truth Values. Fuzzy Sets and Syst. 35, 281–293 (1990)

    Article  MATH  Google Scholar 

  7. Nguyen, C.H., Wechler, W.: Extended Hedge Algebras and their Application to Fuzzy Logic. Fuzzy Sets and Syst. 52, 259–281 (1992)

    Article  MATH  Google Scholar 

  8. Tarski, A.: A Lattice-Theoretical Fixpoint Theorem and its Applications. Pacific J. of Math. 5, 285–309 (1955)

    MATH  MathSciNet  Google Scholar 

  9. Vojtáš, P.: Fuzzy Logic Programming. Fuzzy Sets and Syst. 124, 361–370 (2001)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Computer Engineering, La Trobe University, Bundoora, VIC 3086, Australia

    Van Hung Le & Fei Liu

  2. Faculty of Information Technology, Hanoi University of Technology, Hanoi, Vietnam

    Dinh Khang Tran

Authors
  1. Van Hung Le
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fei Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dinh Khang Tran
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

De-Shuang Huang Donald C. Wunsch II Daniel S. Levine Kang-Hyun Jo

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Le, V.H., Liu, F., Tran, D.K. (2008). Fixpoint Semantics and Completeness of the Computational Model for Fuzzy Linguistic Logic Programming. In: Huang, DS., Wunsch, D.C., Levine, D.S., Jo, KH. (eds) Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence. ICIC 2008. Lecture Notes in Computer Science(), vol 5227. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85984-0_51

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85984-0_51

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85983-3

  • Online ISBN: 978-3-540-85984-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation