Le resume linguistique de donnees structurees comme ... - APMD

40 CHAPITRE 2 — Algorithme d’interrogation des résuméset encore d’autres par les deux étiquettes fin et moyen. Le principe de la formulation présentéeci-dessous est de regrouper les résultats en fonction de leurs caractéristiques vis-à-vis de la requête; les résumés décrits par fin fourniront une caractérisation distincte de celle des résumésdécrits par moyen. Cette méthode présente plusieurs avantages :• l’existence de certaines combinaisons de descripteurs requis au sein des données peut êtrefacilement vérifiée ;• les catégories de résumés résultats sont différenciées : on sait précisément à quels résumésest due la présence d’un descripteur en sortie ;• la présentation des résultats est synthétique et permet, si nécessaire, d’avoir une uniquedescription globale.En l’occurrence, le regroupement des résultats s’effectuera en fonction de l’interprétation,au sens de la logique propositionnelle, qui valide la proposition P. La requête traduite en formulelogique s’écrit sous forme normale conjonctive par : P = ∧ ki=1 C l i avec des clausesC l i = ∨ m ij=1 dj i .Étant donné qu’une clause C l i est satisfaite dès que l’une de ses variables est valuée positivement,il existe 2 m i− 1 interprétations validant toute clause logique de m i variables. Parexemple, chacun des ensembles {fin}, {moyen}, {fin, moyen} fournit une interprétation deC l ep = (fin ∨ moyen). En effet, une valuation positive des variables de l’un de ces trois ensemblesconduit à une satisfaction de C l ep .Chacune de ces 2 m i− 1 interprétations est une manière dont un résumé z satisfait C i . Àl’échelle de la proposition P plutôt que de la clause, le nombre N d’interprétations est :N =k∏(2 m i− 1) . (2.12)i=1Puisqu’il existe a priori plusieurs interprétations de la proposition logique relative à la requête,il existe autant de manières de répondre à la requête. La description réalisée par l’interrogationest en réalité un ensemble Ĉout de caractérisations. À l’image de la caractérisationinitiale fournie par la requête, la caractérisation Ĉout décrit les résumés sélectionnés, mais surl’ensemble Y des attributs de sortie (voir section 2.1.1) : Ĉout = {Ĉk+1, . . . , Ĉn}.Définition 5 (Caractérisation résultat) : Soit E l’ensemble des résumés correspondant à unecaractérisation initiale C et satisfaisant P par la même interprétation logique. La caractérisationrésultat sur la relation Y s’exprime par :n⋃Ĉ j = L Aj (z), z ∈ E ,j=k+1