Document (#19141)

Author

Sebastiani, F.

Title

On the role of logic in information retrieval

Source

Information processing and management. 34(1998) no.1, S.1-18

Year

1998

Series

Trends in ... a critical review

Abstract

The logical approach to information retrieval has recently been the object of active research. It is our contention that researchers have put a lot of effort in trying to address some difficult problems of IR within this framework, but little effort in checking that the resulting models satisfy those well-formedness criteria that, in the field of mathematical logic, are considered essential and conductive to effective modelling of a real-world phenomenon. The main motivation of this paper is not to propose a new logical model of IR, but to discuss some central issues in the application of logic to IR. The first issue we touch upon is the logical relationship we might want to enforce between formulae d, representing a document and n, representing an information need; we analyse the different implications of models based on truth, validity or logical consequentiality. The relationship between this issue and the issue of partiality vs. totality of information is subsequently analysed, in the context of a broader discussion of the role of denotational semantics in IR modelling. Finally, the relationship between the paradoxes of material implication and the (in)adequacy of classical logic for IR modelling purposes is discusses

Similar documents (author)

1. Sebastiani, F.: Machine learning in automated text categorization (2002) 5.94

   5.937289 = sum of:
     5.937289 = weight(author_txt:sebastiani in 3389) [ClassicSimilarity], result of:
       5.937289 = fieldWeight in 3389, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.499662 = idf(docFreq=8, maxDocs=44218)
         0.625 = fieldNorm(doc=3389)
   

2. Sebastiani, F.: ¬A tutorial an automated text categorisation (1999) 5.94

   5.937289 = sum of:
     5.937289 = weight(author_txt:sebastiani in 3390) [ClassicSimilarity], result of:
       5.937289 = fieldWeight in 3390, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.499662 = idf(docFreq=8, maxDocs=44218)
         0.625 = fieldNorm(doc=3390)
   

3. Sebastiani, F.: Classification of text, automatic (2006) 5.94

   5.937289 = sum of:
     5.937289 = weight(author_txt:sebastiani in 5003) [ClassicSimilarity], result of:
       5.937289 = fieldWeight in 5003, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.499662 = idf(docFreq=8, maxDocs=44218)
         0.625 = fieldNorm(doc=5003)
   

4. Debole, F.; Sebastiani, F.: ¬An analysis of the relative hardness of Reuters-21578 subsets (2005) 4.75

   4.749831 = sum of:
     4.749831 = weight(author_txt:sebastiani in 3456) [ClassicSimilarity], result of:
       4.749831 = fieldWeight in 3456, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.499662 = idf(docFreq=8, maxDocs=44218)
         0.5 = fieldNorm(doc=3456)
   

5. Giorgetti, D.; Sebastiani, F.: Automating survey coding by multiclass text categorization techniques (2003) 4.75

   4.749831 = sum of:
     4.749831 = weight(author_txt:sebastiani in 5172) [ClassicSimilarity], result of:
       4.749831 = fieldWeight in 5172, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.499662 = idf(docFreq=8, maxDocs=44218)
         0.5 = fieldNorm(doc=5172)
   

Similar documents (content)

1. Burrell, Q.L.: "Ambiguity" ans scientometric measurement : a dissenting view (2001) 0.18

   0.18224728 = sum of:
     0.18224728 = product of:
       0.65088314 = sum of:
         0.019575013 = weight(abstract_txt:some in 6981) [ClassicSimilarity], result of:
           0.019575013 = score(doc=6981,freq=1.0), product of:
             0.06812528 = queryWeight, product of:
               1.0161364 = boost
               3.6779325 = idf(docFreq=3037, maxDocs=44218)
               0.018228566 = queryNorm
             0.28733847 = fieldWeight in 6981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.6779325 = idf(docFreq=3037, maxDocs=44218)
               0.078125 = fieldNorm(doc=6981)
         0.03435362 = weight(abstract_txt:role in 6981) [ClassicSimilarity], result of:
           0.03435362 = score(doc=6981,freq=1.0), product of:
             0.09911862 = queryWeight, product of:
               1.2256755 = boost
               4.4363647 = idf(docFreq=1422, maxDocs=44218)
               0.018228566 = queryNorm
             0.346591 = fieldWeight in 6981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4363647 = idf(docFreq=1422, maxDocs=44218)
               0.078125 = fieldNorm(doc=6981)
         0.14287998 = weight(abstract_txt:contention in 6981) [ClassicSimilarity], result of:
           0.14287998 = score(doc=6981,freq=1.0), product of:
             0.20345943 = queryWeight, product of:
               1.2417146 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.018228566 = queryNorm
             0.7022529 = fieldWeight in 6981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.078125 = fieldNorm(doc=6981)
         0.011165451 = weight(abstract_txt:information in 6981) [ClassicSimilarity], result of:
           0.011165451 = score(doc=6981,freq=1.0), product of:
             0.05903385 = queryWeight, product of:
               1.3377144 = boost
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.018228566 = queryNorm
             0.18913643 = fieldWeight in 6981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.078125 = fieldNorm(doc=6981)
         0.08109248 = weight(abstract_txt:issue in 6981) [ClassicSimilarity], result of:
           0.08109248 = score(doc=6981,freq=1.0), product of:
             0.201152 = queryWeight, product of:
               2.1384823 = boost
               5.160196 = idf(docFreq=689, maxDocs=44218)
               0.018228566 = queryNorm
             0.4031403 = fieldWeight in 6981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.160196 = idf(docFreq=689, maxDocs=44218)
               0.078125 = fieldNorm(doc=6981)
         0.17087035 = weight(abstract_txt:modelling in 6981) [ClassicSimilarity], result of:
           0.17087035 = score(doc=6981,freq=1.0), product of:
             0.33060932 = queryWeight, product of:
               2.741581 = boost
               6.615483 = idf(docFreq=160, maxDocs=44218)
               0.018228566 = queryNorm
             0.5168346 = fieldWeight in 6981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.615483 = idf(docFreq=160, maxDocs=44218)
               0.078125 = fieldNorm(doc=6981)
         0.1909462 = weight(abstract_txt:logic in 6981) [ClassicSimilarity], result of:
           0.1909462 = score(doc=6981,freq=1.0), product of:
             0.391854 = queryWeight, product of:
               3.446474 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.018228566 = queryNorm
             0.4872892 = fieldWeight in 6981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=6981)
       0.28 = coord(7/25)
   

