Logics, Lattices and Probability: The Missing Links to Information Retrieval.

Logic-based information retrieval (IR) models represent the retrieval decision as an implication $d\rightarrow q$ between a document d and a query q, where d and q are logical sentences. However, $d\rightarrow q$ is generally a binary decision, thus we need a measurement to estimate the degree to which d implies q, denoted $U(d\rightarrow q)$. Most of the existing logic-based IR models either do n...