An alternative inference for Qualitative Choice Logic

  • Authors:
  • Salem Benferhat;Daniel Le Berre;Karima Sedki

  • Affiliations:
  • CRIL-CNRS FRE 2499, Université d'Artois, France, email: {benferhat,leberre,sedki}@cril.univ-artois.fr;CRIL-CNRS FRE 2499, Université d'Artois, France, email: {benferhat,leberre,sedki}@cril.univ-artois.fr;CRIL-CNRS FRE 2499, Université d'Artois, France, email: {benferhat,leberre,sedki}@cril.univ-artois.fr

  • Venue:
  • Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Qualitative Choice Logic adds to classical propositional logic a new connective, called ordered disjunction, used to express preferences between alternatives. We present an alternative inference relation for the QCL language that overcomes some QCL limitations.