PublisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Rights accessOpen Access
A generalization of the homogenization process needed for the neural im-
plementation of multi-adjoint logic programming (a unifying theory to deal
with uncertainty, imprecise data or incomplete information) is presented here.
The idea is to allow to represent a more general family of adjoint pairs, but
maintaining the advantage of the existing implementation recently introduced
in . The soundness of the transformation is proved and its complexity is
analysed. In addition, the corresponding generalization of the neural-like
implementation of the fixed point semantics of multi-adjoint is presented.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: firstname.lastname@example.org