Decomposable threshold models (Q811456)

Pour traduire un problème de choix multicritère (ou de préférence..) le formalisme suivant peut être adopté: \(S=S_ 1\times...\times S_ n\) où les \(S_ i\) sont les ensembles de valeurs possibles de n attributs ou points de vue; \(x=(x_ 1,...,x_ n)\) est l'élément générique de S. Posant \(\phi_ i: S_ i\to R\) et \(F : R^ n\to R\), on convient dans la perspective d'un choix global trichotomique (G: bon, I: indifférent, B: mauvais) que: \[ x\in G\quad ssi\quad F[\phi_ 1(x_ 1),...,\phi_ n(x_ n)]>0, \] \[ x\in I\quad ssi\quad F[\phi_ 1(x),...,\phi_ n(x_ n)]=0, \] \[ x\in B\quad ssi\quad F[\phi_ 1(x_ 1),...,\phi_ n(x_ n)]<0. \] Un tel modèle à seuil sera dit décomposable si F est injective ou monotone croissante (au sens large ou strict) en chacune de ses variables. L'étude est consacrée à la construction des axiomes qui assurent (via un théorème démontré) ces différentes formes de décomposabilité. Concrètement ceux qui posent problème concernent des formes d'indépendance par rapport au contexte. Leur énoncé précis a l'avantage de rendre les modèles à seuil falsifiables (i.e. réfutables) donce pouvant donner lieu à tests statistiques.