Tags:Boolean algebra, boolean valued, certainty levels, cube of opposition, didier dubois and henri, Multiple agent logic, necessity measure, possibilistic logic and set valued distribution
Abstract:
Propositional possibilistic logic handles pairs made of a proposition and a level expressing a degree of certainty; these levels belong to a totally or- dered scale. This basic possibilistic logic only allows for the conjunction of pos- sibilistic formulas, in agreement with the min decomposability of necessity mea- sures for this connective. Generalized possibilistic logic extends this formalism to negation and disjunctions of weighted pairs of formulas. In this paper, we con- sider a class of possibilistic logics where propositions are labeled by elements of a Boolean algebra. We first consider the example where propositions are associated with groups of agents that believe in them. This multiagent logic is then extended by attaching degrees of necessity to pairs (proposition, set of agents), and a mul- tiagent counterpart of generalized possibilistic logic is proposed as well. Other examples of Boolean-valued formulas are discussed, where the Boolean labels represent time intervals, or yet other propositional formulas representing reasons to believe propositions.
Boolean Weighting in Possibilistic Logic. Lattice-Valued Generalized Possibilistic Logic: Completeness and Examples