Article Dans Une Revue International Journal of Approximate Reasoning Année : 1990

Resolution principles in possibilistic logic

Résumé

An extension of the resolution principle was recently proposed by Dubois and Prade for logical clauses weighted by certainty degrees and was used in theorem proving under uncertainty. These certainty degrees were lower bounds on necessity measures. In the case considered here, the available information may also be an upper bound on a necessity measure, or, if one prefers, a lower bound on the dual possibility measure. It leads to a second resolution principle for clauses weighted in terms of possibility or necessity degrees. The formal analogy between these two resolution principles and the ones existing in modal logic is stressed. Finally, the case where the uncertain clauses include fuzzy predicates, to which the excluded-middle law no longer applies, is studied, and a suitable adaptation of the extended resolution principles is proposed.

Fichier non déposé

Dates et versions

hal-04058175 , version 1 (04-04-2023)

Identifiants

Citer

Didier Dubois, Henri Prade. Resolution principles in possibilistic logic. International Journal of Approximate Reasoning, 1990, 4 (1), pp.1-21. ⟨10.1016/0888-613X(90)90006-N⟩. ⟨hal-04058175⟩
79 Consultations
0 Téléchargements

Altmetric

Partager

  • More