Top

Soft Computing

Published in:

01-02-2010 | Original Paper

Meta-logic programming for a synonymy logic

Authors: Daniele Genito, Giangiacomo Gerla, Alessandro Vignes

Published in: Soft Computing | Issue 3/2010

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

previous article Reprioritization of failures in a silane supply system using an intuitionistic fuzzy set ranking technique

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

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 MATHCrossRefMathSciNet

Biacino L, Gerla G (1987) Recursively enumerable L-sets. Z Math Logik Grundlagen Math 33(2):107–113. doi:10.1002/malq.19870330204 MATHCrossRefMathSciNet

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 MATHCrossRef

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 MATHCrossRefMathSciNet

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 MATHCrossRefMathSciNet

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–414MATHMathSciNet

Gerla G (2001) Fuzzy logic: mathematical tools for approximate reasoning. Kluwer, NorwellMATH

Gerla G (2005) Fuzzy logic programming and fuzzy control. Stud Log 79:231–254. doi:10.1007/s11225-005-2977-0 MATHCrossRefMathSciNet

Gerla G (2006) Effectiveness and multivalued logics. J Symbolic Log 71:137–162. doi:10.2178/jsl/1140641166 MATHCrossRefMathSciNet

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 MATHCrossRef

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 MATHCrossRefMathSciNet

Valverde L (1985) On the structure of F-indistinguishability operators. Fuzzy Sets Syst 17:313–328. doi:10.1016/0165-0114(85)90096-X MATHCrossRefMathSciNet

Vojtáš P (2001) Fuzzy logic programming. Fuzzy Sets Syst 124:361–370. doi:10.1016/S0165-0114(01)00106-3 MATHCrossRef

Wiedermann J (2002) Fuzzy turing machines revised. Comput Inf 21(3):251–263MATHMathSciNet

Ying M (1994) A logic for approximate reasoning. J Symbolic Log 59:830–837. doi:10.2307/2275910 MATHCrossRef

Title: Meta-logic programming for a synonymy logic
Authors: Daniele Genito
Giangiacomo Gerla
Alessandro Vignes
Publication date: 01-02-2010
Publisher: Springer-Verlag
Published in: Soft Computing / Issue 3/2010
Print ISSN: 1432-7643
Electronic ISSN: 1433-7479
DOI: https://doi.org/10.1007/s00500-009-0404-6

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Other articles of this Issue 3/2010

Cyclic elements and subalgebras of GMV-algebras

The individual ergodic theorem on the IF-events with product

Using fuzzy logic for morphological classification of IVUS-based plaques in diseased coronary artery in the context of flow-dynamics

Convergence of gradient method for a fully recurrent neural network

Are basic algebras residuated structures?

Fuzzy Laplace transforms

Premium Partner