An outline of a general model for information retrieval systems
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Towards a probabilistic modal logic for semantic-based information retrieval
SIGIR '92 Proceedings of the 15th annual international ACM SIGIR conference on Research and development in information retrieval
About retrieval models and logic
The Computer Journal - Special issue on information retrieval
A model of information retrieval based on a terminological logic
SIGIR '93 Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval
A probabilistic terminological logic for modelling information retrieval
SIGIR '94 Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval
Logical models in information retrieval: introduction and overview
Information Processing and Management: an International Journal
Logic and Uncertainty in Information Retrieval
ESSIR '00 Proceedings of the Third European Summer-School on Lectures on Information Retrieval-Revised Lectures
On the role of logic in information retrieval
On the role of logic in information retrieval
The Modern Algebra of Information Retrieval
The Modern Algebra of Information Retrieval
Lattice duality: The origin of probability and entropy
Neurocomputing
Revisiting Exhaustivity and Specificity Using Propositional Logic and Lattice Theory
Proceedings of the 2013 Conference on the Theory of Information Retrieval
Hi-index | 0.00 |
Logic-based Information Retrieval (IR) models represent the retrieval decision as a logical implication d-q between a document d and a query q, where d and q are logical sentences. However, d-q is a binary decision, we thus need a measure to estimate the degree to which d implies q, denoted P(d-q). In this study, we revisit the Van Rijsbergen's assumptions about: 1- the logical implication -' is not the material one, and 2- P(d-q) could be estimated by the conditional probability P(q|d). More precisely, we claim that the material implication is an appropriate implication for IR, and also we mathematically prove that replacing P(d-q) by P(q|d) is a correct choice. In order to prove the Van Rijsbergen's assumption, we use the Propositional Logic and the Lattice theory. We also exploit the notion of degree of implication that is proposed by Knuth.