Les structures d'opposition, dérivées du carré d'opposition de la logique antique ont depuis plus d'une décade montré leur intérêt dans l'analyse de différents cadres de représentation et de traitement de l'information. L'utilisation d'une vision renouvelée et moins contrainte des structures d'opposition conduit dans cet article à considérer un hypercube d'opposition applicable à des cadres binaires ou gradués, qui est ici exemplifié sur l'intégrale de Sugeno et sur 15 autres expressions syntaxiquement distinctes qui peuvent lui être associées.
Cet article est un plaidoyer pour réexaminer diverses approches qualitatives existantes du traitement des données, `a des fins de classification, d'un point de vue théorique. On propose une simple approche logique. Puis, on considère notamment l'apprentissage par l'espace des versions et l'analyse formelle de concept qui reposent sur différents paradigmes et diverses motivations, et ont été développés séparément. L'article exploite également la notion d'objet conditionnel comme un outil approprié pour la modélisation des règles si-alors. Il préconise également la théorie des possibilités pour gérer l'incertitude dans de tels contextes. Il s'agit d'une étape préliminaire, en vue d'une vision unifiée de la contribution de ces approches à l'apprentissage automatique.
Le transport d'une information incertaine par une fonction multivoque se rencontre dans différents cadres, allant du calcul de l'image d'un ensemble par une fonction inverse au transport Dempstérien d'un espace probabilisé par une fonction multivoque. On obtient alors des images supérieures et inférieures. Dans chaque cas on manipule des ensembles dits “épais” au sens de Jaulin, c'est-`a-dire des ensembles mal connus bornés inférieurement et supérieurement. De tels ensembles mal connus se rencontrent sous diverses appellations dans la littérature, comme celles, par exemple, d'“ensemble-intervalle” chez Y. Y. Yao, de “twofold fuzzy sets” au sens de Dubois et Prade, ou d'“interval-valued fuzzy sets”,... Différentes opérations peuvent être définies sur ces ensembles qui sont interprétés disjonctivement (incertitude épistémique), plutôt que conjonctivement. Le but de cette note est de proposer une vision unifiée de ces formalismes dans le cadre de la théorie des possibilités, ce qui permettra de donner des extensions graduelles `a certains des calculs considérés.
Cet article explore les analogies formelles entre capacités qualitatives à valeurs sur une chaine finie et les capacités numériques : transformées de Möbius, cœur, et dualité. Dans le cadre qualitatif, les mesures de possibilité jouent le même rôle que les mesures de probabilité dans le cadre quantitatif. Cela crée des difficultés pour interpréter les capacités qualitatives et les notions correspondantes inspirées du cas quantitatif. En particulier, on tente de montrer qu'on peut faire trois usages très différents des capacités qualitatives : on peut les voir soit comme des bornes sur des mesures de possibilité ou de nécessité mal connues, soit comme un outil d'expression de l'attitude du décideur dans les critères qualitatifs de décision dans l'incertain, soit comme une contrepartie qualitative de la théorie des fonctions de croyance qui gère simultanément le caractère incomplet et contradictoire d'informations issues de plusieurs sources.
Dans les problèmes d'agrégation bidimensionnels, on dit que les deux opérations d'agrégation commutent si le résultat final ne dépend pas de l'ordre dans lequel on les a appliquées. Les maximums pondérés commutent entre eux tout comme les minimums pondérés, mais un maximum pondéré ne commute pas avec un minimum pondéré. Cet article présente des résultats qui résolvent complètement le problème de la commutation des intégrales de Sugeno.
Le but de cet article est de définir la contrepartie qualitative des fonctions de croyance séparables (issues de la fusion de témoignages élémentaires non fiables) pour des capacités à valeurs sur un ensemble fini totalement ordonné. Dans le cadre qualitatif, une distribution de possibilité définie sur l'ensemble des parties du cadre de discernement remplace la fonction de masse. Il s'avère que toute capacité peut être induite par la contrepartie qualitative de la définition d'une fonction de croyance. Nous considérons ensuite une contrepartie de la règle de combinaison de Dempster appliquée aux capacités qualitatives. Nous étudions la classe des capacités séparables, qui peut être générée en appliquant cette combinaison à des capacités à support simple. On la compare avec la décomposition des capacités comme un maximum de fonctions de nécessité. Nous montrons enfin la pertinence de ce formalisme pour le problème de la fusion d 'informations issues de sources non fiables.
La comparaison de deux items (objets, images) peut s'exprimer en termes de différentes modalités telles que l'identité, la similarité, la différence, l'opposition, l'analogie. Récemment J.-Y. Béziau a proposé un “hexagone analogique” qui organise les liens entre ces modalités. La structure d'hexagone logique étend ici le carré logique des oppositions inventé du temps d'Aristote (en relation avec la théorie naissante des syllogismes). L'intérêt de ces notions a été mis en évidence depuis peu en logique et en intelligence artificielle. La comparaison de deux items met en jeu un ensemble d'attributs pertinents dont on compare les valeurs. Les comparaisons élémentaires peuvent être une question de degré, les attributs peuvent n'avoir pas tous la même importance. On pourrait aussi se contenter de considérer la plupart plutôt que la totalité des attributs, en utilisant des opérateurs du type OWmin et OWmax. L'article étudie dans quelle mesure une structure d'hexagone logique gradualisé peut être préservée pour ces extensions. On illustre les questions posées par l'extension floue d'un hexagone avec celui de l'inégalité et de l'égalité, proposé par R. Blanché.
Les intégrales de Sugeno permettent de décrire des familles d'opérateurs d'agrégation qualitativement. On sait que les intégrales de Sugeno peuvent être représentées par des ensembles de règles. Chaque règle utilise le même seuil dans les conditions et la conclusion. Cependant, en pratique on aimerait représenter des règles mettant en œuvre plusieurs seuils. Certaines règles à plusieurs seuils peuvent se représenter par des “fonctionnelles d'utilité de Sugeno” où la valeur des critères peut être modifiée à l'aide de fonctions d'utilité. Leur pouvoir de représentation reste assez restreint. Par contre, on suggère que l'usage de disjonctions ou de conjonctions de fonctionnelles d'utilité de Sugeno augmente de façon déterminante le pouvoir expressif et qu'on peut capturer ainsi toute fonction d'agrégation unaire par morceaux sur une échelle finie.
G. Shafer présente sa théorie des fonctions de croyance essentiellement comme une théorie de la fusion des témoignages élémentaires. Mais toute fonction de croyance ne peut pas être vue comme la combinaison de fonctions à support simple (qui représentent de tels témoignages). Seules les fonctions de croyance dites à support séparable peuvent par définition être vues comme le résultat d'une telle combinaison. Ph. Smets en 1995 a indiqué que toute fonction de croyance pouvait être vue comme la combinaison de fonctions à support simple généralisées. Cette généralisation autorise une masse plus grande que 1 sur la tautologie. Cet article revisite ce travail de Smets, ainsi que des travaux thématiquement reliés de M. Ginsberg et de Th. Denoeux, afin d'en mieux comprendre la portée.
La théorie de l'analyse formelle de concepts est classiquement basée sur l'utilisation de l'opérateur ensembliste de Galois. La similarité formelle entre cette théorie et la théorie des possibilités suggére l'utilisation d'opérateurs possibilistes ignorés jusque-là. Ce papier propose une approche basée sur l'utilisation de compositions asymétriques de certains de ces opérateurs, ce qui permet d'enrichir la base de Duquenne-Guigues par l'obtention d'implications d'attributs à sémantique disjonctive. En outre, cette approche peut être généralisée à des contextes incomplets tout autant qu'`a des contextes exprimant une incertitude graduelle.
La méthode du maximum de vraisemblance est bien connue et constitue l'un des piliers de l'inférence statistique. Elle suppose des données précises. Mais quand les données sont imprécises ou incomplètes, il n'est pas trivial de définir une fonction de vraisemblance. Cela dépend du problème qu'on veut traiter. Cette article discute plusieurs définitions possibles et les difficultés qu'elles peuvent engendrer.
Cet article propose une représentation graphique de préférences multi-agents, basée sur la théorie des possibilités. C'est une contrepartie graphique de la logique possibiliste multi-agents. Nous proposons d'abord une représentation graphique où les préférences des agents sont tout ou rien : soit chaque ensemble d'agents accepte totalement le choix, soit il le rejette. Cette représentation est ensuite étendue à des préférences nuancées. Dans cet article, nous examinons les propriétés de base des modèles proposés et leurs algorithmes associés. Nous montrons aussi comment à partir de ces réseaux, construire des réseaux relatifs à des sous-ensembles d'agents.
On considère le classement d'intervalles flous en liaison avec la comparaison entre probabilités et entre intervalles. On peut étendre conjointement aux intervalles flous une forme de dominance stochastique avec un type d'ordre d'intervalles. Selon l'interprétation des nombres flous, plusieurs extensions de ce type sont possibles. Ce cadre unificateur permet aussi de traiter le cas des variables aléatoires floues. Dans cet article on s'intéresse à des extensions d'ordres stochastiques aux variables aléatoires floues en voyant les intervalles flous soit comme des distributions de possibilité, soit comme des intervalles de nombres graduels, soit en utilisant des substituts nets des quantités floues. This paper deals with methods for ranking fuzzy intervals in connection with probabilistic and interval orderings. One form of probabilistic comparison can be coupled with one form of interval comparison so as to induce a comparison method for fuzzy intervals. According to the interpretation of a fuzzy interval, various such extensions can be laid bare. This framework can encompass the comparison of fuzzy random variables. In this paper, we especially consider extensions of probabilistic orderings using possibilistic interpretations of fuzzy intervals, crisp substitutes thereof, and gradual numbers
La modélisation de règles conditionnelles/implicatives telles que “si A alors B” joue un rôle crucial dans toute tentative de formalisation du raisonnement. Reprenant l'expression de différentes formes de règles identifiées dans le cadre de la théorie des possibilités, nous en étudions la contrepartie dans le cadre d'une logique possibiliste généralisée. Une distinction entre règles et méta-règles est particulièrement soulignée. Les premières contribuent à spécifier de façon partielle un unique état de connaissances à partir duquel on raisonnera, tandis que les secondes mettent en relation des états partiels de connaissance, comme en “Answer Set Programing”. The modeling of conditional/implicative rules of the form “if A then B” play a crucial role in any attempt at formalizing reasoning. Starting from the expression of different forms of rules that have been identified in the setting of possibility theory, we study their counterparts in the framework of extensions of possibilistic logic. A distinction between rules and meta-rules is especially emphasized. The former contributes to the partial specification of a unique epistemic state, while the latter relates partially specified epistemic states, as in Answer Set Programing.
Nous proposons deux extensions de la préférence statistique aux variables aléatoires floues de type L-R en deux étapes. La première, commune aux deux extensions, consiste à étendre la préférence statistique des variables aléatoires réelles aux intervalles aléatoires en utilisant l'ordre des intervalles. La deuxième étape consiste à généraliser la préférence statistique entre les intervalles aléatoires aux variables aléatoires floues de type L-R, en nous appuyant sur les travaux de Chanas et col., qui consistent à généraliser l'ordre des intervalles de nombres réels aux intervalles flous du type L-R, donc en utilisant les indices de comparaison d'intervalles flous du type L-R dus à ces derniers. Nous proposons alors deux définitions de la préférence statistique entre les variables aléatoires floues de type L-R, l'une coincide avec la dominance stochastique entre ces indices, qui deviennent des variables aléatoires réelles à valeurs dans l'intervalle (0, 1], l'autre utilise la préférence statistique entre ces dernière. Nous montrons que l'une raffine l'autre. Two extensions of the statistical preference to fuzzy random variables of type L-R are proposed in two steps. The first, the same for two extensions, consists in extending the statistical preference of random variables to random intervals by means of interval orders. The second step, consists in generalizing the statistical preference between random intervals to fuzzy random variables of type L-R, based on works of Chanas et al., who generalize interval order on reals intervals to fuzzy intervals of type L-R. We use the degrees of comparison of fuzzy intervals given by these authors. We propose then two definitions of statistical preférence of fuzzy random variables of type L-R. The first one applies the definition of stochastic dominance to these degrees, which become random variables taking values are in the interval (0, 1]. The other ones use the statistical preférence between these degrees. It is shown that the first method is more demanding and is refined by the second one.
Cet article propose d'étudier les profils de réponses des candidats aux tests du concours des ´ Elèves Pilotes de Ligne de l'ENAC afin d'extraire les profils à risque qui correspondent à des profils des candidats qui ont précédemment échoué lors de la formation pratique. Pour extraire ces profils, des outils de fouille de données sont utilisés. De plus, on utilise une nouvelle technique de classification floue afin de mesurer la pertinence de tels profils. This article proposes to study answer profiles of candidates in the results of the selection contest for student pilots. The aim is to extract risky profiles that match the profiles of candidates who previously failed the practical training. To extract these profiles, data mining tools are used.We also use a new form of fuzzy clustering in order to measure the relevance of such profiles.
La réconciliation de données consiste à modifier des données bruitées ou peu fiables de manière à les rendre compatibles avec un modèle mathématique (ici représentant un réseau de flux de matière). L'approche traditionnelle est celle des moindres carrés. On montre qu'une approche par les ensembles flous permet de généraliser cette démarche, en la rendant plus flexible, moins dépendante d'une justification purement probabiliste parfois discutable, tout en incluant l'analyse par contraintes de type intervalles comme cas particulier. Data reconciliation consists in modifying noisy or unreliable data so as to satisfy a mathematical model (here a material flow network). The usual approach relies on least squares minimization. Here we show that the setting of fuzzy sets enables a wider point of view to be formalised, yielding an approach that is more flexible and less dependent on sometimes debatable probabilistic justifications. Moreover our setting encompasses constraintbased reasoning using intervals as well.
Cet article présente des variantes de l'intégrale de Sugeno dans un cadre qualitatif fini. On introduit tout d'abord trois façons d'interpréter les poids d'importance associés aux groupes de critères, sur une algèbre de Heyting. On introduit ensuite l'idée de « désintégrale », duale de celle d'intégrale. Lors de l'évaluation d'un objet, une désintégrale est maximale si aucun défaut éventuel n'est présent de manière notable, tandis qu'une intégrale est maximale si tous les avantages éventuels sont suffisamment présents. Cette idée conduit à une représentation bipolaire des préférences, au moyen d'une paire constituée par une intégrale et une désintégrale. This paper proposes variants of the Sugeno integral in a finite qualitative setting. First, three ways of understanding importance weights attached to groups of criteria are proposed. Moreover, we introduce the idea of (qualitative) “desintegrals”, a dual of integrals, in a finite setting. When evaluating an item, desintegrals are maximal if no defects at all are present in a significant way, while integrals are maximal if all positive aspects are sufficiently present. This idea leads to a bipolar representation of preferences, by means of a pair made of an integral and a desintegral.
La spécialisation sociale des communes au sein d'une aire métropolitaine est un enjeu majeur pour les politiques publiques. Modéliser cette dynamique, imparfaitement connue, permet déxplorer des scénarios de développement. Les réseaux possibilistes offrent une approche modélisatrice bien adaptée à l'incertitude des connaissances du processus de spécialisation. Leur mise en œuvre pratique nécessite la spécification de possibilités conditionnelles qui, comme dans le cas probabiliste, peut être simplifiée à l'aide de connecteurs (et, ou, max, . . .) incertains. L'intérêt de ces outils est illustré sur un exemple simplifié de réseau possibiliste modélisant la spécialisation sociale dans l'aire métropolitaine marseillaise. Social specialization of districts within a metropolitan area is a major stake for public policies. Modeling these imperfectly known dynamics makes it possible to explore development scenarios. Possibilistic networks offer a modeling approach which is well suited to dealing with an uncertain knowledge of the specialization process. Their practical application requires the specification of conditional possibilities, which, like in the probabilistic case, may be simplified by means of uncertain (and, or, max, . . .) logical gates. The interest of such tools is illustrated on a simplified example of a possibilitic network for the modeling of social specialization within the Marseilles metropolitan area.
Cet article présente une extension multi-agents de la logique propositionnelle, dont les formules sont des paires (a,A) où a est une formule propositionnelle et A un sous-ensemble d'agents. La formule (a,A) exprime que (au moins) tous les agents dans A croient que a est vraie. Une méthode de réfutation, basée sur un principe de résolution généralisé, utilisant une stratégie linéaire est proposée. Cette stratégie linéaire est ensuite étendue en prenant en compte des degrés de certitude dans des formules de la forme (a, alpha/A) (exprimant que les agents de A sont certains au moins au degré α que a est vrai). Cela permet de généraliser la méthode de réfutation de la logique possibiliste à la logique multi-agents possibiliste. This paper presents a multiple agent extension of classical logic, a logic whose formulas are pairs of the form (a,A), where a is a proposition and A a subset of agents. Formula (a,A) expresses that (at least) all agents in A believe that a is true. A refutation method, based on a generalized resolution principle, using a linear strategy is proposed. This linear strategy is then extended for taking into account certainty degrees in formulas of the form (a, α/A) expressing that all agents in A are certain that a is true at least at level α). This allows us to generalize the refutation method of possibilistic logic to multiple agent possibilistic logic.
Il existe plusieurs manières de représenter des préférences dans le cadre de la théorie des possibilités ; certaines sont basées sur des structures graphiques et d'autres utilisent des formulations logiques. Les CPNets, une approche ordinale de la représentation des préférences offre un moyen simple et compact pour les spécifier. Mais en dépit de son succès cette approche présente des limitations. En effet, elle peut conduire à exprimer plus de préférences, que ce qui est explicitement spécifié. Dans cet article, on discute la capacité de la théorie des possibilités à exprimer des préférences d'une manière fidèle. On propose une étude comparative entre différents préordres induits par différentes méthodes possibilistes de représentation des préférences. L'intérêt du cadre offert par les réseaux possibilistes est particulièrement souligné. Several methods aiming at representing preferences in the possibilistic framework exist, some are based on graphical structures and others on logical approaches. One of the most popular models is the CP-Nets, as it provides a compact way to express preferences. But in spite of its success it presents some limitations. Indeed, it may express more than what the user intended to state. In this paper, we argue about the capacity of possibility theory to express preferences that are more faithful to the user preferences. Then we provide a comparative study between orderings obtained by different possibilistic methods of preference representation. The interest of the possibilistic network setting is particularly emphasized.
Cet article étudie les capacités qualitatives définies sur un ensemble totalement ordonné muni d'une fonction de renversement de l'ordre. En nous inspirant du rôle joué par les probabilités pour les capacités quantitatives, nous cherchons à savoir si les capacités qualitatives peuvent être considérées comme des ensembles de mesures de possibilité, ou encore des contreparties qualitatives de fonctions de croyance. Nous avions déjà montré que toute capacité qualitative est caractérisée par une classe de mesures de possibilité, plus précisément par les bornes inférieures de cette classe. Cette fois, nous montrons les liens entre la transformée deM‥obius qualitative d'une capacit é et les distributions de possibilité qui dominent sa conjuguée. Enfin nous donnons quelques résultats pour caractériser la quantité d'information contenue dans une capacité ainsi que son degré de pessimisme. This paper studies the structure of qualitative capacities defined on a finite totally ordered scale equipped with an order-reversing map. More specifically, we investigate the question whether these qualitative set-functions can be viewed as classes of simpler set-functions, typically possibility measures, paralleling the situation of quantitative capacities with respect to imprecise probability theory or yet whether capacities can be viewed as a kind of belief functions. In the recent past we showed that any capacity is characterized by a non-empty class of possibility measures having the structure of an upper semilattice. The lower bounds of this class are enough to reconstruct the capacity. Here we display the connections between the qualitative counterpart of the M‥obius transform of a capacity and the possibility distributions that dominate its conjugate. Finally we study how to characterize the quantity of information contained in a capacity and its degree of pessimism.
Différentes propositions ont été faites dans la littérature de raisonnement à partir de cas pour tirer profit des méthodes faisant appel à la logique floue ou à la théorie des possibilités. En effet, d'une part la similarité entre les cas peut être une question de degré, et d'autre part le raisonnement par cas est seulement plausible par nature et conduit donc à des conclusions incertaines. Cet article présente une vue d'ensemble d'approches floues pour différents problèmes de raisonnement à partir de cas. Enfin, l'article pointe quelques pistes de recherche, en particulier en ce qui concerne l'exploitation de cas incomplètement ou mal connus, ou l'usage de cas flous résumant des cas “ponctuels”. Different proposals have been made in the case-based reasoning literature for taking advantage of methods making use of fuzzy logic or possibility theory. Indeed on the one hand similarity between cases may be a matter of degree, and on the other hand, case-based reasoning conclusions are only plausible in nature. This article presents an overview of fuzzy approaches to different casebased reasoning problems and suggests some directions of research, especially regarding the exploitation of incompletely or poorly known cases, or the use of fuzzy cases that summarize elementary cases.
La logique possibiliste multi-agent est une extension de la logique possibiliste. Elle manipule des formules de la forme (a, α/A) où a est une formule propositionnelle, α ∈ [0, 1], et A est un sous-ensemble d'agents. Une telle formule permet d'exprimer qu'au moins tous les agents qui sont dans l'ensemble A croient que la formule a est vraie au moins avec un degré de certitude α. Cet article présente la logique possibiliste multi-agent, établit sa correction et sa complétude, et suggère dans sa conclusion des applications potentielles.
On considère une variante de la logique possibiliste, déjà proposée par Benferhat et coll., où les poids attachés aux formules sont remplacés par des variables symboliques à valeur sur une échelle totalement ordonnée. On suppose qu'on ne dispose que de contraintes de domination stricte entre ces poids inconnus. Dans ce cas, on peut étendre la sémantique et l'axiomatisation de la logique possibiliste, mais sa complétude nécessite une nouvelle preuve qui est décrite ici. La mise en œuvre de cette logique peut exploiter des techniques de recherche de sousbases maximales consistantes et de raisonnement abductif.
On propose une caractérisation de l'intégrale de Choquet discrète par rapport à une mesure de possibilité ou de nécessité. On montre qu'il suffit pour cela d'ajouter à l'axiomatisation de l'intégrale de Choquet par rapport à une capacité un axiome de pessimisme ou un axiome d'optimisme, et que cela étend les classes de fonctions dans lesquelles l'intégrale de Choquet est additive. Le critère pessimiste (resp. optimiste) obtenu est une généralisation du critère maximin (resp maximax) de Wald qui opère une moyenne sur les coupes d'une distribution de possibilité. On propose aussi une axiomatisation en termes de relations de préférence entre des actes dans le cadre de la décision dans l'incertain.
A l'occasion du cinquantième anniversaire de l'article inaugural “Fuzzy sets” de L. A. Zadeh, on évoque brièvement (références à l'appui) ce que furent les débuts du flou en France une dizaine d'années plus tard, en rappelant le rôle de pionnier d'Arnold Kaufmann et de quelques autres.