Combining Tabulation and Thresholding Techniques for Executing Multi-Adjoint Logic Programs

P. Julián, G. Moreno, J. Medina, M. Ojeda-Aciego

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.

PDF full paper