Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-10T23:01:57.846Z Has data issue: false hasContentIssue false
  • English
  • Français

Fuzzy linguistic logic programming and its applications

Published online by Cambridge University Press:  01 May 2009

VAN HUNG LE ,
FEI LIU  and
DINH KHANG TRAN
VAN HUNG LE
Affiliation:
Department of Computer Science and Computer Engineering, La Trobe University, Bundoora, VIC 3086, Australia (e-mail: vh2le@students.latrobe.edu.au; f.liu@latrobe.edu.au)
FEI LIU
Affiliation:
Department of Computer Science and Computer Engineering, La Trobe University, Bundoora, VIC 3086, Australia (e-mail: vh2le@students.latrobe.edu.au; f.liu@latrobe.edu.au)
DINH KHANG TRAN
Affiliation:
Faculty of Information Technology, Hanoi University of Technology, Hanoi, Vietnam (e-mail: khangtd@it-hut.edu.vn)
Get access Rights & Permissions [Opens in a new window]

Abstract

The paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojtáš, and hedge algebras in order to facilitate the representation and reasoning on human knowledge expressed in natural languages. In fuzzy linguistic logic programming, truth values are linguistic ones, e.g., VeryTrue, VeryProbablyTrue and LittleFalse, taken from a hedge algebra of a linguistic truth variable, and linguistic hedges (modifiers) can be used as unary connectives in formulae. This is motivated by the fact that humans reason mostly in terms of linguistic terms rather than in terms of numbers, and linguistic hedges are often used in natural languages to express different levels of emphasis. The paper presents: (a) the language of fuzzy linguistic logic programming; (b) a declarative semantics in terms of Herbrand interpretations and models; (c) a procedural semantics which directly manipulates linguistic terms to compute a lower bound to the truth value of a query, and proves its soundness; (d) a fixpoint semantics of logic programs, and based on it, proves the completeness of the procedural semantics; (e) several applications of fuzzy linguistic logic programming; and (f) an idea of implementing a system to execute fuzzy linguistic logic programs.

Keywords

fuzzy logic programminghedge algebralinguistic valuelinguistic hedgecomputing with wordsdatabasesqueryingthreshold computationfuzzy control
Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 9 , Issue 3 , May 2009 , pp. 309 - 341
Copyright
Copyright © Cambridge University Press 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Dinh-Khac, D., Hölldobler, S. and Tran, D. K. 2006. The fuzzy linguistic description logic ALCFL. In Proc. of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'2006), Paris, France, 2096–2103.Google Scholar
Gerla, G. 2001. Fuzzy control as fuzzy deduction system. Fuzzy Sets and Systems 121, 409–425.CrossRefGoogle Scholar
Gerla, G. 2005. Fuzzy logic programming and fuzzy control. Studia Logica 79, 231–254.CrossRefGoogle Scholar
Hájek, P. 1998. Metamathematics of Fuzzy Logic. Kluwer, Dordrecht, The Netherlands.CrossRefGoogle Scholar
Krajči, S., Lencses, R. and Vojtáš, P. 2004. A comparison of fuzzy and annotated logic programming. Fuzzy Sets and Systems 144, 173–192.CrossRefGoogle Scholar
Lloyd, J. W. 1987. Foundations of Logic Programming. Springer Verlag, Berlin, Germany.CrossRefGoogle Scholar
Medina, J., Ojeda-Aciego, M. and Vojtáš, P. 2004. Similarity-based unification: a multi-adjoint approach. Fuzzy Sets and Systems 146, 1, 43–62.CrossRefGoogle Scholar
Morcillo, P. J. and Moreno, G. 2008. Using floper for running/debugging fuzzy logic program. In Proc. of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'2008), Magdalena, L., Ojeda-Aciego, M. and Verdegay, J., Ed. Málaga, 481–488.Google Scholar
Naito, E., Ozawa, J., Hayashi, I. and Wakami, N. 1995. A proposal of a fuzzy connective with learning function and query networks for fuzzy retrieval systems. In Fuzziness in Database Management Systems, Bosc, P. and Kacprzyk, J., Ed. Physica-Verlag, Heidelberg, Germany, 345–364.CrossRefGoogle Scholar
Nguyen, C. H., Tran, D. K., Huynh, V. N. and Nguyen, H. C. 1999. Linguistic-valued logic and their application to fuzzy reasoning. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 7, 347–361.CrossRefGoogle Scholar
Nguyen, C. H., Vu, N. L. and Le, X. V. 2008. Optimal hedge-algebras-based controller: Design and application. Fuzzy Sets and Systems 159, 968–989.Google Scholar
Nguyen, C. H. and Wechler, W. 1990. Hedge algebras: An algebraic approach to structure of sets of linguistic truth values. Fuzzy Sets and Systems 35, 281–293.Google Scholar
Nguyen, C. H. and Wechler, W. 1992. Extended hedge algebras and their application to fuzzy logic. Fuzzy Sets and Systems 52, 259–281.Google Scholar
Pokorný, J. and Vojtáš, P. 2001. A data model for flexible querying. In Advances in Databases and Information Systems, ADBIS'01, Caplinskas, A. and Eder, J., Ed. Springer Verlag, Vilnius, Lithuania, 280–293. LNCS 2151.CrossRefGoogle Scholar
Tarski, A. 1955. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5, 285–309.CrossRefGoogle Scholar
Ullman, J. D. 1988. Principles of Database and Knowledge-Base Systems. Vol. 1. Computer Science Press, United States of America, New York.Google Scholar
Vojtáš, P. 2001. Fuzzy logic programming. Fuzzy Sets and Systems 124, 361–370.CrossRefGoogle Scholar
Zadeh, L. A. 1972. A fuzzy-set-theoretic interpretation of linguistic hedges. Journal of Cybernetics 2, 3, 4–34.CrossRefGoogle Scholar
Zadeh, L. A. 1975a. The concept of a linguistic variable and its application in approximate reasoning. Information Sciences 8, 9, 199–249, 301–357, 43–80.CrossRefGoogle Scholar
Zadeh, L. A. 1975b. Fuzzy logic and approximate reasoning. Synthese 30, 407–428.CrossRefGoogle Scholar
Zadeh, L. A. 1979. A theory of approximate reasoning. In Machine Intelligence, Hayes, J. E., Michie, D. and Mikulich, L. I., Ed. Vol. 9. Wiley, 149–194.Google Scholar
Zadeh, L. A. 1989. Knowledge representation in fuzzy logic. IEEE Transactions on Knowledge and Data Engineering 1, 1, 89–99.CrossRefGoogle Scholar
Zadeh, L. A. 1997. Toward a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic. Fuzzy Sets and Systems 90, 111–127.CrossRefGoogle Scholar