Combining Tabulation and Thresholding Techniques for Executing Multi-Adjoint Logic Programs
Pascual Julián-Iranzo, Ginés Moreno, Castilla-La Mancha, Jesús Medina, Manuel Ojeda‐Aciego · 2008
Multi-adjoint logic programming represents an extremely flexible attempt for fuzzifying logic programming, where the classical SLD-resolution principle has been extended to cope with imperfect information. In this paper we propose an enhanced tabulation-based query answering procedure, which avoids the generation of useless computations via thresholding techniques.