Exigences, réglementations et contraintes

Abstract

Cet article s'intéresse à la modélisation des exigences et à l'expression de leur compatibilité avec une réglementation et des contraintes du domaine. Nous nous plaçons dans le cas où les exigences sont ordonnées selon un ordre de priorité. Le problème est alors de déterminer, parmi les exigences ordonnées de l'agent, les plus préférées qui sont compatibles avec la réglementation et avec les contraintes du domaine. Pour cela, nous proposons de modéliser les exigences, les réglementations et les contraintes dans un cadre formel unique, une logique de préférences conditionnelles. Le choix d'un formalisme unique nous permet de donner une caractérisation simple des meilleures exigences compatibles avec la réglementation et les contraintes.