Definition of the Subject and Its Importance
Possibility theory is the simplest uncertainty theory devoted to the modeling of incomplete information. It is characterized by the use of two basic dual set functions that respectively grade the possibility and the necessity of events. Possibility theory lies at the crossroads between fuzzy sets, probability, and nonmonotonic reasoning. Possibility theory is closely related to fuzzy sets if one considers that a possibility distribution is a particular fuzzy set (of mutually exclusive) possible values. However, fuzzy sets and fuzzy logic are primarily motivated by the representation of gradual properties while possibility theory handles the uncertainty of classical (or fuzzy) propositions. Possibility theory can be cast either in an ordinal or in a numerical setting. Qualitative possibility theory is closely related to belief revision theory and commonsense reasoning with exception-tainted knowledge in artificial intelligence. It has been...
Abbreviations
- Guaranteed Possibility:
-
A guaranteed possibility measure is a set function (decreasing in the wide sense) that returns the minimum of a possibility distribution over a subset representing an event. While possibility measures evaluate the consistency of the information between an event and the available information represented by the underlying possibility distribution, guaranteed possibility measures capture another view of the idea of possibility related to the idea of (guaranteed) feasibility or sufficiency condition.
- Necessity Measure:
-
A necessity measure is a set function, associated by duality to a possibility measure through a relation expressing that an event is all the more necessarily true (all the more certain) as the opposite event is less possible. A necessity measure estimates to what extent the information represented by the underlying possibility distribution entails the occurrence of the event.
- Possibilistic Logic:
-
Standard possibilistic logic is a weighted logic where formulas are pairs made of a classical logical formula and a weight that acts as a lower bound of the necessity of the logical formula. Extended possibilistic logics may include formulas weighted in terms of lower bounds of possibility or guaranteed possibility measures.
- Possibility Distribution:
-
A possibility distribution restricts a set of possible values for a variable of interest in an elastic way. It is represented by a mapping from a universe gathering the potential values of the variable to a scale such as the unit interval of the real line or a finite linearly ordered set, expressing to what extent each value is possible for the variable. Thus, a possibility distribution restricts a set of more or less possible values belonging to a universe that may be also ordered such as a subpart of real line for a numerical variable, or not ordered if, for instance, the variable takes its value in the set of interpretations of a logical language. This may be used for representing uncertainty if the restriction pertains to possible values for an ill-known state of the world, or for representing preferences if the restriction encodes a set of values that are considered as more or less satisfactory for some purpose.
- Possibility Measure:
-
A possibility measure is a set function (increasing in the wide sense) that returns the maximum of a possibility distribution over a subset representing an event.
Bibliography
Amgoud L, Prade H (2004) Reaching agreement through argumentation: a possibilistic approach. In: Proceedings of the 9th internatinal conference on principles of knowledge representation and reasoning (KR’04), Whistler. AAAI Press, pp 175–182
Amgoud L, Prade H (2009) Using arguments for making and explaining decisions. Artif Intell 173:413–436
Banerjee M, Dubois D (2009) A simple modal logic for reasoning about revealed beliefs. In: Sossai C, Chemello G (eds) Proceedings of the 10th European conference symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU09), Verona, 1–3 July 2009. LNCS, vol 5590, 805816. Springer, Berlin
Banerjee M, Dubois D (2014) A simple logic for reasoning about incomplete knowledge. Int J of Approx Reason 55:639–653
Baudrit C, Dubois D, Fargier H (2004) Practical representation of incomplete probabilistic information. In: Lopz-Diaz M et al (eds) Soft methods in probability and statistics (Proceedings of the 2nd international conference, Oviedo, Spain). Springer, Berlin, pp 149–156
Baudrit C, Guyonnet D, Dubois D (2006) Joint propagation and exploitation of probabilistic and possibilistic information in risk assessment. IEEE Trans Fuzzy Syst 14:593–608
Baudrit C, Couso I, Dubois D (2007) Joint propagation of probability and possibility in risk analysis: towards a formal framework. Int J of Approx Reason 45:82–105
Ben Amor N, Benferhat S (2005) Graphoid properties of qualitative possibilistic independence relations. Int J Unc Fuzz Knowl Based Syst 13:59–97
Ben Amor N, Mellouli K, Benferhat S, Dubois D, Prade H (2002) A theoretical framework for possibilistic independence in a weakly ordered setting. Int J Unc Fuzz Knowl Based Syst 10:117–155
Ben Amor N, Benferhat S, Mellouli K (2003) Anytime propagation algorithm for min-based possibilistic graphs. Soft Comput 8(2):150–161
Benferhat S, Dubois D, Prade H (1997) Nonmonotonic reasoning, conditional objects and possibility theory. Artif Intell 92:259–276
Benferhat S, Dubois D, Prade H (1998) Practical handling of exception-tainted rules and independence information in possibilistic logic. Appl Intell 9:101–127
Benferhat S, Dubois D, Prade H (1999) Possibilistic and standard probabilistic semantics of conditional knowledge bases. J Logic Comput 9:873–895
Benferhat S, Dubois D, Garcia L, Prade H (2002a) On the transformation between possibilistic logic bases and possibilistic causal networks. Int J Approx Reason 29:135–173
Benferhat S, Dubois D, Prade H, Williams M-A (2002b) A practical approach to revising prioritized knowledge bases. Stud Logic 70:105–130
Benferhat S, Dubois D, Garcia L, Prade H (2002c) On the transformation between possibilistic logic bases and possibilistic causal networks. Int J Approx Reason 29(2):135–173
Bezdek J, Keller J, Krishnapuram R, Pal N (1999) Fuzzy models and algorithms for pattern recognition and image processing, The handbooks of fuzzy sets series. Kluwer, Boston
Birnbaum ZW (1948) On random variables with comparable peakedness. Ann Math Stat 19:76–81
Borgelt C, Kruse R (2003) Operations and evaluation measures for learning possibilistic graphical models. Artif Intell 148(1–2):385–418
Borgelt C, Gebhardt J, Kruse R (2000a) Possibilistic graphical models. In: Della Riccia G et al (eds) Computational intelligence in data mining. Springer, Wien, pp 51–68
Borgelt C, Gebhardt J, Kruse R (2000b) Possibilistic graphical models. In: Della Riccia G et al (eds) Computational intelligence in data mining, CISM series, N408. Springer, Berlin
Bosc P, Prade H (1997) An introduction to the fuzzy set and possibility theory-based treatment of soft queries and uncertain of imprecise databases. In: Smets P, Motro A (eds) Uncertainty management in information systems. Kluwer, Dordrecht, pp 285–324
Bosc P, Pivert O, Prade H (2009) A model based on possibilistic certainty levels for incomplete databases. In: Godo L, Pugliese A (eds) Proceedings of the 3rd international conference on scalable uncertainty management (SUM 2009), Washington, DC, 28–30 Sept 2009. LNCS, vol 5785. Springer, pp 80–94
Bosc P, Pivert O, Prade H (2010) A possibilistic logic view of preference queries to an uncertain database. In: Proceedings of the 19th IEEE international conference on fuzzy systems (FUZZ-IEEE10), 581595
Boverie S, Dubois D, Gurandel X, De Mouzon O, Prade H (2002) Online diagnosis of engine dyno test benches: a possibilistic approach. In: Proceedings of the 15th European conference on artificial intelligence. IOS Press, Amsterdam, pp 658–662
Cayrac D, Dubois D, Prade H (1996) Handling uncertainty with possibility theory and fuzzy sets in a satellite fault diagnosis application. IEEE Trans Fuzzy Syst 4:251–269
Chanas S, Nowakowski M (1988) Single value simulation of fuzzy variable. Fuzzy Set Syst 25:43–57
Chanas S, Zielinski P (2001) Critical path analysis in the network with fuzzy activity times. Fuzzy Set Syst 122:195–204
Chanas S, Dubois D, Zielinski P (2002) Necessary criticality in the network with imprecise activity times. IEEE Trans Man Machine Cybernet 32:393–407
Cohen LJ (1977) The probable and the provable. Clarendon, Oxford
De Baets B, Tsiporkova E, Mesiar R (1999) Conditioning in possibility with strict order norms. Fuzzy Set Syst 106:221–229
De Campos LM, Huete JF (1999) Independence concepts in possibility theory. Fuzzy Sets Syst 103:127–152,487–506
De Cooman G (1997) Possibility theory. Part I: measure- and integral-theoretic groundwork; Part II: conditional possibility; Part III: possibilistic independence. Int J General Syst 25:291–371
De Cooman G (2001) Integration and conditioning in numerical possibility theory. Annal Math Artiff Intell 32:87–123
De Cooman G, Aeyels D (1999) Supremum-preserving upper probabilities. Inform Sci 118:173–212
Dubois D (1986) Belief structures, possibility theory and decomposable measures on finite sets. Comput Artif Intell 5:403–416
Dubois D (2006) Possibility theory and statistical reasoning. Comput Stat Data Anal 51(1):47–69
Dubois D, Fargier H (2003) Qualitative decision rules under uncertainty. In: Della Riccia G et al (eds) Planning based on decision theory, CISM Courses and Lectures 472. Springer, Wien, pp 3–26
Dubois D, Fortemps P (1999) Computing improved optimal solutions to maxmin flexible constraint satisfaction problems. Eur J Oper Res 118:95–126
Dubois D, Hüllermeier E (2007) Comparing probability measures using possibility theory: a notion of relative peakedness. Inter J Approx Reason 45:364–385
Dubois D, Prade H (1980) Fuzzy sets and systems: theory and applications. Academic, New York
Dubois D, Prade H (1982) On several representations of an uncertain body of evidence. In: Gupta M, Sanchez E (eds) Fuzzy information and decision processes. North-Holland, Amsterdam, pp 167–181
Dubois D, Prade H (1983) Unfair coins and necessity measures: a possibilistic interpretation of histograms. Fuzzy Set Syst 10(1):15–20
Dubois D, Prade H (1985) Evidence measures based on fuzzy information. Automatica 21:547–562
Dubois D, Prade H (1987) The mean value of a fuzzy number. Fuzzy Set Syst 24:279–300
Dubois D, Prade H (1988) Possibility theory. Plenum, New York
Dubois D, Prade H (1991a) Epistemic entrenchment and possibilistic logic. Artif Intell 50:223–239
Dubois D, Prade H (1991b) Random sets and fuzzy interval analysis. Fuzzy Set Syst 42:87–101
Dubois D, Prade H (1992) When upper probabilities are possibility measures. Fuzzy Set Syst 49:65–74
Dubois D, Prade H (1996) What are fuzzy rules and how to use them. Fuzzy Set Syst 84:169–185
Dubois D, Prade H (1997) Bayesian conditioning in possibility theory. Fuzzy Set Syst 92:223–240
Dubois D, Prade H (1998) Possibility theory: qualitative and quantitative aspects. In: Gabbay DM, Smets P (eds) Handbook of defeasible reasoning and uncertainty management systems, vol 1. Kluwer, Dordrecht, pp 169–226
Dubois D, Prade H (2004) Possibilistic logic: a retrospective and prospective view. Fuzzy Set Syst 144:3–23
Dubois D, Prade H (2007) Toward multiple-agent extensions of possibilistic logic. In: Proceedings of the IEEE international conference on fuzzy systems (FUZZ-IEEE 2007), London, UK, pp 187–192
Dubois D, Prade H (2015) Possibilistic logic – An overview. In: Handbook of the History of Logic. Computational Logic. (J. Siekmann, vol. ed.; D. M. Gabbay, J. Woods, series eds.), Elsevier, Amsterdam 9:283–342
Dubois D, Prade H, Sandri S (1993) On possibility/probability transformations. In: Lowen R, Roubens M (eds) Fuzzy logic: state of the art. Kluwer, Dordrecht, pp 103–112
Dubois D, Lang J, Prade H (1994) Possibilistic logic. In: Gabbay DM et al (eds) Handbook of logic in AI and logic programming, vol 3. Oxford University Press, New York, pp 439–513
Dubois D, Fargier H, Prade H (1995) Fuzzy constraints in job-shop scheduling. J Intell Manufact 6:215–234
Dubois D, Fargier H, Prade H (1996) Possibility theory in constraint satisfaction problems: handling priority, preference and uncertainty. Appl Intell 6:287–309
Dubois D, Fariñas del Cerro L, Herzig A, Prade H (1997) Qualitative relevance and independence: a roadmap. In: Proceedings of the 15th international joint conference on artificial intelligence, Nagoya, pp 62–67
Dubois D, Moral S, Prade H (1997b) A semantics for possibility theory based on likelihoods. J Math Anal Appl 205:359–380
Dubois D, Nguyen HT, Prade H (2000a) Fuzzy sets and probability: misunderstandings, bridges and gaps. In: Dubois D, Prade H (eds) Fundamentals of fuzzy sets. Kluwer, Boston, pp 343–438
Dubois D, Hajek P, Prade H (2000b) Knowledge-driven versus data-driven logics. J Logic Lang Inform 9:65–89
Dubois D, Prade H, Sabbadin R (2000c) Qualitative decision theory with Sugeno integrals. In: Grabisch M, Murofushi T, Sugeno M (eds) Fuzzy measures and integrals theory and applications. Physica-Verlag, Heidelberg, pp 314–322
Dubois D, Kerre E, Mesiar R, Prade H (2000d) Fuzzy interval analysis. In: Dubois D, Prade H (eds) Fundamentals of fuzzy sets. Kluwer, Boston, pp 483–581
Dubois D, Prade H, Sabbadin R (2001) Decision-theoretic foundations of possibility theory. Eur J Oper Res 128:459–478
Dubois D, Hüllermeier E, Prade H (2002) Fuzzy set-based methods in instance-based reasoning. IEEE Trans Fuzzy Syst 10:322–332
Dubois D, Fargier H, Perny P (2003a) Qualitative decision theory with preference relations and comparative uncertainty: an axiomatic approach. Artif Intell 148:219–260
Dubois D, Prade H, Smets P (2003b) A definition of subjective possibility. Badania Operacyjne i Decyzije (Wroclaw) 4:7–22
Dubois D, Prade H, Ughetto L (2003c) A new perspective on reasoning with fuzzy rules. Int J Intell Syst 18:541–567
Dubois D, Hüllermeier E, Prade H (2003d) A note on quality measures for fuzzy association rules. In: De Baets B, Bilgic T (eds) Fuzzy sets and systems (Proceedings of the 10th international fuzzy systems association World Congress IFSA 2003, Istanbul, Turkey), LNAI 2715. Springer, Berlin, pp 346–353
Dubois D, Fargier H, Prade H (2004a) Ordinal and probabilistic representations of acceptance. J Artif Intell Res 22:23–56
Dubois D, Foulloy L, Mauris G, Prade H (2004b) Probability-possibility transformations, triangular fuzzy sets, and probabilistic inequalities. Reliable Comput 10:273–297
Dubois D, Prade H, Smets P (2008) A definition of subjective possibility. Inte J Approx Reason 48:352–364
Dubois D, Prade H, Schockaert S (2012) Stable models in generalized possibilistic logic. In: Brewka G, Eiter T, McIlraith SA (eds) Proceedings of the 13th international conference on principles of knowledge representation and reasoning (KR12), Roma, June 10–14, AAAI Press, pp 519–529
Dubois D, Prade H, Rico A (2013) Qualitative capacities as imprecise possibilities. In: van der Gaag LC (ed) Proceedings of the 12th European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU’13). LNAI, vol 7958. Springer, pp 169–180
Dubois D, Prade H, Touazi F (2013b) Conditional preference nets and possibilistic logic. In: van der Gaag LC (ed) Proceedings of the 12th European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU’13), LNAI 7958. Springer, Berlin, pp 181–193
Fargier H, Sabbadin R (2005) Qualitative decision under uncertainty: Back to expected utility. textit. Artif Intell 164:245–280
Gaines BR, Kohout L (1975) Possible automata. In: Proceedings of the international symposium multiple-valued logics, Bloomington, pp 183–196
Galichet S, Dubois D, Prade H (2004) Imprecise specification of ill-known functions using gradual rules. Int J Approx Reason 35:205–222
Gärdenfors P (1998) Knowledge in flux. MIT Press, Cambridge, MA
Gebhardt J, Kruse R (1993) The context model I. Int J Approx Reason 9:283–314
Geer JF, Klir GJ (1992) A mathematical analysis of information-preserving transformations between probabilistic and possibilistic formulations of uncertainty. Int J of General Syst 20:143–176
Gil M (ed) (2001) Fuzzy random variables, special issue. Inform Sci, 133:1–100
Grabisch M, Murofushi T, Sugeno M (eds) (2000) Fuzzy measures and integrals theory and applications. Physica-Verlag, Heidelberg
Guyonnet D, Bourgine B, Dubois D, Fargier H, Come B, Chiles J-P (2003) Hybrid approach for addressing uncertainty in risk assessments. J Environ Eng 129:68–78
Helton JC, Oberkampf WL (eds) (2004) Alternative representations of uncertainty. In: Reliability engineering and systems safety, vol 85. Elsevier, 369 p
Hughes GE, Cresswell MJ (1968) An introduction to modal logic. Methuen, London
Hüllermeier E, Dubois D, Prade H (2002) Model adaptation in possibilistic instance-based reasoning. IEEE Trans Fuzzy Syst 10:333–339
Joslyn C (1997) Measurement of possibilistic histograms from interval data. Int J of General Syst 26:9–33
Klir GJ (1990) A principle of uncertainty and information invariance. Int J of General Syst 17:249–275
Klir GJ, Folger T (1988) Fuzzy sets, uncertainty and information. Prentice Hall, Englewood Cliffs
Klir GJ, Parviz B (1992) Probability-possibility transformations: a comparison. Int J General Syst 21:291–310
Kolokoltsov VN, Maslov VP (1997) Idempotent analysis and applications. Kluwer, Dordrecht
Krishnapuram R, Keller J (1993) A possibilistic approach to clustering. IEEE Trans Fuzzy Syst 1:98–110
Lehmann D, Magidor M (1992) What does a conditional knowledge base entail? Artif Intell 55:1–60
Lewis DL (1973) Counterfactuals. Basil Blackwell, Oxford
Loquin K, Dubois D (2012) A fuzzy interval analysis approach to kriging with ill-known variogram and data. Soft Comput 16:769–784
Maslov V (1987) Méthodes opératorielles. Mir Publications, Moscow
Mauris G (2013) A Review of Relationships Between Possibility and Probability Representations of Uncertainty in Measurement. IEEE Trans Measure Instrum 62(3):622–632
Mauris G, Lasserre V, Foulloy L (2000) Fuzzy modeling of measurement data acquired from physical sensors. IEEE Trans Measure Instrum 49:1201–1205
Neumaier A (2004) Clouds, fuzzy sets and probability intervals. Reliable Comput 10:249–272
Nguyen HT, Bouchon-Meunier B (2003) Random sets and large deviations principle as a foundation for possibility measures. Soft Comput 8:61–70
Pearl J (1990) System Z: a natural ordering of defaults with tractable applications to default reasoning. In: Proceeding of the 3rd conference theoretical aspects of reasoning about knowledge. Morgan Kaufmann, San Francisco, pp 121–135
Puhalskii A (2001) Large deviations and idempotent probability. Chapman and Hall, New York
Raufaste E, Da Silva Neves R, Marine C (2003) Marine testing the descriptive validity of possibility theory in human judgements of uncertainty. Artif Intell 148:197–218
Savage LJ (1972) The foundations of statistics. Dover, New York
Serrurier M, Prade H (2007) A general framework for imprecise regression. In: Proceedings of the IEEE international conference on fuzzy systems (FUZZ-IEEE’07), London, July 23–26, pp 1597–1602
Serrurier M, Prade H (2013) An informational distance for estimating the faithfulness of a possibility distribution, viewed as a family of probability distributions, with respect to data. Int J Approx Reason 54:919–933
Shackle GLS (1961) Decision, order and time in human affairs, 2nd edn. Cambridge University Press, UK
Shafer G (1987) Belief functions and possibility measures. In: Bezdek JC (ed) Analysis of fuzzy information vol I: mathematics and logic. CRC Press, Boca Raton, pp 51–84
Slowinski R, Hapke M (eds) (2000) Scheduling under fuzziness. Physica-Verlag, Heidelberg
Smets P (1990) Constructing the pignistic probability function in a context of uncertainty. In: Henrion M et al (eds) Uncertainty in artificial intelligence, vol 5. North-Holland, Amsterdam, pp 29–39
Spohn W (1990) A general, nonprobabilistic theory of inductive reasoning. In: Shachter RD et al (eds) Uncertainty in artificial intelligence, vol 4. North Holland, Amsterdam, pp 149–158
Sudkamp T (2002) Similarity and the measurement of possibility. Actes Rencontres Francophones sur la Logique Floue et ses Applications (Montpellier, France). Cepadues Editions, Toulouse, pp 13–26
Tanaka H, Guo PJ (1999) Possibilistic data analysis for operations research. Physica-Verlag, Heidelberg
Van Leekwijck W, Kerre EE (2001) Defuzzification: criteria and classification. Fuzzy Set Syst 108:303–314
Walley P (1991) Statistical reasoning with imprecise probabilities. Chapman and Hall, New York
Walley P (1996) Measures of uncertainty in expert systems. Artif Intell 83(1-58):1996
Walley P, De Cooman G (1999) A behavioural model for linguistic uncertainty. Information Sciences 134:1–37
Whalen T (1984) Decision making under uncertainty with various assumptions about available information. IEEE Trans Syst Man Cybernet 14:888–900
Wolkenhauer O (1998) Possibility theory with applications to data analysis. Research Studies Press, Chichester
Yager RR (1979) Possibilistic decision making. IEEE Trans Syst Man Cybernet 9:388–392
Yager RR (1981) A procedure for ordering fuzzy subsets of the unit interval. Inform Sci 24:143–161
Yager RR (1983) An introduction to applications of possibility theory. Hum Syst Manage 3:246–269
Zadeh LA (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Set Syst 1:3–28
Zadeh LA (1979) Fuzzy sets and information granularity. In: Gupta MM, Ragade R, Yager RR (eds) Advances in fuzzy set theory and applications. North-Holland, Amsterdam, pp 3–18
Zadeh LA (1982) Possibility theory and soft data analysis. In: Cobb L, Thrall R (eds) Mathematical frontiers of social and policy sciences. Westview Press, Boulder, pp 69–129
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer Science+Business Media New York
About this entry
Cite this entry
Dubois, D., Prade, H. (2015). Possibility Theory. In: Meyers, R. (eds) Encyclopedia of Complexity and Systems Science. Springer, New York, NY. https://doi.org/10.1007/978-3-642-27737-5_413-2
Download citation
DOI: https://doi.org/10.1007/978-3-642-27737-5_413-2
Received:
Accepted:
Published:
Publisher Name: Springer, New York, NY
Online ISBN: 978-3-642-27737-5
eBook Packages: Springer Reference Physics and AstronomyReference Module Physical and Materials ScienceReference Module Chemistry, Materials and Physics