zbMATH — the first resource for mathematics

Conditional possibility and necessity. (English) Zbl 1015.68191
Bouchon-Meunier, Bernadette (ed.) et al., Technologies for constructing intelligent systems. 2: Tools. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 90, 59-71 (2002).
Summary: We introduce the definition of a conditional possibility (and a conditional necessity by duality) as a primitive concept, ie a function whose domain is a set of conditional events. The starting point is a definition of conditional event \(E|H\) which differs from many seemingly “similar” ones adopted in the relevant literature, which makes the third value depending on \(E|H\). It turns out that this function \(t(E|H)\) can be taken as a conditional possibility by requiring “natural” property of closure of truth-values of the conditional events with respect to max and min. We show that other definitions of conditional possibility measures, present in the literature, are particular cases of the one proposed here. Moreover, we introduce a concept of coherence for conditional possibility and a relevant characterization theorem, given in terms of a class of unconditional possibility measures.
For the entire collection see [Zbl 0980.00013].

68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence