×

A semantic study of the first-order predicate logic with uncertainty involved. (English) Zbl 1428.03052

Summary: In this paper, we provide a semantic study of the first-order predicate logic for situations involving uncertainty. We introduce the concepts of uncertain predicate proposition, uncertain predicate formula, uncertain interpretation and degree of truth in the framework of uncertainty theory. Compared with classical predicate formula taking true value in \(\{0,1\}\), the degree of truth of uncertain predicate formula may take any value in the unit interval \([0,1]\). We also show that the uncertain first-order predicate logic is consistent with the classical first-order predicate logic on some laws of the degree of truth.

MSC:

03B52 Fuzzy logic; logic of vagueness
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Adams, E. (1998). A primer of probability logic. Stanford: CSLI Pulications. · Zbl 0910.68202
[2] Campos, C; Cozman, F; Luna, J, Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence, Journal of Applied Logic, 7, 137-154, (2009) · Zbl 1172.03316 · doi:10.1016/j.jal.2007.11.002
[3] Chen, X; Ralescu, DA, A note on truth value in uncertain logic, Expert Systems with Applications, 38, 15582-15586, (2011) · doi:10.1016/j.eswa.2011.05.030
[4] Cignoli, R; Esteva, F; Godo, L; Torreas, A, Basic fuzzy logic is the logic of continuous t-norms and their residua, Soft Computing, 4, 106-112, (2000) · doi:10.1007/s005000000044
[5] Coletti, G., & Scozzafava, R. (2002). Probability logic in a coherent setting. London: Kluwer. · Zbl 1005.60007 · doi:10.1007/978-94-010-0474-9
[6] Dubois, D; Prade, H, Necessity measure and resolution principle, IEEE Transactions on Man Cybenet, 17, 474-478, (1987) · Zbl 0643.94053 · doi:10.1109/TSMC.1987.4309063
[7] Esteva, F; Godo, L, Monoidal t-norm based logic: towards logic for left-continuous t-norms, Fuzzy Sets and Systems, 124, 271-288, (2001) · Zbl 0994.03017 · doi:10.1016/S0165-0114(01)00098-7
[8] Gödel, K, Zum intuitionistischen aussagenkalköl, Anz. Akad. Wiss. Wien, 69, 65-66, (1932) · JFM 58.1001.03
[9] Hailperin, T. (1996). Sentential probability logic. London: Associated University Presses. · Zbl 0922.03026
[10] Hajek, P. (1998). Metamathematics of fuzzy logic. London: Kluwer. · Zbl 0937.03030 · doi:10.1007/978-94-011-5300-3
[11] Li, X; Liu, B, Foundation of credibilistic logic, Fuzzy Optimization and Decision Making, 8, 91-102, (2009) · Zbl 1179.03032 · doi:10.1007/s10700-009-9053-6
[12] Li, X; Liu, B, Hybrid logic and uncertain logic, Journal of Uncertain Systems, 3, 83-94, (2009)
[13] Liu, B. (2007). Uncertainty theory (2nd ed.). Berlin: Springer. · Zbl 1141.28001
[14] Liu, B, Some research problems in uncertainty theory, Journal of Uncertain Systems, 3, 3-10, (2009)
[15] Liu, B, Uncertain entailment and modus ponens in the framework of uncertain logic, Journal of Uncertain System, 3, 243-251, (2009)
[16] Liu, B. (2010). Uncertainty theory: A branch of mathematics for modeling human uncertainty. Berlin: Springer. · doi:10.1007/978-3-642-13959-8
[17] Liu, B. (2013). Uncertainty theory, 4th Edn. http://orsc.edu.cn/liu.
[18] Nilsson, N, Probability logic, Artificial Intelligence, 28, 71-78, (1986) · Zbl 0589.03007 · doi:10.1016/0004-3702(86)90031-7
[19] Pei, D, On equivalent forms of fuzzy logic systems NM and IMTL, Fuzzy Sets and Systems, 138, 187-195, (2003) · Zbl 1031.03047 · doi:10.1016/S0165-0114(02)00382-2
[20] Wang, G, A formal deduction system of fuzzy propositional calculation, Science in China Series E-information Sciences, 42, 1041-1044, (1997)
[21] Wang, S; Wang, M, Disjunctive elimination rule and its application in MTL, Fuzzy Sets and Systems, 157, 3169-3176, (2006) · Zbl 1114.03025 · doi:10.1016/j.fss.2006.05.008
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.