RELATING AND EXTENDING SEMANTICAL APPROACHES TO POSSIBILISTIC REASONING

Two main semantical approaches to possibilistic reasoning with classical propositions have been proposed in the literature. Namely, Dubois-Prade's approach known as possibilistic logic, whose semantics is based on a preference ordering in the set of possible worlds, and Ruspini's approach that we redefine and call similarity logic, which relies on the notion of similarity or resemblance between worlds. In this article we put into relation both approaches, and it is shown that the monotonic fragment of possibilistic logic can be semantically embedded into similarity logic. Furthermore, to extend possibilistic reasoning to deal with fuzzy propositions, a semantical reasoning framework, called fuzzy truth-valued logic, is also introduced and proved to capture the semantics of both possibilistic and similarity logics.