Efficient Thresholded Tabulation for Fuzzy Query Answering

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