Modeling Information Retrieval by Formal Logic

Several mathematical frameworks have been used to model the information retrieval (IR) process, among them, formal logics. Logic-based IR models upgrade the IR process from document-query compariso...