Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Modeling information retrieval by formal logic: a survey
Abdulahhad K., Berrut C., Chevallet J., Pasi G. ACM Computing Surveys52 (1):1-37,2019.Type:Article
Date Reviewed: Apr 12 2021

As the title indicates, formal logic is used for modeling information retrieval (IR). Readers can expect a literature review (of IR models), supported with graphs, mathematical formulas, and examples that lead to some interesting conclusions.

For those working in the area of IR, it may be a controversial assumption that “logic-based IR models upgrade the IR process from document-query comparison to an inference process,” as the very first IR classical models relied just on logic--for instance, matching query to documents, query formulation, query-document matrix, definition of relevance, and so on. Semantic queries express inferences studied by the IR community without formal logic theory; therefore, its omission is a huge gap of this work. Karen Spärck Jones, a pioneer of term frequency–inverse document frequency (tf-idf), is not even mentioned; Gerard Salton, “the father of IR,” has only one reference.

Another huge gap is the survey structure logic. Instead of developing the concepts of modeling IR, showing the progress of formal logic applications in the area over the years, the article gives mathematical formulas proposed by some researchers and chosen somehow at random. I would appreciate some examples, as well as more information about which models became popular and which went unnoticed.

Readers will first learn some IR terminology in a very generic sense. The potential of this work is presented next, defined as logical models, to help understand relevance, or represent non-logical models or include domain knowledge. Logic-based models are listed with the respective authors: document and query representation, implication-based categorization, uncertainty versus multiple truth values, ranking to uncertainty, and propositional models.

The limited references for the models make it difficult to see which of them have really contributed to IR over the years, and there are no graphs, diagrams, or pseudocode representations. The article may be recommended to mathematicians who like formal logic from a theoretical viewpoint only, without any vision of implementation to IR.

Reviewer:  Jolanta Mizera-Pietraszko Review #: CR147237 (2108-0215)
Bookmark and Share
  Featured Reviewer  
 
Retrieval Models (H.3.3 ... )
 
 
Information Search And Retrieval (H.3.3 )
 
 
General (H.0 )
 
Would you recommend this review?
yes
no
Other reviews under "Retrieval Models": Date
Evaluation of an inference network-based retrieval model
Turtle H., Croft W. (ed) ACM Transactions on Information Systems 9(3): 187-222, 1991. Type: Article
May 1 1993
On a model of distributed information retrieval systems based on thesauri
Mazur Z. Information Processing and Management: an International Journal 20(4): 499-505, 1984. Type: Article
Sep 1 1985
Information processing in linear vector space
Kunz M. Information Processing and Management: an International Journal 20(4): 519-525, 1984. Type: Article
Mar 1 1985
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy