Il en ressort de l'etude menee dans ce chapitre que non seulement la notion de relation est importante a representer en vue d'une recherche precise et performante, mais que ses caracteris-tiques et proprietes doivent pouvoir ^etre tenues en compte lors de la phase de correspondance. Si un consensus semble se degager autour de la premiere condition, a en juger par le nombre important des systemes de recherche conceptuels qu'on rencontre dans la litterature, l'utilisation des proprie-tes des relations et l'evaluation de leur impact sur la fonction de correspondance n'ont jamais ete traitees que d'une facon ad-hoc. Il s'agit le plus souvent d'approches, traitant un sous-ensemble de proprietes, pour des t^aches tres speci ques et sur un formalisme particulier. C'est le cas par exemple de la majeure partie des modeles de recherche que nous avons presente dans la section precedente. Ces derniers ont ete souvent confrontes a la necessite d'inclure certaines proprietes de relations dans le but d'aboutir a des fonctions de correspondance ayant un minimum de completude.
Nous pensons donc qu'une theorie generale permettant l'analyse des proprietes des relations est necessaire pour la recherche d'informations. Nous croyons en e et que la notion de pertinence est fortement liee aux proprietes des relations et leur comportement semantique. Le raisonnement sur les relations inclue necessairement un raisonnement sur les concepts, et sur les individus, et permet ainsi au pire d'aboutir aux m^emes performances des systemes conceptuels actuels. Les concepts et les individus n'etant autre que des arguments de relations. L'avantage de considerer toutes les proprietes des relations et d'analyser leur comportement est d'aboutir a des systemes a raisonnements complets et ecaces. Modeliser les proprietes des relations et les inclure dans le processus de recherche permettra ainsi d'ameliorer les performances qualitatives des systemes dont nous disposons. Si nous nous sommes donnes autant de mal a detecter les proprietes des relations dont ont besoin les applications de recherche d'informations d'aujourd'hui, c'est que nous pensons qu'une bonne theorie devra tout d'abord provenir d'observations reelles. Nous partageons ainsi la de nition que donna Hawking [Haw88] aux \bonnes theories":
\A theory is good if it satis es two requirements: it must accurately describe a large class of observations on the basis of a model that contains only a few arbitrary elements, and it must make de nite predictions about the results of future observations."
Une consequence directe de cette de nition est qu'une bonne theorie de recherche d'informations
T
devra s'acquitter des decisions de pertinence de facon cognitivement acceptable. Les travaux de Farradane [Far80a] ont montre l'importance des relations dans le raisonnement psychologique humain. Les caracteristiques des relations jouent ainsi un r^ole important dans l'acceptabilite des decisions de pertinence du systeme. Nous argumentons ici le fait que si nous voulons construire un bon systeme de recherche d'information ou un systeme plus precis et plus performant, il faut que les caracteristiques des relations soient modelisees et incluses dans le processus de decision de pertinence. En termes de theorie, une proprieteP
consideree comme importante (ou bonne)en recherche d'informations devra ^etre couverte par la theorie
T
associee. De plus, les modeles de recherche d'informations existants doivent pouvoir ^etre formalises avec cette theorie. Nous pensons qu'a chaque propriete de relation, correspond une decision de pertinence. La theorie doit donc inclure les proprietes des relations. De plus nous pensons que les systemes a base de raisonnements sur les concepts (les approches classiques utilisant les mots-cles comprises) peuvent ^etre formalises a l'interieur d'une theorie s'appuyant sur la modelisation des relations et leur comportement.Si une bonne theorie de recherche d'informations est de nie, alors elle servira de base a la deter-mination des caracteristiques des modeles existants. Ces caracteristiques connues, des extensions au modele seront possibles a proposer. Elles reposent sur les proprietes manquantes dans le modele et requises par la theorie. Nous pensons que la logique constitue un cadre adequat pour la de ni-tion d'une telle theorie. Dans ce cas, les proprietes peuvent ^etre modelisees par des axiomes ou des regles, correspondant chacun a une decision de pertinence.
En proposant un modele logique pour la recherche d'informations [vR86], Van Rijsbergen sug-gere qu'une logique conditionnelle non-classique doit ^etre utilisee pour la de nition de la notion de pertinence. Cette derniere est alors vue comme une inference logique. Dans ce modele, la logique en question n'a pas ete speci ee. De nombreux travaux ont ete alors menes pour trouver cette seule et unique logique de recherche d'informations. Par exemple, la logique modale [Nie90, Nie89, CCO95], les graphes conceptuels [Che92], les logiques terminologiques [MSST93, Seb94, SS96], Datalog [Fuh95], l'imaging [CvR95a, CvR95b], la logique abductive [MT94] et la theorie des situa-tions [Lal96, LvR92], pour n'en nommer que quelques-unes.
Une autre utilisation de la logique en recherche d'informations est proposee par Chiaramella & Chevallet dans [CC92], et par Huibers dans [Hui96]. La logique est vue ici comme un outil pour l'analyse des caracteristiques des modeles de recherche d'informations. C'est l'approche que nous adopterons dans cette these. Nous suivons toutefois une demarche proche de celle menee par Huibers. Ce dernier propose un cadre general pour l'analyse et la comparaison des modeles de recherche d'informations. Cependant, Huibers ne donne pas de de nition a priori a la notion de pertinence. La notion de pertinence m^eme si elle reste liee a une inference logique, n'a pas de se-mantique speci ee19. Dans notre cas, la notion de pertinence est liee aux proprietes des relations et leur comportement. De plus, a l'oppose de Huibers, nous presentons une logique pour la recherche d'informations, a proprement parler, c'est-a-dire une logique complete vis-a-vis d'une semantique precise permettant d'expliquer le processus de recherche. Nous considerons que cette logique peut ^etre vue comme l'instanciation \ideale" du modele logique de Van Rijsbergen. Plus precisement, nous considerons que les decisions de pertinence de cette logique doivent ^etre supportees par n'im-porte quelle autre logique se declarant ^etre une bonne instanciation du modele logique, et dediee aux nouvelles applications de la RI. En d'autres termes, tout en proposant une logique ideale pour la recherche d'informations d'aujourd'hui, nous restons a un niveau pragmatique et operationnel. Nous nous rapprochons ainsi de l'idee formulee par Cooper [Coo94]:
\[...] Obviously, theory-guidedness is a good thing if the theory leads to promising retrieval rules to try out. Good theories have inferential power, and inferential power can help minimize empirical oundering. However, having to stay within the constraints of a strict theoretical formalism can also impose costs and penalities. The true extent
19:Huibers se contente en e et de recenser toutes les decisions de pertinence adoptees par les systemes de recherche d'informations operationnels, y compris les systemes conceptuels. Ces derniers n'etant pas munis de fonction de correspondance incluant les proprietes des relations, il est clair que notre theorie se distingue par sa generalite et sa speci te a ce niveau.
of these costs is not always fully recognized."
Notre approche dans la suite de cette these tente en e et de concilier une approche fondamenta-lement theorique, ou la notion d'inference en recherche d'informations est liee aux relations et leurs proprietes, avec une autre pragmatique dont le but est d'etendre un formalisme operationnel par les capacites de raisonnements d'une bonne logique en recherche d'informations, puis de l'implanter.
Par souci de neutralite envers les logiques et les formalismes cites dans ce chapitre, nous conside-rons la theorie des situations [Dev91] comme formalisme de representation de notre logique. Cette derniere sera appelee Modele d'Indexation relationnel a n de mettre l'emphase sur l'importance des relations et leurs traitements dans notre approche. Une fois cette logique de nie, nous pou-vons etudier dans quelle mesure, les formalismes operationnels existants peuvent-ils s'accommoder a moindre co^ut des caracteristiques de la logique developpee.
Chapitre 3