Logical Representation and Computation of Optimal Decisions in a Qualitative Setting

This paper describes a logical machineryfor computing decisions based on an ATMS procedure, wherethe available knowledge on the state of the world is describedbya possibilistic propositionallogic base(i. e. , a collectionof logical statements associatedwithqualitative certainty levels). Thepreferencesof the userare also describedbyanotherpossibilistic logic basewhose formulaweightsare interpreted in termsof priorities and formulasexpressgoals. Two attitudes are allowed for the decisionmaker: a pessimisticuncertainty-averse one and an optimistic one. Thecomputed decisions are in agreement witha qualitative counterpartto classical expectedutility theoryfor decisionunderuncertainty.

Authors

• Didier Dubois
• Henri Prade

Keywords

No keywords are indexed for this paper.