Sorted Multi-Adjoint Logic Programs:

Source: CiteSeer


A general framework of logic programming allowing for the combination of several adjoint lattices of truth-values is presented. The main contribution is a new sufficient condition which guarantees termination of all queries for the fixpoint semantics for an interesting class of programs. Several extensions of these conditions are presented and related to some well-known formalisms for probabilistic logic programming.

2 Reads
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: A synthesis of results of the recently introduced paradigm of multi-adjoint logic programming is presented. These results range from a proof theory to-gether with some (quasi)completeness results to general termination results, and from the neural-like implementa-tion of its fix-point semantics to the more general biresiduated multi-adjoint logic programming and its relationship with other approaches.

Similar Publications