Qualitative possibilities and necessities. (English) Zbl 1245.68219
Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 651-662 (2009).
Summary: Qualitative possibilities and necessities are well-known types of confidence relations. They have been extensively studied semantically, as relations on Boolean algebras (or equivalently, relations on algebras of sets). The aim of this paper is to give a syntactical flavor to the subject providing a sound and complete axiomatization of qualitative possibility relations.
For the entire collection see [Zbl 1165.68020].
For the entire collection see [Zbl 1165.68020].
MSC:
| 68T37 | Reasoning under uncertainty in the context of artificial intelligence |
| 68T27 | Logic in artificial intelligence |
References:
| [1] | Boutilier, C.: Modal logics for qualitative possibility theory. Intrenat. J. Approx. Reason. 10, 173–201 (1994) · Zbl 0802.68144 · doi:10.1016/0888-613X(94)90015-9 |
| [2] | Dubois, D.: Belief structures, possibility theory and decomposable confidence relations on finite sets. Comput. Artificial Intelligence 5(5), 403–416 (1986) · Zbl 0657.60006 |
| [3] | Dubois, D., Fragier, H., Prade, H.: Possibilistic likelihood relations. In: IPMU 1998, Paris, pp. 1196–1202 (1998) |
| [4] | Dubois, D., Prade, H.: Qualitative possibility functions and integrals. In: Pap, E. (ed.) Handbook of measure theory, pp. 1499–1522. North-Holland, Amsterdam (2002) · Zbl 1018.28009 |
| [5] | Fagin, R., Halpern, J., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation 87(1–2), 78–128 (1990) · Zbl 0811.03014 · doi:10.1016/0890-5401(90)90060-U |
| [6] | Fariñas del Cerro, L., Herzig, A.: A modal analysis of possibility theory. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol. 535, pp. 11–18. Springer, Heidelberg (1991) · Zbl 0793.03019 · doi:10.1007/3-540-54507-7_2 |
| [7] | Godo, L., Marchioni, E.: Coherent conditional probability in a fuzzy logic setting. Logic journal of the IGPL 14(3) (2006) · Zbl 1117.03031 · doi:10.1093/jigpal/jzl019 |
| [8] | Lehmann, D.: Generalized qualitative probability: Savage revisited. In: Horvitz, E., Jensen, F. (eds.) Procs. of 12 th Conference on Uncertainty in Artificial Intelligence (UAI 1996), pp. 381–388 (1996) |
| [9] | Lewis, D.: Counterfactuals. Basil Blackwell, London (1973) |
| [10] | Lukasiewicz, T.: Probabilistic Default Reasoning with Conditional Constraints. Annals of Mathematics and Artificial Intelligence 34, 35–88 (2002) · Zbl 1002.68175 · doi:10.1023/A:1014445017537 |
| [11] | Lukasiewicz, T.: Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation. International Journal of Approximate Reasoning 44(3), 301–321 (2007) · Zbl 1118.68167 · doi:10.1016/j.ijar.2006.07.015 |
| [12] | Marchioni, E., Godo, L.: A Logic for Reasoning about Coherent Conditional Probability: A Modal Fuzzy Logic Approach. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 213–225. Springer, Heidelberg (2004) · Zbl 1111.68683 · doi:10.1007/978-3-540-30227-8_20 |
| [13] | Narens, L.: On qualitative axiomatizations for probability theory. Journal of Philosophical Logic 9(2), 143–151 (1980) · Zbl 0425.60001 · doi:10.1007/BF00247745 |
| [14] | Nilsson, N.: Probabilistic logic. Artificial intelligence 28, 71–87 (1986) · Zbl 0589.03007 · doi:10.1016/0004-3702(86)90031-7 |
| [15] | Ognjanović, Z., Rašković, M.: A logic with higher order probabilities. Publications de l’institut mathematique, Nouvelle série, tome 60(74), 1–4 (1996) |
| [16] | Ognjanović, Z., Rašković, M.: Some probability logics with new types of probability operators. J. Logic Computat. 9(2), 181–195 (1999) · Zbl 0941.03022 · doi:10.1093/logcom/9.2.181 |
| [17] | Ognjanović, Z., Rašković, M.: Some first-order probability logics. Theoretical Computer Science 247(1–2), 191–212 (2000) · Zbl 0954.03024 · doi:10.1016/S0304-3975(98)00341-7 |
| [18] | Ognjanović, Z., Markovi’, Z., Rašković, M.: Completeness Theorem for a Logic with imprecise and conditional probabilities. Publications de L’Institute Matematique (Beograd) 78(92), 35–49 (2005) · Zbl 1144.03019 · doi:10.2298/PIM0578035O |
| [19] | Ognjanovi’, Z., Perović, A., Rašković, M.: Logic with the qualitative probability operator. Logic journal of the IGPL 16(2), 105–120 (2008) · Zbl 1138.03024 · doi:10.1093/jigpal/jzm031 |
| [20] | Rašković, M.: Classical logic with some probability operators. Publications de l’institut mathematique, Nouvelle série, tome 53(67), 1–3 (1993) |
| [21] | Rašković, M., Ognjanović, Z.: A first order probability logic LP Q . Publications de l’institut mathematique, Nouvelle série, tome 65(79), 1–7 (1999) |
| [22] | Rašković, M., Ognjanović, Z., Marković, Z.: A logic with Conditional Probabilities. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 226–238. Springer, Heidelberg (2004) · Zbl 1111.68688 · doi:10.1007/978-3-540-30227-8_21 |
| [23] | van der Hoek, W.: Some considerations on the logic P F D: a logic combining modality and probability. Journal of Applied Non-Classical Logics 7(3), 287–307 (1997) · Zbl 0885.03022 · doi:10.1080/11663081.1997.10510916 |
| [24] | Wellman, M.P.: Some varieties of qualitative probability. In: Proceedings of the 5th International Conference on Information Processing and the Management of Uncertainty, Paris (1994) |
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.
