Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Programming in Picat Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees

verfasst von : Pascual Julián-Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez

Erschienen in: Rule Technologies. Research, Tools, and Applications

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

This work proposes a declarative semantics based on a fuzzy variant of the classical notion of least Herbrand model for the so-called FASILL language (acronym of “Fuzzy Aggregators and Similarity Into a Logic Language”) which has been recently designed and implemented in our research group for coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Business Rules Uncertainty Management with Probabilistic Relational Models
Nächstes Kapitel Controlling the Average Behavior of Business Rules Programs
Fußnoten
1
Two different programming environments for \(\mathsf{Bousi}{\sim }\mathsf{Prolog}\) are available at http://​dectau.​uclm.​es/​bousi/​.
 
2
The tool is freely accessible from the Web site http://​dectau.​uclm.​es/​floper/​.
 
3
This convention is quite standard and even used in a pure logic language like Prolog, where the reserved words true and fail -which directly resemble the pair of elements conforming the fixed lattice of truth degrees associated to any Prolog program- can be freely used on goals and clause bodies.
 
4
Here, the connectives \(\varsigma \) are binary operations but we usually generalize them with an arbitrary number of arguments, that is, with truth function \(\mathbf {\dot{\varsigma }} : L^n\rightarrow L\).
 
5
Note that, in the antecedent of this implication we use the order for pairs, (which is defined as \((x_1,y_1)\le (x_2,y_2)\) if, and only if, \(x_1\le x_2 \text{ and } y_1\le y_2\)), while in the consequent the usual order on the interval [0, 1] is considered. Similarly, it is possible to extend the usual order on [0, 1], for n-ary connectives.
 
6
For convenience, \({\mathcal R}(x,y)\), also denoted \(x{\mathcal R}y\), refers to both the syntactic expression (that symbolizes that the elements \(x,y\in {\mathcal U}\) are related by \({\mathcal R}\)) and the membership degree \(\mu _{\mathcal R}(x,y)\), i.e., the affinity degree of the pair \((x,y)\in {\mathcal U}\times {\mathcal U}\) with the verbal predicate (or fuzzy predicate) \({\mathcal R}\).
 
7
Note that elegant(taxi) and vanguardist(metro) are 1-ary predicates, whereas that taxi, metro are terms with arity 0, i.e. constants.
 
8
Note that, X-MALP programs do not rely on adjoint pairs.
 
9
Sometimes we will abbreviate writing “fuzzy model” or simply “model”.
 
10
Sometimes we will abbreviate writing “least fuzzy model” or simply “least model”.
 
11
The last version of the FLOPER system which copes with similarity relations can be freely downloaded from http://​dectau.​uclm.​es/​floper/​?​q=​sim and it can be tested on-line through http://​dectau.​uclm.​es/​floper/​?​q=​sim/​test.
 
Literatur
1.
Arcelli, F.: Likelog for flexible query answering. Soft Comput. 7(2), 107–114 (2002)CrossRefMATH
2.
Arcelli, F., Formato, F.: Likelog: a logic programming language for flexible data retrieval. In: Proceedings of the ACM Symposium on Applied Computing, SAC 1999, San Antonio, Texas, pp. 260–267. ACM, Artificial Intelligence and Computational Logic (1999)
3.
Caballero, R., Rodríguez-Artalejo, M., Romero-Díaz, C.A.: Similarity-based reasoning in qualified logic programming. In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP 2008, pp. 185–194. ACM, New York (2008)
4.
Caballero, R., Rodríguez-Artalejo, M., Romero-Díaz, C.A.: A transformation-based implementation for CLP with qualification and proximity. Theory Pract. Logic Program. 14(1), 1–63 (2014)MathSciNetCrossRefMATH
5.
Dubois, D., Prade, H.: Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York (1980)MATH
6.
Formato, F., Gerla, G., Sessa, M.I.: Similarity-based unification. Fundamenta Informaticae 41(4), 393–414 (2000)MathSciNetMATH
7.
Julián Iranzo, P., Moreno, G., Penabad, J., Vázquez, C.: A fuzzy logic programming environment for managing similarity and truth degrees. In: Escobar, S. (ed.) Proceedings of XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cádiz, Spain. EPTCS, vol. 173, pp. 71–86 (2015). http://​dx.​doi.​org/​10.​4204/​EPTCS.​173.​6
8.
9.
Julián, P., Moreno, G., Penabad, J.: On the declarative semantics of multi-adjoint logic programs. In: Cabestany, J., Sandoval, F., Prieto, A., Corchado, J.M. (eds.) IWANN 2009, Part I. LNCS, vol. 5517, pp. 253–260. Springer, Heidelberg (2009)CrossRef
10.
Julián-Iranzo, P., Moreno, G., Vázquez, C.: Similarity-based strict equality in a fully integrated fuzzy logic language. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 193–207. Springer, Heidelberg (2015)CrossRef
11.
Julián-Iranzo, P., Rubio-Manzano, C.: A declarative semantics for Bousi\(\sim \)Prolog. In: Proceedings of 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP 2009, Coimbra, Portugal, pp. 149–160. ACM (2009)
12.
13.
Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. Logic Program. 12, 335–367 (1992)MathSciNetCrossRef
14.
15.
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. 146, 43–62 (2004)MathSciNetCrossRefMATH
16.
Morcillo, P.J., Moreno, G., Penabad, J., Vázquez, C.: A practical management of fuzzy truth-degrees using FLOPER. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 20–34. Springer, Heidelberg (2010)CrossRef
17.
Moreno, G., Penabad, J., Vázquez, C.: Beyond multi-adjoint logic programming. Int. J. Comput. Math. 92(9), 1956–1975 (2014)MathSciNetCrossRefMATH
18.
Moreno, G., Vázquez, C.: Fuzzy logic programming in action with FLOPER. J. Softw. Eng. Appl. 7, 237–298 (2014)CrossRef
19.
Muñoz-Hernández, S., Ceruelo, V.P., Strass, H.: RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog. Inform. Sci. 181(10), 1951–1970 (2011)MathSciNetCrossRef
20.
Nguyen, H.T., Walker, E.A.: A First Course in Fuzzy Logic. Chapman & Hall, Boca Ratón (2006)MATH
21.
Rodríguez-Artalejo, M., Romero-Díaz, C.A.: Quantitative logic programming revisited. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, pp. 272–288. Springer, Heidelberg (2008)CrossRef
22.
Rubio-Manzano, C., Julián-Iranzo, P.: A fuzzy linguistic prolog and its applications. J. Intell. Fuzzy Syst. 26(3), 1503–1516 (2014)
23.
24.
25.
Metadaten
Titel
A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees
verfasst von
Pascual Julián-Iranzo
Ginés Moreno
Jaime Penabad
Carlos Vázquez
Copyright-Jahr
2016
Buch
Rule Technologies. Research, Tools, and Applications

Print ISBN: 978-3-319-42018-9

Electronic ISBN: 978-3-319-42019-6

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-42019-6_5

Premium Partner

    Bildnachweise