Fuzzy XPath for the automatic search of fuzzy formulae models

​
​ ​ ​ ​
Almendros-Jiménez, Jesús M.
orcId Bofill Arasa, Miquel​ researcherId Bofill Arasa, Miquel​ scopusId Bofill Arasa, Miquel​ ​
Bofill Arasa, Miquel
​ ​ ​ ​
Luna-Tedesqui, Alejandro
​ ​ ​ ​
Moreno, Ginès
​ ​ ​ ​
Vàzquez, Carlos
orcId Villaret i Ausellé, Mateu​ ​ scopusId Villaret i Ausellé, Mateu​ ​
Villaret i Ausellé, Mateu
Texto Completo
FuzzyXPath.pdf embargoed access ​
Solicita copia
Solicita copia
Al rellenar este formulario estáis solicitando una copia del artículo, depositado en el repositorio institucional (DUGiDocs), a su autor o al autor principal del artículo. Será el mismo autor quien decidirá enviar una copia del documento a quien lo solicite si lo considera oportuno. En todo caso, la Biblioteca de la UdG no interviene en este proceso ya que no está autorizada a facilitar artículos cuando éstos son de acceso restringido.
​
Compartir
​
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 ​
​Tots els drets reservats
Mostrar el registro completo del ítem