2. Crestani, F.; Rijsbergen, C.J. van: Information retrieval by logical imaging (1995) 0.17

   0.17305851 = sum of:
     0.17305851 = product of:
       0.72107714 = sum of:
         0.00829208 = weight(abstract_txt:this in 1759) [ClassicSimilarity], result of:
           0.00829208 = score(doc=1759,freq=1.0), product of:
             0.04398585 = queryWeight, product of:
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.018228566 = queryNorm
             0.18851699 = fieldWeight in 1759, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
         0.12649673 = weight(abstract_txt:implication in 1759) [ClassicSimilarity], result of:
           0.12649673 = score(doc=1759,freq=2.0), product of:
             0.1488926 = queryWeight, product of:
               1.0622321 = boost
               7.689554 = idf(docFreq=54, maxDocs=44218)
               0.018228566 = queryNorm
             0.84958375 = fieldWeight in 1759, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.689554 = idf(docFreq=54, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
         0.05564188 = weight(abstract_txt:models in 1759) [ClassicSimilarity], result of:
           0.05564188 = score(doc=1759,freq=2.0), product of:
             0.10850042 = queryWeight, product of:
               1.2823707 = boost
               4.6415744 = idf(docFreq=1158, maxDocs=44218)
               0.018228566 = queryNorm
             0.5128264 = fieldWeight in 1759, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.6415744 = idf(docFreq=1158, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
         0.01933913 = weight(abstract_txt:information in 1759) [ClassicSimilarity], result of:
           0.01933913 = score(doc=1759,freq=3.0), product of:
             0.05903385 = queryWeight, product of:
               1.3377144 = boost
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.018228566 = queryNorm
             0.32759392 = fieldWeight in 1759, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
         0.3203611 = weight(abstract_txt:logical in 1759) [ClassicSimilarity], result of:
           0.3203611 = score(doc=1759,freq=3.0), product of:
             0.38362157 = queryWeight, product of:
               3.4100785 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.018228566 = queryNorm
             0.8350967 = fieldWeight in 1759, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
         0.1909462 = weight(abstract_txt:logic in 1759) [ClassicSimilarity], result of:
           0.1909462 = score(doc=1759,freq=1.0), product of:
             0.391854 = queryWeight, product of:
               3.446474 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.018228566 = queryNorm
             0.4872892 = fieldWeight in 1759, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
       0.24 = coord(6/25)
   

3. Lalmas, M.: Logical models in information retrieval : introduction and overview (1998) 0.17

   0.17245975 = sum of:
     0.17245975 = product of:
       1.0778735 = sum of:
         0.1362942 = weight(abstract_txt:models in 2668) [ClassicSimilarity], result of:
           0.1362942 = score(doc=2668,freq=3.0), product of:
             0.10850042 = queryWeight, product of:
               1.2823707 = boost
               4.6415744 = idf(docFreq=1158, maxDocs=44218)
               0.018228566 = queryNorm
             1.2561629 = fieldWeight in 2668, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.6415744 = idf(docFreq=1158, maxDocs=44218)
               0.15625 = fieldNorm(doc=2668)
         0.031580664 = weight(abstract_txt:information in 2668) [ClassicSimilarity], result of:
           0.031580664 = score(doc=2668,freq=2.0), product of:
             0.05903385 = queryWeight, product of:
               1.3377144 = boost
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.018228566 = queryNorm
             0.5349586 = fieldWeight in 2668, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.15625 = fieldNorm(doc=2668)
         0.36992115 = weight(abstract_txt:logical in 2668) [ClassicSimilarity], result of:
           0.36992115 = score(doc=2668,freq=1.0), product of:
             0.38362157 = queryWeight, product of:
               3.4100785 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.018228566 = queryNorm
             0.9642866 = fieldWeight in 2668, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.15625 = fieldNorm(doc=2668)
         0.5400775 = weight(abstract_txt:logic in 2668) [ClassicSimilarity], result of:
           0.5400775 = score(doc=2668,freq=2.0), product of:
             0.391854 = queryWeight, product of:
               3.446474 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.018228566 = queryNorm
             1.378262 = fieldWeight in 2668, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.15625 = fieldNorm(doc=2668)
       0.16 = coord(4/25)
   

4. Nie, J.-Y.: Query expansion and query translation as logical inference (2003) 0.15

   0.15101108 = sum of:
     0.15101108 = product of:
       0.5393253 = sum of:
         0.01658416 = weight(abstract_txt:this in 1425) [ClassicSimilarity], result of:
           0.01658416 = score(doc=1425,freq=4.0), product of:
             0.04398585 = queryWeight, product of:
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.018228566 = queryNorm
             0.37703398 = fieldWeight in 1425, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.03934475 = weight(abstract_txt:models in 1425) [ClassicSimilarity], result of:
           0.03934475 = score(doc=1425,freq=1.0), product of:
             0.10850042 = queryWeight, product of:
               1.2823707 = boost
               4.6415744 = idf(docFreq=1158, maxDocs=44218)
               0.018228566 = queryNorm
             0.362623 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.6415744 = idf(docFreq=1158, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.011165451 = weight(abstract_txt:information in 1425) [ClassicSimilarity], result of:
           0.011165451 = score(doc=1425,freq=1.0), product of:
             0.05903385 = queryWeight, product of:
               1.3377144 = boost
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.018228566 = queryNorm
             0.18913643 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.024517944 = weight(abstract_txt:between in 1425) [ClassicSimilarity], result of:
           0.024517944 = score(doc=1425,freq=1.0), product of:
             0.09061359 = queryWeight, product of:
               1.4352916 = boost
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.018228566 = queryNorm
             0.2705769 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.071806215 = weight(abstract_txt:relationship in 1425) [ClassicSimilarity], result of:
           0.071806215 = score(doc=1425,freq=1.0), product of:
             0.18548636 = queryWeight, product of:
               2.0535226 = boost
               4.9551864 = idf(docFreq=846, maxDocs=44218)
               0.018228566 = queryNorm
             0.38712394 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9551864 = idf(docFreq=846, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.18496057 = weight(abstract_txt:logical in 1425) [ClassicSimilarity], result of:
           0.18496057 = score(doc=1425,freq=1.0), product of:
             0.38362157 = queryWeight, product of:
               3.4100785 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.018228566 = queryNorm
             0.4821433 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.1909462 = weight(abstract_txt:logic in 1425) [ClassicSimilarity], result of:
           0.1909462 = score(doc=1425,freq=1.0), product of:
             0.391854 = queryWeight, product of:
               3.446474 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.018228566 = queryNorm
             0.4872892 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
       0.28 = coord(7/25)
   

5. Green, R.: ¬The design of a relational database for large-scale bibliographic retrieval (1996) 0.14

   0.14302014 = sum of:
     0.14302014 = product of:
       0.5959173 = sum of:
         0.00829208 = weight(abstract_txt:this in 7712) [ClassicSimilarity], result of:
           0.00829208 = score(doc=7712,freq=1.0), product of:
             0.04398585 = queryWeight, product of:
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.018228566 = queryNorm
             0.18851699 = fieldWeight in 7712, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=7712)
         0.011165451 = weight(abstract_txt:information in 7712) [ClassicSimilarity], result of:
           0.011165451 = score(doc=7712,freq=1.0), product of:
             0.05903385 = queryWeight, product of:
               1.3377144 = boost
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.018228566 = queryNorm
             0.18913643 = fieldWeight in 7712, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.078125 = fieldNorm(doc=7712)
         0.04246632 = weight(abstract_txt:between in 7712) [ClassicSimilarity], result of:
           0.04246632 = score(doc=7712,freq=3.0), product of:
             0.09061359 = queryWeight, product of:
               1.4352916 = boost
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.018228566 = queryNorm
             0.4686529 = fieldWeight in 7712, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.078125 = fieldNorm(doc=7712)
         0.10154932 = weight(abstract_txt:relationship in 7712) [ClassicSimilarity], result of:
           0.10154932 = score(doc=7712,freq=2.0), product of:
             0.18548636 = queryWeight, product of:
               2.0535226 = boost
               4.9551864 = idf(docFreq=846, maxDocs=44218)
               0.018228566 = queryNorm
             0.54747593 = fieldWeight in 7712, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.9551864 = idf(docFreq=846, maxDocs=44218)
               0.078125 = fieldNorm(doc=7712)
         0.17087035 = weight(abstract_txt:modelling in 7712) [ClassicSimilarity], result of:
           0.17087035 = score(doc=7712,freq=1.0), product of:
             0.33060932 = queryWeight, product of:
               2.741581 = boost
               6.615483 = idf(docFreq=160, maxDocs=44218)
               0.018228566 = queryNorm
             0.5168346 = fieldWeight in 7712, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.615483 = idf(docFreq=160, maxDocs=44218)
               0.078125 = fieldNorm(doc=7712)
         0.26157376 = weight(abstract_txt:logical in 7712) [ClassicSimilarity], result of:
           0.26157376 = score(doc=7712,freq=2.0), product of:
             0.38362157 = queryWeight, product of:
               3.4100785 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.018228566 = queryNorm
             0.6818536 = fieldWeight in 7712, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.078125 = fieldNorm(doc=7712)
       0.24 = coord(6/25)