Logical Models in Information Retrieval: Introduction and Overview

The use of logic to model the information retrieval process has become an established research area. Nevertheless, many people in the information retrieval community do not yet appreciate the work performed in this area, mainly because they do not understand logical formalisms, and hence cannot see the connection between logic and information retrieval. This paper aims at resolving the problem. It introduces the formalisms used in logical models for information retrieval, shows the use of logic to build the models, and presents a brief overview of some of the current logical models in information retrieval.

[1]  Ulrich Thiel,et al.  “Why was This Item Retrieved?”: New Ways to Explore Retrieval Results , 1996 .

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

[3]  Adrian Müller,et al.  Using Abductive Inference and Dynamic Indexing to Retrieve Multimedia SGML Documents , 1995, MIRO.

[4]  Fred Landman.  Towards a Theory of Information: The Status of Partial Objects in Semantics , 1986 .

[5]  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 .

[6]  M. Kracker.  A fuzzy concept network model and its applications , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[7]  Mark Sanderson,et al.  Word sense disambiguation and information retrieval , 1994, SIGIR '94.

[8]  Keith Devlin,et al.  Logic and information , 1991 .

[9]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

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

[11]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.

[12]  James H. Moor,et al.  Knowledge and the Flow of Information. , 1982 .

[13]  Gerard Salton,et al.  Research and Development in Information Retrieval , 1982, Lecture Notes in Computer Science.

[14]  Fred Landman,et al.  Towards A Theory Of Information , 1986 .

[15]  Fabio Crestani,et al.  Probability kinematics in information retrieval , 1995, SIGIR '95.

[16]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[17]  Theo Huibers,et al.  An axiomatic theory for information retrieval , 1996 .

[18]  E. Zalta,et al.  Intensional Logic and the Metaphysics of Intentionality. , 1991 .

[19]  Yves Chiaramella,et al.  A Model for Multimedia Information Retrieval , 1996 .

[20]  William P. Alston,et al.  Knowledge and the Flow of Information , 1985 .

[21]  C. J. van Rijsbergen,et al.  A Non-Classical Logic for Information Retrieval , 1997, Comput. J..

[22]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[23]  C. J. van Rijsbergen,et al.  Information Calculus for Information Retrieval , 1996, J. Am. Soc. Inf. Sci..

[24]  Edward N. Zalta,et al.  Intensional Logic and the Metaphysics of Intentionality , 1988 .

[25]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[26]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[27]  C. J. V. Rijsbergen,et al.  Information calculus for information retrieval , 1996 .

[28]  Fabrizio Sebastiani,et al.  A Note on Logic and Information Retrieval , 1995, MIRO.

[29]  David R. Dowty,et al.  Introduction to Montague semantics , 1980 .

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

[31]  Mounia Lalmas,et al.  Theories of information and uncertainty for the modelling of information retrieval : an application of situation theory and Dempster-Schafer's theory of evidence , 1996 .

[32]  D. Nute.  Topics in Conditional Logic , 1980 .

[33]  Fabio Crestani,et al.  Information Retrieval by Logical Imaging , 1995, J. Documentation.

[34]  Jian-Yun Nie,et al.  Information Retrieval as Counterfactual , 1995, Comput. J..

[35]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[36]  Peter Aczel etc.  HANDBOOK OF MATHEMATICAL LOGIC , 1999 .

[37]  Peter Bruza,et al.  Investigating aboutness axioms using information fields , 1994, SIGIR '94.

[38]  C. J. van Rijsbergen,et al.  Towards an information logic , 1989, SIGIR '89.

[39]  Peter Bruza,et al.  Stratified Hypermedia Structures for Information Disclosure , 1992, Comput. J..

[40]  Alessandro Saffiotti,et al.  An AI view of the treatment of uncertainty , 1987, The Knowledge Engineering Review.

[41]  Maristella Agosti,et al.  Information Retrieval and Hypertext , 1996, Information Retrieval and Hypertext.

[42]  D. Lewis.  Probabilities of Conditionals and Conditional Probabilities , 1976 .

[43]  L. Zadeh,et al.  Fuzzy sets and applications : selected papers , 1987 .

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

[45]  Umberto Straccia,et al.  A model of information retrieval based on a terminological logic , 1993, SIGIR.

[46]  C. J. van Rijsbergen,et al.  Situation Theory and Dempster-Shafer's Theory of Evidence for Information Retrieval , 1993, SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems.

[47]  Fabrizio Sebastiani,et al.  A probabilistic terminological logic for modelling information retrieval , 1994, SIGIR '94.

[48]  Christopher Menzel.  Review: Edward N. Zalta, Intensional Logic and the Metaphysics of Intentionality , 1992 .

[49]  Fabio Crestani,et al.  The Troubles with Using a Logical Model of IR on a Large Collection of Documents , 1995, TREC.

[50]  P. D. Bruza,et al.  Stratified information disclosure: a synthesis between hypermedia and information retrieval , 1993 .

[51]  Richard O. Duda,et al.  Subjective bayesian methods for rule-based inference systems , 1899, AFIPS '76.

[52]  Alan F. Smeaton,et al.  An Overview of Information Retrieval , 1996 .

[53]  C. J. van Rijsbergen,et al.  Information retrieval and situation theory , 1996, SIGF.

[54]  A. Hasman,et al.  Probabilistic reasoning in intelligent systems: Networks of plausible inference , 1991 .