Abstract
In order to give a suitable framework for a synonymy-based logic programming, we argue about the possibility of reducing fuzzy logic programming to classical logical programming. More precisely, we show that given a fuzzy program in a language L, we can translate it into an equivalent classical program in a (meta-)language \( {\text{L}}_{m} \) in which every predicate name in L becomes a constant in \( {\text{L}}_{m} . \) This enables us to admit in \( {\text{L}}_{m} \) meta-relations among predicates and therefore, in particular, the synonymy.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alsinet T, Godo L (2004) Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants. Fuzzy Sets Syst 144:43–65. doi:10.1016/j.fss.2003.10.013
Biacino L, Gerla G (1987) Recursively enumerable L-sets. Z Math Logik Grundlagen Math 33(2):107–113. doi:10.1002/malq.19870330204
Biacino L, Gerla G (1998) Logics with approximate premises. Int J Intell Syst 13:1–10. doi:10.1002/(SICI)1098-111X(199801)13:1<1::AID-INT1>3.0.CO;2-U
Biacino L, Gerla G, Ying M (2000) Approximate reasoning based on similarity. Math Log Q 46:77–86. doi:10.1002/(SICI)1521-3870(200001)46:1<77::AID-MALQ77>3.0.CO;2-X
Costantini S (2002) Meta-reasoning: a survey. In: Lecture notes in computer science, computational logic: logic programming and beyond, vol 2408/2002. Springer, Berlin/Heidelberg
Ebrahim R (2001) Fuzzy logic programming. Fuzzy Sets Syst 117:215–230. doi:10.1016/S0165-0114(98)00300-5
Fontana A, Formato F, Gerla G (1998) Fuzzy unification as a foundation of fuzzy logic programming. In: Logic programming and soft computing. RSP-Wiley, England, pp 51–68
Formato F, Gerla G, Sessa MI (2000) Similarity-based unification. Fundamenta Informaticae 41(4):393–414
Gerla G (2001) Fuzzy logic: mathematical tools for approximate reasoning. Kluwer, Norwell
Gerla G (2005) Fuzzy logic programming and fuzzy control. Stud Log 79:231–254. doi:10.1007/s11225-005-2977-0
Gerla G (2006) Effectiveness and multivalued logics. J Symbolic Log 71:137–162. doi:10.2178/jsl/1140641166
Hill PM, Gallagher J (1998) Meta-programming in logic programming. Handbook of logic in artificial intelligence and logic programming, vol 5. Oxford University Press, New York, pp 421–497
Medina J, Ojeda-Aciego M, Vojtáš P (2004) Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst 146:43–62. doi:10.1016/j.fss.2003.11.005
Pavelka J (1979) On fuzzy logic I: many-valued rules of inference. Z Math Logik Grundlagen Math 25:45–52. doi:10.1002/malq.19790250304
Valverde L (1985) On the structure of F-indistinguishability operators. Fuzzy Sets Syst 17:313–328. doi:10.1016/0165-0114(85)90096-X
Vojtáš P (2001) Fuzzy logic programming. Fuzzy Sets Syst 124:361–370. doi:10.1016/S0165-0114(01)00106-3
Wiedermann J (2002) Fuzzy turing machines revised. Comput Inf 21(3):251–263
Ying M (1994) A logic for approximate reasoning. J Symbolic Log 59:830–837. doi:10.2307/2275910
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Genito, D., Gerla, G. & Vignes, A. Meta-logic programming for a synonymy logic. Soft Comput 14, 299–311 (2010). https://doi.org/10.1007/s00500-009-0404-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-009-0404-6