nach oben

Erschienen in:

2015 | OriginalPaper | Buchkapitel

Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models

verfasst von : Jesús M. Almendros-Jiménez, Miquel Bofill, Alejandro Luna-Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret

Erschienen in: Scalable Uncertainty Management

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

In this paper we deal with propositional fuzzy formulae containing several propositional symbols linked with connectives defined in a lattice of truth degrees more complex than Bool. Instead of focusing on satisfiability (i.e., proving the existence of at least one model) as usually done in a SAT/SMT setting, our interest moves to the problem of finding the whole set of models (with a finite domain) for a given fuzzy formula. We reuse a previous method based on fuzzy logic programming where the formula is conceived as a goal whose derivation tree, provided by our FLOPER tool, contains on its leaves all the models of the original formula, together with other interpretations. Next, we use the ability of the FuzzyXPath tool (developed in our research group with FLOPER) for exploring these derivation trees once exported in XML format, in order to discover whether the formula is a tautology, satisfiable, or a contradiction, thus reinforcing the bi-lateral synergies between FuzzyXPath and FLOPER.

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 Using Rules of Thumb for Repairing Inconsistent Answer Set Programs

Nächstes Kapitel ERBlox: Combining Matching Dependencies with Machine Learning for Entity Resolution

Here mgu(E) denotes the most general unifier of an equation set E [15].

Almendros-Jiménez, J.M., Luna, A., Moreno, G.: A XPath debugger based on fuzzy chance degrees. In: Herrero, P., Panetto, H., Meersman, R., Dillon, T. (eds.) OTM-WS 2012. LNCS, vol. 7567, pp. 669–672. Springer, Heidelberg (2012) CrossRef

Almendros-Jiménez, J.M., Luna, A., Moreno, G.: Fuzzy logic programming for implementing a flexible XPath-based query language. Electron. Notes Theor. Comput. Sci. 282, 3–18 (2012)CrossRef

Almendros-Jiménez, J.M., Luna Tedesqui, A., Moreno, G.: Annotating “fuzzy chance degrees” when debugging XPath queries. In: Rojas, I., Joya, G., Cabestany, J. (eds.) IWANN 2013, Part II. LNCS, vol. 7903, pp. 300–311. Springer, Heidelberg (2013) CrossRef

Almendros-Jiménez, J.M., Luna, A., Moreno, G.: Fuzzy XPath through fuzzy logic programming. New Gener. Comput. 33(2), 173–209 (2015)CrossRef

Almendros-Jiménez, J.M., Luna, A., Moreno, G., Vázquez, C.: Analyzing fuzzy logic computations with fuzzy XPath. In: Proceedings of XIII Spanish Conference on Programming and Languages, PROLE 2013, pp. 136–150 (extended version to appear in ECEASST). Complutense University of Madrid (2013)

Ansótegui, C., Bofill, M., Manyà, f., Villaret, M.: Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers. In: Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, pp. 25–30 (2012)

Apt, K.R.: Introduction to logic programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics, pp. 493–574. Elsevier, MIT Press, Amsterdam, Cambridge (1990)

Arcelli, F., Formato, F.: A similarity-based resolution rule. Int. J. Intell. Syst. 17(9), 853–872 (2002)MATHCrossRef

Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Biere, A., Heule, M., van Mareen, H., Walsh, T. (eds.) Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185, pp. 825–885. IOS Press, Amsterdam (2009)

10.

Berglund, A., Boag, S., Chamberlin, D., Fernandez, M.F., Kay, M., Robie, J., Siméon, J.: XML path language (XPath) 2.0. In: W3C (2007)

11.

Bofill, M., Moreno, G., Vázquez, C., Villaret, M.: Automatic proving of fuzzy formulae with fuzzy logic programming and SMT. In: Proceedings of XIII Spanish Conference on Programming and Languages, PROLE 2013, pp. 151–165 (extended version to appear in ECEASST). Complutense University of Madrid (2013)

12.

Bratko, I.: Prolog Programming for Artificial Intelligence. Addison Wesley, Harlow (2000)

13.

Gerla, G.: Fuzzy control as a fuzzy deduction system. Fuzzy Sets Syst. 121(3), 409–425 (2001)MATHMathSciNetCrossRef

14.

Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. Logic Program. 12, 335–367 (1992)MathSciNetCrossRef

15.

Lassez, J.L., Maher, M.J., Marriott, K.: Unification revisited. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 587–625. Morgan Kaufmann, Los Altos (1988)

16.

Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)MATHCrossRef

17.

Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. (Elsevier) 146, 43–62 (2004)MATHCrossRef

18.

Moreno, G., Vázquez, C.: Fuzzy logic programming in action with FLOPER. J. Softw. Eng. Appl. 7, 273–298 (2014)CrossRef

19.

Muñoz-Hernández, S., Pablos-Ceruelo, V., Strass, H.: Rfuzzy: syntax, semantics and implementation details of a simple and expressive fuzzy tool over prolog. Inf. Sci. 181(10), 1951–1970 (2011)CrossRef

20.

Stickel, M.E.: A prolog technology theorem prover: implementation by an extended prolog compiler. J. Autom. Reasoning 4(4), 353–380 (1988)MATHMathSciNetCrossRef

21.

Vidal, A., Bou, F., Godo, L.: An SMT-based solver for continuous t-norm based logics. In: Hüllermeier, E., Link, S., Fober, T., Seeger, B. (eds.) SUM 2012. LNCS, vol. 7520, pp. 633–640. Springer, Heidelberg (2012) CrossRef

Titel: Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
verfasst von: Jesús M. Almendros-Jiménez
Miquel Bofill
Alejandro Luna-Tedesqui
Ginés Moreno
Carlos Vázquez
Mateu Villaret
Verlag: Springer International Publishing
Buch: Scalable Uncertainty Management
Print ISBN: 978-3-319-23539-4

Electronic ISBN: 978-3-319-23540-0

Copyright-Jahr: 2015
DOI: https://doi.org/10.1007/978-3-319-23540-0_26

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner