Answer set programming for computing decisions under uncertainty

  • Authors:
  • Roberto Confalonieri;Henri Prade

  • Affiliations:
  • Universitat Politècnica de Catalunya, Dept. Llenguatges i Sistemes Informàtics, Barcelona;Institut de Recherche en Informatique Toulouse, Università Paul Sabatier, Toulouse Cedex 9, France

  • Venue:
  • ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Possibility theory offers a qualitative framework for modeling decision under uncertainty. In this setting, pessimistic and optimistic decision criteria have been formally justified. The computation by means of possibilistic logic inference of optimal decisions according to such criteria has been proposed. This paper presents an Answer Set Programming (ASP)-based methodology for modeling decision problems and computing optimal decisions in the sense of the possibilistic criteria. This is achieved by applying both a classic and a possibilistic ASP-based methodology in order to handle both a knowledge base pervaded with uncertainty and a prioritized preference base.