Skip to main content
SpringerLink
Log in
Book cover

Encyclopedia of Database Systems pp 1652–1658Cite as

Logical Models of Information Retrieval

  • Reference work entry

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 via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   2,500.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Recommended Reading

  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. 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.

    Article  Google Scholar 

  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. Cooper W.S. A definition of relevance for information retrieval. Inf. Storage Retr., 7:19–37, 1971.

    Article  Google Scholar 

  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. 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. Crestani F. and van Rijsbergen C.J. A study of probability kinematics in information retrieval. ACM Trans. Inf. Syst., 16(3):225–255, 1998.

    Article  Google Scholar 

  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. Lalmas M. Logical models in information retrieval: introduction and overview. Inf. Process. Manage., 34(1):19–33, 1998.

    Article  Google Scholar 

  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. 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. Nie J.Y. An information retrieval model based on modal logic. Inf. Process. Manage., 25(5):477–491, 1989.

    Article  MathSciNet  Google Scholar 

  13. Nie J.Y. Lepage F., and Brisebois M. Information retrieval as counterfactuals. Comput. J., 38(8):643–657, 1995.

    Article  Google Scholar 

  14. Sebastiani F. Trends in … a critical review: on the role of logic in information retrieval. Inf. Process. Manage., 34(1):1–18, 1998.

    Article  Google Scholar 

  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. July

    Article  Google Scholar 

  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. van Rijsbergen C.J. and Lalmas M. An information calculus for information retrieval. J. Am. Soc. Inf. Sci., 47(5):385–398, 1996.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Lugano, Lugano, Switzerland

    Fabio Crestani

Authors
  1. Fabio Crestani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Computing, Georgia Institute of Technology, 266 Ferst Drive, 30332-0765, Atlanta, GA, USA

    LING LIU (Professor) (Professor)

  2. Database Research Group David R. Cheriton School of Computer Science, University of Waterloo, 200 University Avenue West, N2L 3G1, Waterloo, ON, Canada

    M. TAMER ÖZSU (Professor and Director, University Research Chair) (Professor and Director, University Research Chair)

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer Science+Business Media, LLC

About this entry

Cite this entry

Crestani, F. (2009). Logical Models of Information Retrieval. In: LIU, L., ÖZSU, M.T. (eds) Encyclopedia of Database Systems. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-39940-9_922

Download citation

Publish with us

Policies and ethics

Search

Navigation