A substitution is a mapping from variables to terms. There is a consensus in the Logic Programming community that the work with substitutions is a source of errors due to their poor algebraic properties. This problem ...
详细信息
A substitution is a mapping from variables to terms. There is a consensus in the Logic Programming community that the work with substitutions is a source of errors due to their poor algebraic properties. This problem increases when we manipulate substi-tutions in the framework of similarity relations, where some classical concepts have more complex definitions and the intuition of the result of the operations involving them is easily *** this work we analyze some algebraic properties of substitutions in the framework of similarity relations. Specifically, we study the lattice structure of the set of idempotent substitutions with the definition of the weakparallel composition and weak parallel factorization operations, acting as the join and meet of the lattice. Also we relate these operations with the classical operation of composition of substitutions. The aim is to provide fuzzy logic programming researchers with reasoning tools with richer properties that facilitate formal proofs and, even, able to define compositional and parallel semantics.(c) 2023 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http:// creativecommons .org /licenses /by -nc -nd /4 .0/).
暂无评论