Logical Models of Information Retrieval
Reference work entry
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...
- 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.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
- 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
- 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.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
- 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
© Springer Science+Business Media, LLC, part of Springer Nature 2018