×

Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic. (English) Zbl 1315.03041

Summary: As recently proved in a previous work of the second author et al. [ibid. 161, No. 14, 1926–1940 (2010; Zbl 1205.03038)], starting from an evidence pair \((a,b)\) on the real unit square and associated with a propositional statement \(\alpha\), we can construct evidence matrices expressed in terms of four values \(t\), \(f\), \(k\), \(u\) that respectively represent the logical valuations true, false, contradiction (both true and false) and unknown (neither true nor false) regarding the statement \(\alpha\). The components of the evidence pair \((a,b)\) are to be understood as evidence for and against \(\alpha\), respectively. Moreover, the set of all evidence matrices can be equipped with an injective MV-algebra structure. Thus, the set of evidence matrices can play the role of truth-values of a Lukasiewicz-Pavelka fuzzy logic, a rich and applicable mathematical foundation for fuzzy reasoning, and in such a way that the obtained new logic is paraconsistent. In this paper we show that a similar result can be also obtained when the evidence pair \((a,b)\) is given on the real unit triangle. Since the real unit triangle does not admit a natural MV-structure, we introduce some mathematical results to show how this shortcoming can be overcome, and another injective MV-algebra structure in the corresponding set of evidence matrices is obtained. Also, we derive several formulas to explicitly calculate the evidence matrices for the operations associated to the usual connectives.

MSC:

03B52 Fuzzy logic; logic of vagueness
03B53 Paraconsistent logics
06D35 MV-algebras

Citations:

Zbl 1205.03038
Full Text: DOI

References:

[1] Arieli, O.; Cornelis, C.; Deschrijver, G.; Kerre, E., Bilattice-based squares and triangles, symbolic and quantitative approaches to reasoning with uncertainty, (Lecture Notes on Artificial Intelligence, vol. 3571 (2005)), 563-575 · Zbl 1122.03310
[2] Belnap, N. D., A useful four-valued logic, (Epstein, G.; Dumme, J., Modern Uses of Multiple Valued Logics (1977), D. Reidel: D. Reidel Dordrecht) · Zbl 0424.03012
[3] Cornelis, C.; Deschrijver, G.; Kerre, E. E., Advances and challenges in interval-valued fuzzy logic, Fuzzy Sets and Systems, 157, 5, 622-627 (2006) · Zbl 1098.03034
[4] Cornelis, C.; Arieli, O.; Deschrijver, G.; Kerre, E. E., Uncertainty modeling by bilattice-based squares and triangles, IEEE Transactions on Fuzzy Systems, 15, 2, 161-175 (2007)
[5] Fodor, J.; Roubens, M., Fuzzy Preference Modelling and Multicriteria Decision Support (1994), Kluwer: Kluwer Dordrecht-Boston · Zbl 0827.90002
[6] Fortemps, P.; Slowinski, R., A graded quadrivalent logic for ordinal preference modelling: Loyola-like approach, Fuzzy Optimization and Decision Making, 1, 93-111 (2002) · Zbl 1091.91504
[7] Ginsberg, M. L., Multi-valued logics, (Proc. AAAI-86, Fifth National Conference on Artificial Intelligence (1986)), 243-247
[8] Hájek, P., Metamathematics of Fuzzy Logic (1998), Kluwer · Zbl 0937.03030
[10] Kukkurainen, P.; Turunen, E., Many-valued similarity reasoning. An axiomatic approach, Multiple Valued Logic, 8, 5-6, 751-760 (2002) · Zbl 1040.68117
[11] Montero, J.; Tejada, J.; Cutello, V., A general model for deriving preference structures from data, European Journal of Operational Research, 98, 98-110 (1997) · Zbl 0929.91014
[12] Novak, V.; Perfilieva, I.; Mockor, J., Mathematical Principles of Fuzzy Logic (1999), Kluwer: Kluwer Boston · Zbl 0940.03028
[13] Odintsov, S. P., On axiomatizing Shramko-Wansing’s logic, Studia Logica, 93, 407-428 (2009) · Zbl 1170.03014
[14] Öztürk, M.; Tsoukiàs, A., Modelling uncertain positive and negative reasons in decision aiding, Decision Support Systems, 43, 4, 1512-1526 (2007)
[15] Pavelka, J., On fuzzy logic III, Zeitschrift für Mathematische Logik, 25, 447-464 (1979) · Zbl 0446.03016
[16] Perny, P.; Tsoukiàs, A., On the continuous extensions of four valued logic for preference modeling, (Proceedings of the IPMU Conference (1998)), 302-309
[17] Rivieccio, U., Neutrosophic logics: Prospects and problems, Fuzzy Sets and Systems, 159, 1860-1868 (2008) · Zbl 1175.03018
[18] Shramko, Y.; Wansing, H., Some useful 16-valued logics: How a computer network should think, Journal of Philosophical Logic, 34, 121-153 (2005) · Zbl 1094.03012
[19] Shramko, Y.; Wansing, H., Hypercontradictions, generalized truth values, and logics of truth and falsehood, Journal of Logic, Language and Information, 15, 403-424 (2006) · Zbl 1159.03302
[20] Tsoukiàs, A., A first-order, four valued, weakly paraconsistent logic and its relation to rough sets semantics, Foundations of Computing and Decision Sciences, 12, 85-108 (2002)
[21] Tsoukiàs, A.; Vincke, Ph., A new axiomatic foundation of partial comparability, Theory and Decision, 39, 79-114 (1995) · Zbl 0856.90009
[22] Turunen, E., Well-defined fuzzy sentential logic, Mathematical Logic Quarterly, 41, 236-248 (1995) · Zbl 0829.03011
[23] Turunen, E., Mathematics Behind Fuzzy Logic (1999), Springer-Verlag · Zbl 0940.03029
[24] Turunen, E., Interpreting GUHA data mining logic in paraconsistent fuzzy logic framework, (Algorithmic Decision Theory. Algorithmic Decision Theory, Lecture Notes on Artificial Intelligence, vol. 5783 (2009)), 284-293 · Zbl 1260.68388
[25] Turunen, E.; Öztürk, M.; Tsoukiás, A., Paraconsistent semantics for Pavelka style fuzzy sentential logic, Fuzzy Sets and Systems, 161, 14, 1926-1940 (2010) · Zbl 1205.03038
[26] Van Gasse, B.; Cornelis, C.; Deschrijver, G.; Kerre, E. E., Triangle algebras: A formal logic approach to interval-valued residuated lattices, Fuzzy Sets and Systems, 159, 9, 1042-1060 (2008) · Zbl 1174.03028
[27] Zadeh, L. A., Fuzzy sets, Information and Control, 8, 3, 338-353 (1965) · Zbl 0139.24606
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.