Encyclopedia of Database Systems

2018 Edition
| Editors: Ling Liu, M. Tamer Özsu

Logical Models of Information Retrieval

  • Fabio Crestani
Reference work entry
DOI: https://doi.org/10.1007/978-1-4614-8265-9_922

Definition

Logical models of Information Retrieval (IR) are defined as those that follow a logical definition of relevance. For Cooper logical relevance is defined as “logical consequence.” To make this possible both queries and documents need to be represented by sets of declarative sentences. The query is represented by two formal statements called “component statements” of the form p and ¬ p. A subset of the set of stored sentences is called “premiss set” if and only if the component statement is a logical consequence of that subset. A “minimal premiss set” for a component statement is one that is as small as possible. Logical relevance is therefore defined as a two-place relation between stored sentences and the query represented as component statements:

A stored sentence is logically relevant to (a representation of) an information need if and only if it is a member of some minimal premiss set of stored sentences for some component statement of that need.

This definition of...

This is a preview of subscription content, log in to check access.

Recommended Reading

  1. 1.
    Amati G, van Rijsbergen CJ. Semantic information retrieval. In: Crestani F, Lalmas M, van Rijsbergen CJ, editors. Information retrieval: uncertainty and logics. Norwell: Kluwer; 1998. p. 189–220.CrossRefGoogle Scholar
  2. 2.
    Bordogna G, Pasi G. A fuzzy linguistic approach generalizing boolean information retrieval: a model and its evaluation. J Am Soc Inf Sci. 1993;44(2):70–82.CrossRefGoogle Scholar
  3. 3.
    Bruza P.D., Huibers T.W.C. Investigating aboutness axioms using information fields. In Proceedings of the ACM SIGIR Conference on Research and Development in Information Retrieval; 1994. p. 112–21.CrossRefGoogle Scholar
  4. 4.
    Cooper WS. A definition of relevance for information retrieval. Inf Storage Retr. 1971;7(1):19–37.MathSciNetCrossRefGoogle Scholar
  5. 5.
    Crestani F, Lalmas M. Logic and uncertainty in information retrieval. In: Agosti M, Crestani F, Pasi G, editors. Lectures on information retrieval, LNCS, vol. 1980. Heidelberg: Springer; 2001. p. 182–210.Google Scholar
  6. 6.
    Crestani F, Lalmas M, van Rijsbergen CJ, editors. Information retrieval, uncertainty and logics: advanced models for the representation and retrieval of information. Boston: Kluwer; 1998.Google Scholar
  7. 7.
    Crestani F, van Rijsbergen CJ. A study of probability kinematics in information retrieval. ACM Trans Inf Syst. 1998;16(3):225–55.CrossRefGoogle Scholar
  8. 8.
    Fuhr N. Probabilistic datalog – a logic for powerful retrieval methods. In Proceedings of the ACM SIGIR Conference on Research and Development in Information Retrieval; 1995. p. 282–90.Google Scholar
  9. 9.
    Lalmas M. Logical models in information retrieval: introduction and overview. Inf Process Manag. 1998;34(1):19–33.CrossRefGoogle Scholar
  10. 10.
    Losada D.E., Barreiro A. Using a belief revision operator for document ranking in extended Boolean model. In Proceedings of the ACM SIGIR Conference on Research and Development in Information Retrieval; 1999. p. 66–73.Google Scholar
  11. 11.
    Meghini C., Sebastiani F., Straccia U., Thanos C. A model of information retrieval based on a terminological logic. In Proceedings of the ACM SIGIR Conference on Research and Development in Information Retrieval; 1993. p. 298–307.Google Scholar
  12. 12.
    Nie JY. An information retrieval model based on modal logic. Inf Process Manag. 1989;25(5):477–91.CrossRefGoogle Scholar
  13. 13.
    Nie JY, Lepage F, Brisebois M. Information retrieval as counterfactuals. Comput J. 1995;38(8):643–57.CrossRefGoogle Scholar
  14. 14.
    Sebastiani F. Trends in … a critical review: on the role of logic in information retrieval. Inf Process Manag. 1998;34(1):1–18.CrossRefGoogle Scholar
  15. 15.
    Turtle HR, Croft WB. Evaluation of an inference network-based retrieval model. ACM Trans Inf Syst. 1991;9(3):187–222.CrossRefGoogle Scholar
  16. 16.
    van Rijsbergen C.J. A new theoretical framework for information retrieval. In Proceedings of the ACM SIGIR Conference on Research and Development in Information Retrieval; 1986. p. 194–200.Google Scholar
  17. 17.
    van Rijsbergen CJ, Lalmas M. An information calculus for information retrieval. J Am Soc Inf Sci. 1996;47(5):385–98.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.University of LuganoLuganoSwitzerland

Section editors and affiliations

  • Giambattista Amati
    • 1
  1. 1.Fondazione Ugo BordoniRomeItaly