Conditionnement en logique possibiliste à intervalles
La logique possibiliste à intervalles est un formalisme flexible étendant la logique possibiliste standard tel que chaque expression logique est associée à un sousintervalle de [0, 1]. Ce papier se concentre sur le problème important que représente le conditionnement dans les cadres possibilistes à intervalles. La première partie de ce papier propose un ensemble de propriétés naturelles à satisfaire. Nous donnons ensuite une définition naturelle et sûre du conditionnement dans les distributions possibilistes à intervalles. Elle consiste à appliquer le conditionnement standard sur l'ensemble de toutes les distributions compatibles associées. La seconde partie de ce papier fournit l'équivalent syntaxique du calcul du conditionnement quand les distributions sont encodées de manière compacte à l'aide de bases de connaissances possibilistes à intervalles. Nous montrons que le conditionnement à intervalles a la même complexité que le conditionnement de bases possibilistes standards.
