×

zbMATH — the first resource for mathematics

A quantitative approach to reasoning about incomplete knowledge. (English) Zbl 1440.68277
Summary: In this paper, we aim to present a quantitative approach to reasoning about incomplete information. The study is conducted in MEL, a minimal epistemic logic relating modal languages to uncertainty theories. The proposed approach leads to two types of epistemic truth degrees of a proposition. Some related properties are derived. By means of a more general probability distribution on the set of epistemic states, two randomized versions of epistemic truth degrees are obtained. The connection between the notion of local probabilistic epistemic truth degree and belief function is also established. Based upon the fundamental notion of the global epistemic truth degree, the notion of epistemic similarity degree is also proposed and a kind of pseudo-metric used for approximate reasoning in MEL is thus derived. The obtained results provide a useful supplement to the existing study in the sense that it offers a quantitative approach instead of the qualitative manner in the literature.
MSC:
68T27 Logic in artificial intelligence
03B42 Logics of knowledge and belief (including belief change)
68T37 Reasoning under uncertainty in the context of artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Abramsky, S.; Gabbay, D. M.; Maibaum, T. S.E., Handbook of Logic in Computer Science, 1-3 (1992), Clarendon Press-Oxford
[2] Baader, F., The Description Logic Handbook: Theory Implementation and Applications. (2003), Cambridge University Press · Zbl 1058.68107
[3] Banerjee, M.; Dubois, D., A Simple Modal Logic for Reasoning About Revealed Beliefs//Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 805-816 (2009), Springer Berlin: Springer Berlin Heidelberg · Zbl 1245.03019
[4] Banerjee, M.; Dubois, D., A simple logic for reasoning about incomplete knowledge, Int. J. Approx. Reason., 55, 2, 639-653 (2014) · Zbl 1316.68151
[5] Banerjee, M.; Dubois, D.; Godo, L., Possibilistic vs. Relational Semantics for Logics of Incomplete Information//Information Processing and Management of Uncertainty in Knowledge-Based Systems, 335-344 (2014), Springer International Publishing · Zbl 1419.03018
[6] Chellas, B. F., Modal Logic: An Introduction (1980), Cambridge: Cambridge University Press · Zbl 0431.03009
[7] Ciucci, D.; Dubois, D.; Lawry, J., Borderline vs. unknown: comparing three-valued representations of imperfect information, Int. J. Approx. Reason., 55, 9, 1866-1889 (2014) · Zbl 1433.03063
[8] Ciucci, D.; Dubois, D., A modal theorem-preserving translation of a class of three-valued logics of incomplete information, J. Appl. Non-Classical Logics, 23, 4, 321-352 (2013) · Zbl 1398.03107
[9] Dubois, D.; Prade, H.; Schockaert, S., Stable models in generalized possibilistic logic, //13th International Conference on the Principles of Knowledge Representation and Reasoning, KR (2012)
[10] Dubois, D.; Prade, H., Steven Schockaert: reasoning about uncertainty and explicit ignorance in generalized possibilistic logic, ECAI, 261-266 (2014) · Zbl 1366.03211
[11] Gabbay, D. M.; Hogger, C. J.; Robinson, H. A., Handbook of Logic in Artificial Intelligence and Logic Programming, 1-4 (1994), Clarendon Press-Oxford
[12] Hamilton, A. G., Logic for Mathematicians (1988), Cambridge University Press · Zbl 0653.03001
[13] Hájek, P., Metamathematics of Fuzzy Logic (1998), Springer Science &Business Media · Zbl 0937.03030
[14] Liang, J. Y.; Xu, Z. B.; Li, Y. X., Inclusion degree and measures of rough set data analysis, Chin. J. Comput.-Chin.Ed., 24, 5, 544-547 (2001)
[15] Li, J. H.; Mei, C. L.; Xu, W. H., Concept learning via granular computing: a cognitive viewpoint, Inf. Sci., 298, 447-467 (2015) · Zbl 1360.68688
[16] Shafer, G., A Mathematical Theory of Evidence (1976), Princeton: Princeton University Press · Zbl 0359.62002
[17] She, Y. H.; He, X. L.; Wang, G. J., Rough truth degrees of formulas and approximate reasoning in rough logic, Fundamenta Informaticae, 107, 1, 67-83 (2011) · Zbl 1230.68197
[18] She, Y. H.; He, X. L., Rough approximation operators on R0-algebras (nilpotent minimum algebras) with an application in formal logic l*, Inf. Sci., 277, 71-89 (2014) · Zbl 1354.03098
[19] Wang, G. J.; Zhou, H. J., Introduction to Mathematical Logic and Resolution Principle (2009), Science Press
[20] Wang, G. J.; Zhou, H. J., Quantitative logic, Inf. Sci., 179, 3, 226-247 (2009) · Zbl 1167.03020
[21] Wu, H. B., The generalized truth degree of quantitative logic in the logic system (n-valued NM-logic system), Comput. Math. Appl., 59, 8, 2587-2596 (2010) · Zbl 1193.03048
[22] Xu, Z. B.; Liang, J. Y.; Dang, C. Y., Inclusion degree: a perspective on measures for rough set data analysis, Inf. Sci., 141, 3, 227-236 (2002) · Zbl 1008.68134
[23] Xu, W. H.; Pang, J. Z.; Luo, S. Q., A novel cognitive system model and approach to transformation of information granules, Int. J. Approx. Reason., 55, 3, 853-866 (2014) · Zbl 1316.68165
[24] Yao, Y. Y.; Deng, X. F., Quantitative rough sets based on subsethood measures, Inf.Sci., 267, 306-322 (2014) · Zbl 1339.68249
[25] Zhou, H. J.; Wang, G. J., Borel probabilistic and quantitative logic, Sci. China Inf. Sci., 54, 9, 1843-1854 (2011) · Zbl 1267.03036
[26] Zhang, H. Y.; Zhang, W. X., Hybrid monotonic inclusion measure and its use in measuring similarity and distance between fuzzy sets, Fuzzy Sets Syst, 160, 1, 107-118 (2009) · Zbl 1183.03059
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.