Thresholded Tabulation in a Fuzzy Logic Setting

uncategorised

Authors

Pascual Julián Iranzo

Jesús Medina

Ginés Moreno

Manuel Ojeda-Aciego

Published

1 January 2008

Publication details

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, {PROLE} 2008, Gij{'{o}}n, Spain, October 8-10, 2008 , Electronic Notes in Theoretical Computer Science vol. 248, pages 115–130.

Links

Abstract

Fuzzy logic programming represents a flexible and powerful declarative paradigm amalgamating fuzzy logic and logic programming, for which there exists different promising approaches described in the literature. In this paper we propose an improved fuzzy query answering procedure for the so called multi-adjoint logic programming approach, which avoids the re-evaluation of goals and the generation of useless computations thanks to the combined use of tabulation with thresholding techniques. The general idea is that, when trying to perform a computation step by using a given program rule R, we firstly analyze if such step might contribute to reach further significant solutions (non tabulated yet). When it is the case, it is possible to avoid a useless computation step via a rule R by using thresholds and filters based on the truth degree of R, as well as a safe, accurate and dynamic estimation of the maximum truth degree associated to its body.

Citation

Please, cite this work as:

[Ira+08] P. J. Iranzo, J. Medina, G. Moreno, et al. “Thresholded Tabulation in a Fuzzy Logic Setting”. In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008. Ed. by J. M. Almendros-Jiménez. Vol. 248. Electronic Notes in Theoretical Computer Science. Elsevier, 2008, pp. 115-130. DOI: 10.1016/J.ENTCS.2009.07.063. URL: https://doi.org/10.1016/j.entcs.2009.07.063.

BibTeX

@InProceedings{Iranzo2008,
     author = {Pascual Juli{’a}n Iranzo and Jes{’u}s Medina and Gin{’e}s Moreno and Manuel Ojeda-Aciego},
     booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, {PROLE} 2008, Gij{'{o}}n, Spain, October 8-10, 2008},
     title = {Thresholded Tabulation in a Fuzzy Logic Setting},
     year = {2008},
     editor = {Jes{’u}s Manuel Almendros-Jim{’e}nez},
     pages = {115–130},
     publisher = {Elsevier},
     series = {Electronic Notes in Theoretical Computer Science},
     volume = {248},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/journals/entcs/IranzoMMO09.bib},
     doi = {10.1016/J.ENTCS.2009.07.063},
     timestamp = {Thu, 09 Mar 2023 14:51:20 +0100},
     url = {https://doi.org/10.1016/j.entcs.2009.07.063},
}

Bibliometric data

The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.

Thresholded Tabulation in a Fuzzy Logic Setting

Cites

The following graph plots the number of cites received by this work from its publication, on a yearly basis.

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] J. C. Díaz-Moreno, J. Medina, and J. R. Portillo. “Fuzzy logic programs as hypergraphs. Termination results”. In: Fuzzy Sets and Systems 445 (Sep. 2022), p. 22–42. ISSN: 0165-0114. DOI: 10.1016/j.fss.2022.02.001. URL: http://dx.doi.org/10.1016/j.fss.2022.02.001.

[2] J. A. Guerrero, F. Mendieta, G. Moreno, et al. “Testing properties of fuzzy connectives and truth degrees with the latticemaker tool”. In: 2017 IEEE Symposium Series on Computational Intelligence (SSCI). IEEE, Nov. 2017, p. 1–8. DOI: 10.1109/ssci.2017.8280961. URL: http://dx.doi.org/10.1109/ssci.2017.8280961.

[3] J. Guerrero, M. Del Senor Martinez, G. Moreno, et al. “Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments”. In: 2015 IEEE Symposium Series on Computational Intelligence. IEEE, Dec. 2015, p. 995–1004. DOI: 10.1109/ssci.2015.145. URL: http://dx.doi.org/10.1109/ssci.2015.145.

[4] P. Julián-Iranzo, G. Moreno, and J. A. Riaza. “The Fuzzy Logic Programming language FASILL: Design and implementation”. In: International Journal of Approximate Reasoning 125 (Oct. 2020), p. 139–168. ISSN: 0888-613X. DOI: 10.1016/j.ijar.2020.06.002. URL: http://dx.doi.org/10.1016/j.ijar.2020.06.002.

[5] P. Julián, J. Medina, G. Moreno, et al. “Efficient Thresholded Tabulation for Fuzzy Query Answering”. In: Foundations of Reasoning under Uncertainty. Springer Berlin Heidelberg, 2010, p. 125–141. ISBN: 9783642107283. DOI: 10.1007/978-3-642-10728-3_7. URL: http://dx.doi.org/10.1007/978-3-642-10728-3_7.

[6] V. H. Le and F. Liu. “Tabulation proof procedures for fuzzy linguistic logic programming”. In: International Journal of Approximate Reasoning 63 (Aug. 2015), p. 62–88. ISSN: 0888-613X. DOI: 10.1016/j.ijar.2015.06.001. URL: http://dx.doi.org/10.1016/j.ijar.2015.06.001.

[7] P. J. Morcillo, G. Moreno, J. Penabad, et al. “A Practical Management of Fuzzy Truth-Degrees Using FLOPER”. In: Semantic Web Rules. Springer Berlin Heidelberg, 2010, p. 20–34. ISBN: 9783642162893. DOI: 10.1007/978-3-642-16289-3_4. URL: http://dx.doi.org/10.1007/978-3-642-16289-3_4.

[8] P. Morcillo, G. Moreno, J. Penabad, et al. “Declarative Traces into Fuzzy Computed Answers”. In: Rule-Based Reasoning, Programming, and Applications. Springer Berlin Heidelberg, 2011, p. 170–185. ISBN: 9783642225468. DOI: 10.1007/978-3-642-22546-8_14. URL: http://dx.doi.org/10.1007/978-3-642-22546-8_14.

[9] G. Moreno, J. Penabad, and C. Vázquez. “Beyond multi-adjoint logic programming”. In: International Journal of Computer Mathematics 92.9 (Nov. 2014), p. 1956–1975. ISSN: 1029-0265. DOI: 10.1080/00207160.2014.975218. URL: http://dx.doi.org/10.1080/00207160.2014.975218.

[10] G. Moreno and J. A. Riaza. “An Online Tool for Unfolding Symbolic Fuzzy Logic Programs”. In: Advances in Computational Intelligence. Springer International Publishing, 2019, p. 475–487. ISBN: 9783030205188. DOI: 10.1007/978-3-030-20518-8_40. URL: http://dx.doi.org/10.1007/978-3-030-20518-8_40.