On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
Different notions of coherence and consistence have been proposed in the literature on fuzzy systems. In this work we focus on the relationship between some of the approaches developed, on the one hand, based on residuated lattices and, on the other hand, based on the theory of bilattices.
KeywordsFuzzy System Logic Program Logic Programming Residuated Lattice Negation Operator
Unable to display preview. Download preview PDF.
- 2.Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: International Symposium on Logical Formalization of Commonsense Reasoning. AAAI 2003 Spring Symposium Series, pp. 9–18 (2003)Google Scholar
- 13.Madrid, N., Ojeda-Aciego, M.: Towards a fuzzy answer set semantics for residuated logic programs. In: Proc. of WI-IAT 2008 Workshop on Fuzzy Logic in the Web, pp. 260–264 (2008)Google Scholar
- 15.Madrid, N., Ojeda-Aciego, M.: Measuring inconsistency in fuzzy answer set semantics. IEEE Transactions on Fuzzy Systems (2011) (accepted)Google Scholar