Extending a Logic-Based Retrieval Model With Algebraic Knowledge

A major need of precision-oriented retrieval systems is the availability of high-level indexing languages which can allow the representation and the manipulation of elaborated concepts for both indexing and querying processes. Such elaborated knowledge representations, as the one developed in the RIME project, need in turn to be fully integrated within the underlying retrieval model to ensure proper and optimal use of this knowledge in the retrieval process. In this paper we present further developments of the fuzzy modal logic retrieval model which was first developed and experienced in the RIME project. These developments are precisely aimed towards a better integration of this model and knowledge representation. We show that ConceptualGraphs of Sowa have formal properties which allow a good formal control of this integration, and are inherently well adapted to IR requirements. This study has triggered extensions of the initial logic model and adaptations of the conceptual graphs' formalism which are also presented here. Finally the paper presents the way every notion of the theoretical retrieval model is expressed in terms of a derived operational model which has been implemented.

[1]  Jian-Yun Nie,et al.  A retrieval model based on an extended modal logic and its application to the RIME experimental approach , 1989, SIGIR '90.

[2]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[3]  C. J. van Rijsbergen,et al.  A New Theoretical Framework for Information Retrieval , 1986, SIGIR Forum.

[4]  Gillier,et al.  Logic for Computer Science , 1986 .

[5]  Richard L. Epstein,et al.  The semantic foundations of logic: predicate logic , 1994 .

[6]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[7]  J. Barwise,et al.  The language of first-order logic , 1991 .

[8]  C. J. van Rijsbergen,et al.  (invited paper) A new theoretical framework for information retrieval , 1986, SIGIR '86.

[9]  Catherine Berrut.  Indexing medical reports: The rime approach , 1990, Inf. Process. Manag..

[10]  Jean-Pierre Chevallet.  Un modèle logique de recherche d'informations appliqué au formalisme des graphes conceptuels : le prototype ELEN et son expérimentation sur un corpus de composants logiciels , 1992 .

[11]  Jean-Pierre Chevallet,et al.  About Retrieval Models and Logic , 1992, Comput. J..

[12]  Yves Chiaramella,et al.  Using a Conceptual Graph Framework for Image Retrieval , 1995 .

[13]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[14]  M. Chein,et al.  Conceptual graphs: fundamental notions , 1992 .

[15]  Jian-Yun Nie.  Un modèle logique général pour les systèmes de recherche d'informations : application au prototype RIME. (A general logic model for information retrieval systems. Application to the prototype RIME) , 1990 .

[16]  John Esch,et al.  LINEAR --- Linear Notation Interface , 1994 .

[17]  Richard L. Epstein,et al.  The Semantic Foundations of Logic Volume 1: Propositional Logics , 1990 .

[18]  Roger C. Schank,et al.  Conceptual dependency: A theory of natural language understanding , 1972 .

[19]  Michel Wermelinger,et al.  Conceptual Graphs and First-Order Logic , 1995, ICCS.

[20]  Iadh Ounis,et al.  Axiomatization of a Conceptual Graph Formalism for Information Retrieval in a Situated Framework , 1995 .

[21]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[22]  Sally Popkorn.  First Steps in Modal Logic , 1995 .

[23]  Jean H. Gallier,et al.  Logic for Computer Science: Foundations of Automatic Theorem Proving , 1985 .

[24]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[25]  Jian-Yun Nie,et al.  An information retrieval model based on modal logic , 1989, Inf. Process. Manag..