A logical formulation of the Boolean model and of weighted Boolean models

In this paper the role of logic as a formal basis to exploit the query evaluation process of the boolean model and of weighted boolean models is analysed. The proposed approach is based on the expression of the constraint imposed by a query term on a document representation by means of the implication connective (by a fuzzy implication in the case of weighted terms). A logical formula corresponds to a query evaluation structure, and the degree of relevance of a document to a user query is obtained as the truth value of the formula expressing the evaluation structure of the considered query under the interpretation corresponding with a document and the query itself.

[1]  Umberto Straccia,et al.  A model of information retrieval based on a terminological logic , 1993, SIGIR.

[2]  Lotfi A. Zadeh,et al.  Fuzzy Logic , 2009, Encyclopedia of Complexity and Systems Science.

[3]  Michael McGill,et al.  Introduction to Modern Information Retrieval , 1983 .

[4]  Tadeusz Radecki,et al.  Fuzzy set theoretical approach to document retrieval , 1979, Inf. Process. Manag..

[5]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[6]  Fabrizio Sebastiani,et al.  Trends in ... a Critical Review: On the Role of Logic in Information Retrieval , 1998, Inf. Process. Manag..

[7]  Gloria Bordogna,et al.  Extended Boolean Information Retrieval in Terms of Fuzzy Inclusion , 2000 .

[8]  Gabriella Pasi,et al.  A fuzzy representation of HTML documents for information retrieval systems , 1996, Proceedings of IEEE 5th International Fuzzy Systems.

[9]  C. J. van Rijsbergen,et al.  A Non-Classical Logic for Information Retrieval , 1997, Comput. J..

[10]  D. Dubois,et al.  FUZZY LOGICS AND THE GENERALIZED MODUS PONENS REVISITED , 1984 .

[11]  Didier Dubois,et al.  An introduction to possibilistic and fuzzy logics , 1990 .

[12]  Jian-Yun Nie,et al.  An information retrieval model based on modal logic , 1989, Inf. Process. Manag..

[13]  Fabio Crestani,et al.  Information Retrieval by Logical Imaging , 1995, J. Documentation.

[14]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[15]  Jian-Yun Nie.  An outline of a general model for information retrieval systems , 1988, SIGIR '88.

[16]  Ronald R. Yager.  A note on weighted queries in information retrieval systems , 1987, J. Am. Soc. Inf. Sci..

[17]  Dimitar P. Filev,et al.  Fuzzy SETS AND FUZZY LOGIC , 1996 .

[18]  Gloria Bordogna,et al.  Fuzzy Approaches to Extend Boolean Information Retrieval , 1995 .

[19]  Mounia Lalmas,et al.  Logical Models in Information Retrieval: Introduction and Overview , 1998, Inf. Process. Manag..

[20]  Siegfried Gottwald,et al.  Fuzzy Sets and Fuzzy Logic , 1993 .