Generalized possibility measures (Q1331040)

While a possibility measure is a mapping \(p\) from the power set of \(X\) to the unit interval \(I\) such that \(p(X)=1\), \(p(\emptyset) =0\) and \(p(\bigcup_ j M_ j)= \sup_ j p(M_ j)\) for every nonempty family \(\{M_ j\), \(j\in J\}\), a generalized possibility measure is assumed to satisfy the last property only for finite sets \(J\). The author proves first that generalized possibility measures are infimas of downward directed families of possibility measures. Then he discusses all directed families of possibility measures and he identifies the largest such family. Finally, he studies generalized possibility measures defined on the family of all fuzzy subsets of \(X\).