Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms
Didier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin · Fundamenta Informaticae · 1999
This paper describes a logical machinery for computing decisions, where the available knowledge on the state of the world is described by a possibilistic propositional logic base (i.e., a collection of logical statements associated with qualitative c