On the measure of incoherence in extended residuated logic programs | IEEE Conference Publication | IEEE Xplore

On the measure of incoherence in extended residuated logic programs


Abstract:

In this paper we continue analyzing the introduction of negation into the framework of residuated logic programming [18], [19]; specifically, we focus on extended program...Show More

Abstract:

In this paper we continue analyzing the introduction of negation into the framework of residuated logic programming [18], [19]; specifically, we focus on extended programs, in which strong negation is introduced. The classical approach to extended logic programs consists in considering negated literals as new, independent, ones and, then apply the usual monotonic approach (based on the fix-point semantics and the TP operator); if the least fix-point so obtained is inconsistent, then the approach fails and no meaning is attached to the program. This paper introduces several approaches to considering consistence (under the term coherence) into a fuzzy setting, and studies some of their properties.
Date of Conference: 20-24 August 2009
Date Added to IEEE Xplore: 02 October 2009
ISBN Information:
Print ISSN: 1098-7584
Conference Location: Jeju, Korea (South)

References

References is not available for this document.