Encyclopedia of Database Systems

2009 Edition

Logical Models of Information Retrieval

  • Fabio Crestani
Reference work entry
DOI: https://doi.org/10.1007/978-0-387-39940-9_922


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. and van Rijsbergen C.J. Semantic information retrieval. In Information Retrieval: Uncertainty and Logics, F. Crestani, M. Lalmas, C.J. van Rijsbergen (eds.). Kluwer, Norwell, MA, USA, 1998, pp. 189–220.Google Scholar
  2. 2.
    Bordogna G. and Pasi G. A fuzzy linguistic approach generalizing boolean information retrieval: a model and its evaluation. J. Am. Soc. Inf. Sci., 44(2):70–82, 1993.CrossRefGoogle Scholar
  3. 3.
    Bruza P.D. and Huibers T.W.C. Investigating aboutness axioms using information fields. In Proc. ACM SIGIR Conf. on Research and Development in Information Retrieval, 1994, pp. 112–121.Google Scholar
  4. 4.
    Cooper W.S. A definition of relevance for information retrieval. Inf. Storage Retr., 7:19–37, 1971.CrossRefGoogle Scholar
  5. 5.
    Crestani F. and Lalmas M. Logic and uncertainty in information retrieval. In Lectures on Information Retrieval, M. Agosti, F. Crestani, G. Pasi (eds.). LNCS, vol. 1980. Springer, Heidelberg, Germany, 2001, pp. 182–210.Google Scholar
  6. 6.
    F., Crestani M., and Lalmas C.J. (eds.). van Rijsbergen Information Retrieval, Uncertainty and Logics: Advanced Models for the Representation and Retrieval of Information. Kluwer, MA, USA, 1998.Google Scholar
  7. 7.
    Crestani F. and van Rijsbergen C.J. A study of probability kinematics in information retrieval. ACM Trans. Inf. Syst., 16(3):225–255, 1998.CrossRefGoogle Scholar
  8. 8.
    Fuhr N. Probabilistic datalog – a logic for powerful retrieval methods. In Proc. ACM SIGIR Conf. on Research and Development in Information Retrieval, 1995, pp. 282–290.Google Scholar
  9. 9.
    Lalmas M. Logical models in information retrieval: introduction and overview. Inf. Process. Manage., 34(1):19–33, 1998.CrossRefGoogle Scholar
  10. 10.
    Losada D.E. and Barreiro A. Using a belief revision operator for document ranking in extended boolean model. In Proc. ACM SIGIR Conf. on Research and Development in Information Retrieval, 1999, pp. 66–73.Google Scholar
  11. 11.
    Meghini C., Sebastiani F., Straccia U., and Thanos C. A model of information retrieval based on a terminological logic. In Proc. ACM SIGIR Conf. on Research and Development in Information Retrieval, 1993, pp. 298–307.Google Scholar
  12. 12.
    Nie J.Y. An information retrieval model based on modal logic. Inf. Process. Manage., 25(5):477–491, 1989.CrossRefMathSciNetGoogle Scholar
  13. 13.
    Nie J.Y. Lepage F., and Brisebois M. Information retrieval as counterfactuals. Comput. J., 38(8):643–657, 1995.CrossRefGoogle Scholar
  14. 14.
    Sebastiani F. Trends in … a critical review: on the role of logic in information retrieval. Inf. Process. Manage., 34(1):1–18, 1998.CrossRefGoogle Scholar
  15. 15.
    Turtle H.R. and Croft W.B. Evaluation of an inference network-based retrieval model. ACM Trans. Inf. Syst., 9(3):187–222, 1991. JulyCrossRefGoogle Scholar
  16. 16.
    van Rijsbergen C.J. A new theoretical framework for information retrieval. In Proc. ACM SIGIR Conf. on Research and Development in Information Retrieval, 1986, pp. 194–200.Google Scholar
  17. 17.
    van Rijsbergen C.J. and Lalmas M. An information calculus for information retrieval. J. Am. Soc. Inf. Sci., 47(5):385–398, 1996.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  • Fabio Crestani
    • 1
  1. 1.University of LuganoLuganoSwitzerland