Mathematical, Logical and Formal Methods in Information Retrieval: An Introduction to the Specia Issue

Research on the use of mathematical, logical, and formal methods, has been central to Information Retrieval research for a long time. Research in this area is important not only because it helps enhancing retrieval effectiveness, but also because it helps clarifying the underlying concepts of Information Retrieval. In this article we outline some of the major aspects of the subject, and summarize the papers of this special issue with respect to how they relate to these aspects. We conclude by highlighting some directions of future research, which are needed to better understand the formal characteristics of Information Retrieval.

[1]  Vijay V. Raghavan,et al.  On the Delusiveness of Adopting a Common Space for Modeling IR Objects: Are Queries Documents , 1993, Journal of the American Society for Information Science.

[2]  F. E..  A Relational Model of Data Large Shared Data Banks , 2000 .

[3]  Alexander Dekhtyar,et al.  Information Retrieval , 2018, Lecture Notes in Computer Science.

[4]  Mounia Lalmas,et al.  Logical Models in Information Retrieval: Introduction and Overview , 1998, Inf. Process. Manag..

[5]  Sndor Dominich.  Mathematical Foundations of Information Retrieval , 2002, Computational Linguistics.

[6]  Sandor Dominich.  A Geometric View of Relevance Effectiveness in Information Retrieval , 2000 .

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

[8]  Fabio Crestani,et al.  Soft Computing in Information Retrieval , 2000 .

[9]  Mounia Lalmas,et al.  A Logical Model of Information Retrieval Based on Situation Theory , 1993 .

[10]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[11]  Daqing He,et al.  Combining evidence for automatic Web session identification , 2002, Inf. Process. Manag..

[12]  Stephen E. Robertson,et al.  Some simple effective approximations to the 2-Poisson model for probabilistic weighted retrieval , 1994, SIGIR '94.

[13]  Vijay V. Raghavan,et al.  On the delusiveness of adopting a common space for modeling IR objects: are queries documents? , 1993 .

[14]  Fabio Crestani,et al.  Information Retrieval: Uncertainty and Logics , 1998, The Kluwer International Series on Information Retrieval.

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

[16]  Leo Egghe,et al.  Topological Aspects of Information Retrieval , 1998, J. Am. Soc. Inf. Sci..

[17]  Gerard Salton,et al.  A vector space model for automatic indexing , 1975, CACM.

[18]  Mounia Lalmas,et al.  Information Retrieval: Uncertainty and Logics: Advanced Models for the Representation and Retrieval of Information , 1998 .

[19]  M. E. Maron,et al.  On Relevance, Probabilistic Indexing and Information Retrieval , 1960, JACM.

[20]  Stefano Mizzaro,et al.  Relevance: The Whole History , 1997, J. Am. Soc. Inf. Sci..

[21]  Fabio Crestani,et al.  Soft computing in information retrieval: techniques and applications , 2000 .

[22]  Robert M. Losee.  Mathematical Foundations of Information Retrieval , 2002 .

[23]  Norbert Fuhr,et al.  HySpirit - A Probabilistic Inference Engine for Hypermedia Retrieval in Large Databases , 1998, EDBT.

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

[25]  Vijay V. Raghavan,et al.  On the Necessity of Term Dependence in a Query Space for Weighted Retrieval , 1998, J. Am. Soc. Inf. Sci..