Decision, nonmonotonic reasoning and possibilistic logic

  • Authors:
  • Salem Benferhat;Didier Dubois;Hélèe Fargier;Henri Prade

  • Affiliations:
  • Univ. Paul Sabatier, Toulouse, France;Univ. Paul Sabatier, Toulouse, France;Univ. Paul Sabatier, Toulouse, France;Univ. Paul Sabatier, Toulouse, France

  • Venue:
  • Logic-based artificial intelligence
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper survey 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 our 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.