Comité de Programme 

Organisateurs :

• CHEVALLET Jean-Pierre, LIG, Grenoble (France)
• ROUSSEY Catherine,IRSTEA, Clermont Ferrand (France)
• ZARGAYOUNA Haïfa , LIPN, Paris (France)

Membres :  en cours de constitution

    BELLOT Patrice, LSIS Avignon (France)

    BERTIN Marc, STIH  Paris (France),  CIRST Montreal (Canada)

    BUSCALDI Davide, LIPN, Paris (France)

    CALABRETTO Sylvie, LIRIS Lyon (France)

    CHEVALLET Jean-Pierre, LIG, Grenoble (France)

    GRAU Brigitte, ENSIIE (France)

    HERNANDEZ Nathalie, IRIT, Toulouse (France)    

    KAMEL Mouna, IRIT, Toulouse (France)

    ROUSSEY Catherine, IRSTEA, Clermont Ferrand (France)

    SALLABERRY Christian, LIUPPA, Pau (France)

    SALOTTI Sylvie, LIPN, Paris (France)

    SCHWAB Didier, LIG-GETALP, Grenoble (France)

    TAMINE LECHANI Lynda, IRIT, Toulouse (France)

    ZARGAYOUNA Haïfa, LIPN, Paris (France)

Modéliser la correspondance RI avec une logique: liens entre logique et sémantique

Dans le domaine de la Recherche d'Information (RI), modéliser la notion de pertinence à l'aide d'une logique est une idée ancienne, puis que dès 1971, Cooper propose de définir la pertinence par un lien logique entre un document et une requête. Ce choix impose de représenter les documents et les requêtes comme des formules logiques. Cette idée a ensuite été particulièrement étudiée dans les années 1990, avec comme point de départ une intuition de Van Rijbergen sur le lien entre déduction logique et probabilité de pertinence. Pourtant, cette approche ne semble pas s'être effectivement développée pour être utilisée dans les moteurs de recherche actuels. Alors que la logique est également un outil pour modéliser et déduire des connaissances, il semble également approprié d'utiliser les outils mathématiques offerts par la logique formelle pour modéliser et mettre en œuvre un moteur de recherche sémantique. 

Dans cet exposé, nous proposerons des clés pour mieux comprendre le paradoxe historique des promesses offertes par la logique pour la modélisation de la pertinence et les relatifs échecs quant à son usage effectif dans des moteurs de recherche d'information. 

Cette présentation rappelle en premier les fondements de la logique formelle. Nous mettons l'accent sur les notions de syntaxe, de niveau de langage et de sémantique. Nous proposons ensuite un bref parcours historique de la modélisation logique pour la Recherche d'Information. Nous présentons en particulier l'idée fondatrice de Rijbergen, et des propositions plus récentes comme celle de Losada et Barreiro. Nous mentionnerons les propositions de fusion entre les logiques de descriptions, et les probabilités. Enfin, nous terminons avec les moteurs de recherche sémantiques et les perspectives nouvelles de recherche qui s'offrent avec l'usage de connaissances formalisées en logique pour calculer la pertinence.

Jean-Pierre Chevallet  est Maître de conférences à l'Université Grenoble Alpes (UGA) et membre du groupe de recherche Modélisation et Recherche d'Information Multimédia (MRIM) du Laboratoire l'Informatique de Grenoble (LIG)

10h45 - 12h15 : Session Doctorants 

14h00 - 15h00 : Conférencier invité Brigitte Grau

Répondre à des questions, à partir de textes ou de bases de connaissances.

Les systèmes de question-réponse ont pour but de fournir des réponses précises à des questions posées en langage naturel, réponses qui peuvent être trouvées dans des bases de connaissances ou dans des textes. De cette façon, l'utilisateur n'a pas à savoir comment l'information est représentée ou comment elle est recherchée. Les questions auxquelles je m'intéresserai dans cette présentation sont des questions factuelles, du type "A qui est mariée la fille de Bill Clinton" par exemple, dont on peut trouver la réponse dans une base de connaissances comme DBPedia, aussi bien que dans des textes. Dans les deux cas, l'objectif est de produire une représentation de la question de manière à pouvoir la rapprocher de la formulation de la réponse. Selon le type de ressource interrogée, les systèmes existants reposent sur des processus différents, chacun devant gérer la variabilité linguistique entre la formulation de l'utilisateur et la forme cherchée.

Cette présentation permettra de balayer l'existant pour ces deux types de recherche : les problèmes qui se posent et les réponses apportées, afin de pouvoir faire un parallèle entre les recherches dans les deux types de ressources. En effet, bien qu'à l'heure actuelle les deux problématiques soient principalement abordées séparément, l'obtention de systèmes plus performants pourrait résulter d'approches hybrides alliant leurs spécificités et leurs complémentarités. Cela permettrait d'étendre le champs des informations que l'on peut fournir et les possibilités de les retrouver effectivement. Je présenterai les quelques travaux existant dans ce domaine pour conclure sur la manière dont on peut envisager cette hybridation.

Brigitte Grau est Professeur à l’École nationale supérieure d'informatique pour l'industrie et l'entreprise (ENSIIE) et membre du groupe Information, Langue écrite et signée (ILES) du LIMSI-CNRS.

15h00 - 16h00 : Conférencier invité Lynda Tamine Lechani

Sur l’usage de la sémantique en recherche d’information contextuelle.

La recherche d’information contextuelle concerne l’intégration de facteurs, autres que la requête et le document, dans la modélisation du processus de sélection de l’information pertinente en réponse à un besoin exprimé par un utilisateur. Ces facteurs sont multiples : utilisateur incluant ses centres d’intérêts, sa tâche, sa localisation et son voisinage social, le domaine, le dispositif matériel etc. Lors de cette présentation :

• (a) j’introduirai les principes et verrous de la recherche d’information contextuelle,
• (b) je mettrai en évidence les ressources et les méthodes utilisées pour la représentation sémantique du contexte (contexte utilisateur et domaine spécifique) et son intégration dans un modèle d’appariement requête-document, et
• (c) je présenterai une revue de résultats empiriques issus des campagnes d’évaluation TREC et CLEF permettant d’identifier les apports et limites de l’usage de la sémantique dans le domaine ainsi que les pistes de recherche futures.

Lynda Tamine Lechani est Professeur au département d'Informatique, faculté des Sciences de l'Ingénieur de l'université Paul Sabatier et membre de l'Institut de Recherche en Informatique de Toulouse (IRIT), équipe SIG.

16H00 - 16H30 : Pause

16H30 - 17H30 : Session Entreprises

Mise en place d'un cycle de RI sémantique sur un domaine technique.

            Axel Reymonet (Ingénieur R&D ACTIA Automotive  www.actia.com)

17h30 - 18H00 - : Bilan et Clôture