Thresholded Tabulation in a Fuzzy Logic Setting

  • Authors:

  • Pascual Julián;Jesús Medina;Ginés Moreno;Manuel Ojeda-Aciego

  • Affiliations:

  • University of Castilla-La Mancha, Department of Information Technologies and Systems;University of Cádiz, Department of Mathematics;University of Castilla-La Mancha, Department of Computing Systems;University of Málaga, Department of Applied Mathematics

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.