×

A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information. (English) Zbl 1456.68186

Summary: Belnap-Dunn four-valued logic is one of the best known logics for handling elementary information items coming from several sources. More recently, a conceptually simple framework, namely a two-tiered propositional logic augmented with classical modal axioms (here called BC logic), was suggested by the second author and colleagues, for the handling of multisource information. It is a fragment of the non-normal modal logic EMN, whose semantics is expressed in terms of two-valued monotonic set functions called Boolean capacities. We show BC logic is more expressive than Belnap-Dunn logic by proposing a consequence-preserving translation of Belnap-Dunn logic in this setting. As special cases, we can recover already studied translations of three-valued logics such as Kleene and Priest logics. Moreover, BC logic is compared with the source-processor logic of Avron, Ben Naim and Konikowska. Our translation bridges the gap between Belnap-Dunn logic, epistemic logic, and theories of uncertainty like possibility theory or belief functions, and paves the way to a unified approach to various methods for handling inconsistency due to several conflicting sources of information.

MSC:

68T27 Logic in artificial intelligence
68T37 Reasoning under uncertainty in the context of artificial intelligence
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Albuquerque, H.; Přenosil, A.; Rivieccio, U., An algebraic view of super-Belnap logics, Stud. Log., 105, 1051-1086 (2017) · Zbl 1417.03175
[2] Amgoud, L.; Ben-Naim, J., Argumentation-based ranking logics, (Weiss, G.; Yolum, P.; Bordini, R. H.; Elkind, E., Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 (2015), ACM), 1511-1519
[3] Amgoud, L.; Ben-Naim, J.; Doder, D.; Vesic, S., Acceptability semantics for weighted argumentation frameworks, (Sierra, C., Proceedings of the 26th International Joint Conference on Artificial Intelligence. Proceedings of the 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 (2017)), 56-62
[4] Arieli, O.; Avron, A.; Zamansky, A., Ideal paraconsistent logics, Stud. Log., 99, 31-60 (2011) · Zbl 1248.03046
[5] Assaghir, Z.; Napoli, A.; Kaytoue, M.; Dubois, D.; Prade, H., Numerical information fusion: lattice of answers with supporting arguments, (23rd IEEE International Conference on Tools with Artificial Intelligence. 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA (2011)), 621-628
[6] Avron, A.; Ben-Naim, J.; Konikowska, B., Processing information from a set of sources, (Makinson, D.; Malinowski, J.; Wansing, H., Trends in Logic. Trends in Logic, Towards Mathematical Philosophy, vol. 28 (2009), Springer), 165-186 · Zbl 1156.03030
[7] Banerjee, M.; Dubois, D., A simple modal logic for reasoning about revealed beliefs, (Sossai, C.; Chemello, G., Proc. ECSQARU 2009, Verona, Italy. Proc. ECSQARU 2009, Verona, Italy, LNAI, vol. 5590 (2009), Springer-Verlag), 805-816 · Zbl 1245.03019
[8] Banerjee, M.; Dubois, D., A simple logic for reasoning about incomplete knowledge, Int. J. Approx. Reason., 55, 639-653 (2014) · Zbl 1316.68151
[9] Belnap, N. D., A useful four-valued logic, (Dunn, J. M.; Epstein, G., Modern Uses of Multiple-Valued Logic (1977), D. Reidel), 8-37 · Zbl 0417.03009
[10] Belnap, N. D., How a computer should think, (Ryle, G., Contemporary Aspects of Philosophy (1977), Oriel Press: Oriel Press Stocksfield, GB), 30-56
[11] Benferhat, S.; Dubois, D.; Prade, H., Some syntactic approaches to the handling of inconsistent knowledge bases: a comparative study part 1: the flat case, Stud. Log., 58, 17-45 (1997) · Zbl 0867.68100
[12] (Besnard, P.; Hunter, A., Reasoning with Actual and Potential Contradictions. Reasoning with Actual and Potential Contradictions, The Handbook of Defeasible Reasoning and Uncertain Information, vol. 2 (1998), Kluwer: Kluwer Dordrecht, The Netherlands) · Zbl 0908.90002
[13] Besnard, P.; Konieczny, S.; Marquis, P., Bipolarity in bilattice logics, Int. J. Intell. Syst., 23, 1046-1061 (2008) · Zbl 1154.03009
[14] Burgess, J. P., Axiomatizing the logic of comparative probability, Notre Dame J. Form. Log., 51, 119-126 (2010) · Zbl 1193.03044
[15] Carnielli, W.; Coniglio, M., Paraconsistent Logic: Consistency, Contradiction and Negation (2016), Springer: Springer Berlin · Zbl 1355.03001
[16] Carnielli, W.; Coniglio, M.; Marcos, J., Logics of formal inconsistency, (Gabbay, D.; Guenthner, F., Handbook of Philosophical Logic, vol. 14 (2007), Springer), 1-93 · Zbl 1266.03006
[17] Chellas, B. F., Modal Logic: an Introduction (1980), Cambridge University Press · Zbl 0431.03009
[18] Cintula, P.; Noguera, C., Modal logics of uncertainty with two-layer syntax: a general completeness theorem, (Kohlenbach, U.; Barceló, P.; de Queiroz, R., Logic, Language, Information, and Computation - Proc. WoLLIC 2014 (2014), Springer), 124-136 · Zbl 1429.03079
[19] Ciucci, D.; Dubois, D., From paraconsistent three-valued logics to multiple-source epistemic logic, (Proc. 8th Conf. of the Eur. Soc. for Fuzzy Logic and Technology. Proc. 8th Conf. of the Eur. Soc. for Fuzzy Logic and Technology, EUSFLAT-13 (2013), Atlantis Press), 780-787
[20] Ciucci, D.; Dubois, D., A modal theorem-preserving translation of a class of three-valued logics of incomplete information, J. Appl. Non-Class. Log., 23, 321-352 (2013) · Zbl 1398.03107
[21] Ciucci, D.; Dubois, D., From possibility theory to paraconsistency, (Beziau, J.-Y.; Chakraborty S. D., M.; S. D., New Directions in Paraconsistent Logic (2015), Springer), 229-248 · Zbl 1423.03099
[22] Ciucci, D.; Dubois, D., A two-tiered propositional framework for handling multisource inconsistent information, (Antonucci, A.; Cholvy, L.; Papini, O., Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2017 (2017), Springer), 398-408 · Zbl 1491.68199
[23] Dubois, D., On ignorance and contradiction considered as truth-values, Log. J. IGPL, 16, 195-216 (2008) · Zbl 1139.03013
[24] Dubois, D., Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic, Soft Comput., 16, 1817-1831 (2012) · Zbl 1344.68227
[25] Dubois, D.; Faux, F.; Prade, H.; Rico, A., Separable qualitative capacities, (Ciucci, D.; Pasi, G.; Vantaggi, B., Scalable Uncertainty Management - SUM 2018, Proceedings (2018), Springer), 124-139
[26] Dubois, D.; Liu, W.; Ma, J.; Prade, H., The basic principles of uncertain information fusion. An organised review of merging rules in different representation frameworks, Inf. Fusion, 32, 12-39 (2016)
[27] Dubois, D.; Prade, H., Possibility theory: qualitative and quantitative aspects, (Gabbay, D. M.; Smets, P., Quantified Representation of Uncertainty and Imprecision. Quantified Representation of Uncertainty and Imprecision, Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 1 (1998), Kluwer Acad. Publ.), 169-226 · Zbl 0924.68182
[28] Dubois, D.; Prade, H., Possibility theory and its applications: where do we stand?, (Kacprzyk, J.; Pedrycz, W., Springer Handbook of Computational Intelligence (2015), Springer), 31-60
[29] Dubois, D.; Prade, H.; Rico, A., On the informational comparison of qualitative fuzzy measures, (Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU 2014, Part I (2014), Springer), 216-225 · Zbl 1419.68162
[30] Dubois, D.; Prade, H.; Rico, A., Representing qualitative capacities as families of possibility measures, Int. J. Approx. Reason., 58, 3-24 (2015) · Zbl 1328.68226
[31] Dubois, D.; Prade, H.; Schockaert, S., Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, Artif. Intell., 252, 139-174 (2017) · Zbl 1419.68110
[32] Dunn, J., Intuitive semantics for first-degree entailment and coupled trees, Philos. Stud., 29, 149-168 (1976) · Zbl 1435.03043
[33] Fitting, M., Bilattices and the semantics of logic programming, J. Log. Program., 11, 91-116 (1991) · Zbl 0757.68028
[34] Flaminio, T.; Godo, L.; Marchioni, E., Reasoning about uncertainty of fuzzy events: an overview, (Cintula, P.; Fermueller, C.; Godo, L.; Hajek, P., Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives (2011), College Publications: College Publications London), 367-401 · Zbl 1275.03103
[35] Font, J., Belnap’s four-valued logic and De Morgan lattices, Log. J. IGPL, 5, 1-29 (1997) · Zbl 0871.03012
[36] Ginsberg, M. L., Multivalued logics: a uniform approach to reasoning in artificial intelligence, Comput. Intell., 4, 265-316 (1988)
[37] Grabisch, M., Set Functions, Games and Capacities in Decision-Making (2016), Springer-Verlag · Zbl 1339.91003
[38] Hájek, P.; Godo, L.; Esteva, F., Fuzzy logic and probability, (Besnard, P.; Hanks, S., UAI ’95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence. UAI ’95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20, 1995 (1995), Morgan Kaufmann), 237-244
[39] Hamblin, C. L., The modal “probably”, Mind, 60, 234-240 (1959)
[40] Kleene, S., Introduction to Metamathematics (1952), North-Holland Pub. Co.: North-Holland Pub. Co. Amsterdam · Zbl 0047.00703
[41] Konieczny, S.; Pino Pérez, R., On the logic of merging, (Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98). Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98), Trento, Italy, June 2-5, 1998 (1998)), 488-498
[42] Konieczny, S.; Pino Pérez, R., Logic based merging, J. Philos. Log., 40, 239-270 (2011) · Zbl 1233.03024
[43] Kyburg, H. E.; Teng, C., The logic of risky knowledge, reprised, Int. J. Approx. Reason., 53, 274-285 (2012) · Zbl 1260.03026
[44] Lima-Marques, W. C.M., Society semantics for multiple-valued logics, (Advances in Contemporary Logic and Computer Science. Advances in Contemporary Logic and Computer Science, Contemp. Math., vol. 235 (1999), American Mathematical Society), 33-52 · Zbl 0942.03034
[45] Pietz, A.; Rivieccio, U., Nothing but the truth, J. Philos. Log., 42, 125-135 (2013) · Zbl 1269.03027
[46] Priest, G., The Logic of Paradox, J. Philos. Log., 8, 219-241 (1979) · Zbl 0402.03012
[47] Priest, G., The Logic of Paradox revisited, J. Philos. Log., 13, 153-179 (1984) · Zbl 0543.03004
[48] Pynko, A., Characterizing Belnap’s logic via De Morgan’s laws, Math. Log. Q., 41, 442-454 (1995) · Zbl 0837.03019
[49] Rescher, N.; Manor, R., On inference from inconsistent premises, Theory Decis., 1, 179-219 (1970) · Zbl 0212.31103
[50] Revesz, P. Z., On the semantics of theory change: arbitration between old and new information, (Beeri, C., Proc. of the 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (1993), ACM Press), 71-82
[51] Rivieccio, U., An infinity of super-Belnap logics, J. Appl. Non-Class. Log., 22, 319-335 (2012) · Zbl 1398.03112
[52] Tanaka, K.; Berto, F.; Mares, E.; Paoli, F., Paraconsistency: introduction, (Tanaka, K.; Berto, F.; Mares, E.; Paoli, F., Paraconsistency: Logic and Applications (2013), Springer), 1-12 · Zbl 1266.03013
[53] Walley, P.; Fine, T., Varieties of modal (classificatory) and comparative probabilities, Synthese, 41, 321-374 (1979) · Zbl 0442.60005
[54] Wansing, H.; Belnap, N., Generalized truth-values. A reply to Dubois, Log. J. IGPL, 18, 921-935 (2010) · Zbl 1209.03020
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.