Multi-adjoint logic programs generalise monotonic and residuated logic programs [1] in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. As our approa...
详细信息
ISBN:
(纸本)078037293X
Multi-adjoint logic programs generalise monotonic and residuated logic programs [1] in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. As our approach has continuousfixpointsemantics, in this work, a procedural semantics is given for the paradigm of multi-adjoint logic programming and a completeness result is proved. Some applications which could benefit from this theoretical approach, such as threshold computation, fuzzy databases and general fuzzy resolution, are commented on.
暂无评论