Reasoning with partially ordered information in a possibilistic logic framework

Salem Benferhat (1) , Sylvain Lagrue (2) , Odile Papini (2)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 LSIS - Laboratoire des Sciences de l'Information et des Systèmes

In many applications, the reliability relation associated with available information is only partially defined, while most of existing uncertainty frameworks deal with totally ordered pieces of knowledge. Partial pre-orders offer more flexibility than total pre-orders to represent incomplete knowledge. Possibilistic logic, which is an extension of classical logic, deals with totally ordered information. It offers a natural qualitative framework for handling uncertain information. Priorities are encoded by means of weighted formulas, where weights are lower bounds of necessity measures. This paper proposes an extension of possibilistic logic for dealing with partially ordered pieces of knowledge. We show that there are two different ways to define a possibilistic logic machinery which both extend the standard one.

Keywords: possibilistic logic; partial pre-orders

Domains: Computer Science [cs]; Computer Science [cs]; Technology for Human Learning

Salem Benferhat, Sylvain Lagrue, Odile Papini. Reasoning with partially ordered information in a possibilistic logic framework. Fuzzy Sets and Systems, 2004, 144 (1), pp.25-41. ⟨10.1016/j.fss.2003.10.012⟩. ⟨hal-01479591⟩