×

Qualitative conditioning in an interval-based possibilistic setting. (English) Zbl 1397.03033

Summary: Possibility theory and possibilistic logic are well-known uncertainty frameworks particularly suited for representing and reasoning with uncertain, partial and qualitative information. Belief update plays a crucial role when updating beliefs and uncertain pieces of information in the light of new evidence. This paper deals with conditioning uncertain information in a qualitative interval-valued possibilistic setting. The first important contribution concerns a set of three natural postulates for conditioning interval-based possibility distributions. We show that any interval-based conditioning satisfying these three postulates is necessarily based on the set of compatible standard possibility distributions. The second contribution consists in a proposal of efficient procedures to compute the lower and upper endpoints of the conditional interval-based possibility distribution while the third important contribution provides a syntactic counterpart of conditioning interval-based possibility distributions in case where these latter are compactly encoded in the form of possibilistic knowledge bases.

MSC:

03B52 Fuzzy logic; logic of vagueness
68T37 Reasoning under uncertainty in the context of artificial intelligence
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] De Clercq, S.; Schockaert, S.; Nowé, A.; De Cock, M., Multilateral negotiation in Boolean games with incomplete information using generalized possibilistic logic, (Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, (2015)), 2890-2896
[2] Dubois, D.; Prade, H.; Schockaert, S., Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, Artif. Intell., 252, Supplement C, 139-174, (2017) · Zbl 1419.68110
[3] Lang, J., Possibilistic logic: complexity and algorithms, (Kohlas, J.; Moral, S., Algorithms for Uncertainty and Defeasible Reasoning, vol. 5, (2001), Kluwer Academic Publishers), 179-220 · Zbl 0984.03022
[4] Dubois, D.; Prade, H., Generalized possibilistic logic, (Benferhat, S.; Grant, J., Scalable Uncertainty Management, Lecture Notes in Computer Science, vol. 6929, (2011), Springer Berlin Heidelberg), 428-432
[5] Dellunde, P.; Godo, L.; Marchioni, E., Extending possibilistic logic over Gödel logic, Int. J. Approx. Reason., 52, 1, 63-75, (2011) · Zbl 1228.03008
[6] Benferhat, S.; Hué, J.; Lagrue, S.; Rossit, J., Interval-based possibilistic logic, (Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Catalonia, Spain, July 16-22, 2011, (2011)), 750-755, URL
[7] Benferhat, S.; Levray, A.; Tabia, K.; Kreinovich, V., Compatible-based conditioning in interval-based possibilistic logic, (Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, (2015)), 2777-2783
[8] Benferhat, S.; Prade, H., Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic, (IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005, (2005)), 1281-1286
[9] Cayrol, C.; Dubois, D.; Touazi, F., Symbolic possibilistic logic: completeness and inference methods (regular paper), (Denoeux, T.; Destercke, S., European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU, Compiègne, 15/07/2015-17/07/2015, Lect. Notes Artif. Intell., vol. 9161, (2015), Springer), 485-495 · Zbl 1465.68236
[10] Belhadi, A.; Dubois, D.; Khellaf-Haned, F.; Prade, H., Multiple agent possibilistic logic, J. Appl. Non-Class. Log., 23, 4, 299-320, (2013) · Zbl 1400.68217
[11] Dubois, D.; Lang, J.; Prade, H., Timed possibilistic logic, Fundam. Inform., 15, 3-4, 211-234, (1991) · Zbl 0745.03019
[12] Coletti, G.; Petturiti, D., Finitely maxitive t-conditional possibility theory: coherence and extension, Int. J. Approx. Reason., 71, 64-88, (2016) · Zbl 1352.68241
[13] Coletti, G.; Petturiti, D., Finitely maxitive conditional possibilities, Bayesian-like inference, disintegrability and conglomerability, Fuzzy Sets Syst., 284, 31-55, (2016) · Zbl 1383.62060
[14] Coletti, G.; Petturiti, D.; Vantaggi, B., Coherent t-conditional possibility envelopes and nonmonotonic reasoning, (Information Processing and Management of Uncertainty in Knowledge-Based Systems, 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part III, (2014)), 446-455 · Zbl 1415.68219
[15] Dubois, D.; Prade, H.; Schockaert, S., Stable models in generalized possibilistic logic, (Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, (2012)), URL
[16] Fan, T.; Liau, C., A logic for reasoning about justified uncertain beliefs, (Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, (2015)), 2948-2954, URL
[17] Nguyen, H.; Kreinovich, V., How to fully represent expert information about imprecise properties in a computer system: random sets, fuzzy sets, and beyond: an overview, Int. J. Gen. Syst., 43, 6, 586-609, (2014) · Zbl 1291.93243
[18] Dubois, D., Possibility theory and statistical reasoning, Comput. Stat. Data Anal., 51, 47-69, (2006) · Zbl 1157.62309
[19] Hisdal, E., Conditional possibilities independence and noninteraction, Fuzzy Sets Syst., 283-297, (1978) · Zbl 0393.94050
[20] De Campos, J. H.L. M.; Moral, S., Possibilistic independence, Proc. EUFIT, 95, 1, 69-73, (1995)
[21] Dubois, D.; Prade, H., Possibility theory and its applications: a retrospective and prospective view, (Decision Theory and Multi-Agent Planning, vol. 482, (2006), Springer Vienna), 89-109
[22] Fonck, P., A comparative study of possibilistic conditional independence and lack of interaction, Int. J. Approx. Reason., 16, 2, 149-171, (1997) · Zbl 0939.68115
[23] Dubois, D.; Prade, H., Bayesian conditioning in possibility theory, Fuzzy Measures and Integrals, Fuzzy Sets Syst., 92, 2, 223-240, (1997), URL · Zbl 1053.62503
[24] De Baets, B.; Tsiporkova, E.; Mesiar, R., Conditioning in possibility theory with strict order norms, Fuzzy Sets Syst., 106, 2, 221-229, (1999) · Zbl 0985.28015
[25] de Cooman, G., Integration and conditioning in numerical possibility theory, Ann. Math. Artif. Intell., 32, 1, 87-123, (2001) · Zbl 1314.28012
[26] Hsia, Y.-T., Possibilistic conditioning and propagation, (Proceedings of the Tenth International Conference on Uncertainty in Artificial Intelligence, UAI’94, (1994), Morgan Kaufmann Publishers, Inc. San Francisco, CA, USA), 336-343
[27] Benferhat, S.; Da Costa Pereira, C.; Tettamanzi, A., Syntactic computation of hybrid possibilistic conditioning under uncertain inputs, (IJCAI, (2013), AAAI Beijing, China), 6822, URL
[28] Dubois, D.; Prade, H., The logical view of conditioning and its application to possibility and evidence theories, Int. J. Approx. Reason., 4, 1, 23-46, (1990) · Zbl 0696.03006
[29] Dubois, D.; Lang, J.; Prade, H., Timed possibilistic logic, Fundam. Inform., 15, 3-4, 211-234, (1991) · Zbl 0745.03019
[30] Dubois, D.; Prade, H., Possibility theory and its applications: where do we stand?, (Kacprzyk, J.; Pedrycz, W., Springer Handbook of Computational Intelligence, (2015), Springer Berlin Heidelberg), 31-60
[31] Zadeh, L. A., Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets Syst., 100, 9-34, (1999)
[32] Dubois, D.; Prade, H., Possibility theory, (1988), Plenum Press New York · Zbl 0645.68108
[33] Yager, R., Fuzzy set and possibility theory: recent developments, (1982), Pergamon Press New York · Zbl 0568.94036
[34] Borgelt, C.; Kruse, R., Learning possibilistic graphical models from data, IEEE Trans. Fuzzy Syst., 11, 2, 159-172, (2003)
[35] Shafer, G., A mathematical theory of evidence, (1976), Princeton University Press Princeton · Zbl 0359.62002
[36] Dubois, D., On various ways of tackling incomplete information in statistics, Int. J. Approx. Reason., 55, 7, 1570-1574, (2014) · Zbl 1407.62034
[37] Benferhat, S.; Levray, A.; Tabia, K.; Kreinovich, V., Set-valued conditioning in a possibility theory setting, (ECAI, Frontiers in Artificial Intelligence and Applications, vol. 285, (2016), IOS Press), 604-612 · Zbl 1403.68288
[38] Benferhat, S.; Lagrue, S.; Tabia, K., Interval-based possibilistic networks, (SUM’14: Scalable Uncertainty Management Conference, Lecture Notes in Computer Science, vol. 8720, (2014), Springer), 37-50
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.