Decision, Non-monotonicreasoning, possibilistic logic: An introductory survey of recent results

International audienceThe paper surveys recent AI-oriented works in qualitative decision developed by the authors in the framework of possibility theory. Lottery-based and act-based axiomatics underlying pessimistic and optimistic criteria for decision under uncertainty are first briefly restated, when uncertainty and preferences are encoded with an ordinal scale. A logical machinery capable of computing optimal decisions in the sense of these criteria is presented. Then an approach to qualitative decision under uncertainty which does not require a commensurateness hypothesis between the uncertainty and the preference scales is proposed; this approach is closely related to nonmonotonic reasoning, but turns out to be ineffective for practical decision. Lastly, the modeling of preference as prioritized sets of goals, as sets of solutions reaching some given level of satisfaction, or in terms of possibilistic constraints is discussed briefly