Skip to main content
Erschienen in: Soft Computing 3/2010

01.02.2010 | Original Paper

Meta-logic programming for a synonymy logic

verfasst von: Daniele Genito, Giangiacomo Gerla, Alessandro Vignes

Erschienen in: Soft Computing | Ausgabe 3/2010

Einloggen

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Literatur
Zurück zum Zitat 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 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
Zurück zum Zitat 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 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
Zurück zum Zitat Formato F, Gerla G, Sessa MI (2000) Similarity-based unification. Fundamenta Informaticae 41(4):393–414MATHMathSciNet Formato F, Gerla G, Sessa MI (2000) Similarity-based unification. Fundamenta Informaticae 41(4):393–414MATHMathSciNet
Zurück zum Zitat Gerla G (2001) Fuzzy logic: mathematical tools for approximate reasoning. Kluwer, NorwellMATH Gerla G (2001) Fuzzy logic: mathematical tools for approximate reasoning. Kluwer, NorwellMATH
Zurück zum Zitat 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 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
Metadaten
Titel
Meta-logic programming for a synonymy logic
verfasst von
Daniele Genito
Giangiacomo Gerla
Alessandro Vignes
Publikationsdatum
01.02.2010
Verlag
Springer-Verlag
Erschienen in
Soft Computing / Ausgabe 3/2010
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-009-0404-6

Weitere Artikel der Ausgabe 3/2010

Soft Computing 3/2010 Zur Ausgabe