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.

[1]  Chris Cornelis,et al.  Uncertainty Modeling by Bilattice-Based Squares and Triangles , 2007, IEEE Transactions on Fuzzy Systems.

[2]  Angus Macintyre,et al.  Trends in Logic , 2001 .

[3]  Matthew L. Ginsberg,et al.  Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..

[4]  Luís Moniz Pereira,et al.  Monotonic and Residuated Logic Programs , 2001, ECSQARU.

[5]  Luís Moniz Pereira,et al.  An encompassing framework for Paraconsistent Logic Programs , 2005, J. Appl. Log..

[6]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[7]  John Grant,et al.  Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.

[8]  Manuel Ojeda-Aciego,et al.  Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[9]  Michael Gelfond,et al.  Logic Programs with Consistency-Restoring Rules , 2003 .

[10]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[11]  Manuel Ojeda-Aciego,et al.  Measuring Inconsistency in Fuzzy Answer Set Semantics , 2011, IEEE Transactions on Fuzzy Systems.

[12]  Melvin Fitting,et al.  Fixpoint Semantics for Logic Programming a Survey , 2001, Theor. Comput. Sci..

[13]  Li-Yan Yuan,et al.  Coherence Approach to Logic Program Revision , 1995, IEEE Trans. Knowl. Data Eng..

[14]  Witold Pedrycz,et al.  Fuzzy Logic and Applications , 2013, Lecture Notes in Computer Science.

[15]  Chris Cornelis,et al.  A Bilattice-Based Framework for Handling Graded Truth and Imprecision , 2007, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[16]  Didier Dubois,et al.  Checking the coherence and redundancy of fuzzy knowledge bases , 1997, IEEE Trans. Fuzzy Syst..

[17]  Manuel Ojeda-Aciego,et al.  On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs , 2009, WILF.

[18]  Leopoldo E. Bertossi,et al.  Logic Programs for Querying Inconsistent Databases , 2003, PADL.

[19]  Melvin Fitting,et al.  Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..