PROCEEDINGS IPMU '08
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 |