Document (#19143)

Author

Hurt, C.D.

Title

Nonmonotonic logic for use in information retrieval : an exploratory paper

Source

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

Year

1998

Abstract

Monotonic logic requires reexamination of the entirety of a logic string when there is a contradiction. Nonmonotonic logic allows the user to withdraw conclusions in the face of contradiction without harm to the logic string. This attribute has considerable application to the field of information searching. Artificial intelligence models and neural networks based on nonmonotonic logic have the potential for more robust findings than the use of monotonic logic alone. This paper demonstrates the power of nonmonotonic logic but does not implement the logic

Similar documents (content)

1. Hurt, C.D.: Classification and subject analysis : looking to the future at a distance (1997) 0.18

   0.17734209 = sum of:
     0.17734209 = product of:
       1.1083881 = sum of:
         0.024735434 = weight(abstract_txt:does in 6998) [ClassicSimilarity], result of:
           0.024735434 = score(doc=6998,freq=1.0), product of:
             0.04332515 = queryWeight, product of:
               5.2198906 = idf(docFreq=652, maxDocs=44421)
               0.008300011 = queryNorm
             0.57092553 = fieldWeight in 6998, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2198906 = idf(docFreq=652, maxDocs=44421)
               0.109375 = fieldNorm(doc=6998)
         0.05790049 = weight(abstract_txt:neural in 6998) [ClassicSimilarity], result of:
           0.05790049 = score(doc=6998,freq=1.0), product of:
             0.07638039 = queryWeight, product of:
               1.327764 = boost
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.008300011 = queryNorm
             0.7580544 = fieldWeight in 6998, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.109375 = fieldNorm(doc=6998)
         0.6458796 = weight(abstract_txt:nonmonotonic in 6998) [ClassicSimilarity], result of:
           0.6458796 = score(doc=6998,freq=1.0), product of:
             0.60531497 = queryWeight, product of:
               7.4756794 = boost
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.008300011 = queryNorm
             1.0670141 = fieldWeight in 6998, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.109375 = fieldNorm(doc=6998)
         0.3798725 = weight(abstract_txt:logic in 6998) [ClassicSimilarity], result of:
           0.3798725 = score(doc=6998,freq=1.0), product of:
             0.5568007 = queryWeight, product of:
               10.754769 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.008300011 = queryNorm
             0.6822414 = fieldWeight in 6998, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.109375 = fieldNorm(doc=6998)
       0.16 = coord(4/25)
   

2. Bataineh, A.; Al-Anbuky, A.; Al-Aqtash, S.: ¬An expert system for unit committment and power demand prediction using fuzzy logic and neural networks (1996) 0.12

   0.11634996 = sum of:
     0.11634996 = product of:
       0.7271873 = sum of:
         0.04699784 = weight(abstract_txt:power in 4832) [ClassicSimilarity], result of:
           0.04699784 = score(doc=4832,freq=1.0), product of:
             0.052397553 = queryWeight, product of:
               1.0997285 = boost
               5.7404623 = idf(docFreq=387, maxDocs=44421)
               0.008300011 = queryNorm
             0.89694726 = fieldWeight in 4832, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7404623 = idf(docFreq=387, maxDocs=44421)
               0.15625 = fieldNorm(doc=4832)
         0.054799467 = weight(abstract_txt:artificial in 4832) [ClassicSimilarity], result of:
           0.054799467 = score(doc=4832,freq=1.0), product of:
             0.05804658 = queryWeight, product of:
               1.1574928 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.008300011 = queryNorm
             0.9440602 = fieldWeight in 4832, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.15625 = fieldNorm(doc=4832)
         0.08271498 = weight(abstract_txt:neural in 4832) [ClassicSimilarity], result of:
           0.08271498 = score(doc=4832,freq=1.0), product of:
             0.07638039 = queryWeight, product of:
               1.327764 = boost
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.008300011 = queryNorm
             1.0829349 = fieldWeight in 4832, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.15625 = fieldNorm(doc=4832)
         0.542675 = weight(abstract_txt:logic in 4832) [ClassicSimilarity], result of:
           0.542675 = score(doc=4832,freq=1.0), product of:
             0.5568007 = queryWeight, product of:
               10.754769 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.008300011 = queryNorm
             0.9746306 = fieldWeight in 4832, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.15625 = fieldNorm(doc=4832)
       0.16 = coord(4/25)
   

3. Miller, R.: Three problems in logic-based knowledge representation (2006) 0.10

   0.10052478 = sum of:
     0.10052478 = product of:
       0.6282799 = sum of:
         0.02788065 = weight(abstract_txt:intelligence in 785) [ClassicSimilarity], result of:
           0.02788065 = score(doc=785,freq=2.0), product of:
             0.054085106 = queryWeight, product of:
               1.1172974 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.008300011 = queryNorm
             0.5154959 = fieldWeight in 785, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.0625 = fieldNorm(doc=785)
         0.03099926 = weight(abstract_txt:artificial in 785) [ClassicSimilarity], result of:
           0.03099926 = score(doc=785,freq=2.0), product of:
             0.05804658 = queryWeight, product of:
               1.1574928 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.008300011 = queryNorm
             0.5340411 = fieldWeight in 785, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.0625 = fieldNorm(doc=785)
         0.19342378 = weight(abstract_txt:monotonic in 785) [ClassicSimilarity], result of:
           0.19342378 = score(doc=785,freq=1.0), product of:
             0.31229785 = queryWeight, product of:
               3.7969027 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.008300011 = queryNorm
             0.61935675 = fieldWeight in 785, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.0625 = fieldNorm(doc=785)
         0.37597626 = weight(abstract_txt:logic in 785) [ClassicSimilarity], result of:
           0.37597626 = score(doc=785,freq=3.0), product of:
             0.5568007 = queryWeight, product of:
               10.754769 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.008300011 = queryNorm
             0.67524385 = fieldWeight in 785, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0625 = fieldNorm(doc=785)
       0.16 = coord(4/25)
   

4. Antoniou, G.; Harmelen, F. van: ¬A semantic Web primer (2004) 0.09

   0.09354814 = sum of:
     0.09354814 = product of:
       0.77956784 = sum of:
         0.19342378 = weight(abstract_txt:monotonic in 1468) [ClassicSimilarity], result of:
           0.19342378 = score(doc=1468,freq=1.0), product of:
             0.31229785 = queryWeight, product of:
               3.7969027 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.008300011 = queryNorm
             0.61935675 = fieldWeight in 1468, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.0625 = fieldNorm(doc=1468)
         0.36907405 = weight(abstract_txt:nonmonotonic in 1468) [ClassicSimilarity], result of:
           0.36907405 = score(doc=1468,freq=1.0), product of:
             0.60531497 = queryWeight, product of:
               7.4756794 = boost
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.008300011 = queryNorm
             0.6097223 = fieldWeight in 1468, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.0625 = fieldNorm(doc=1468)
         0.21707 = weight(abstract_txt:logic in 1468) [ClassicSimilarity], result of:
           0.21707 = score(doc=1468,freq=1.0), product of:
             0.5568007 = queryWeight, product of:
               10.754769 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.008300011 = queryNorm
             0.38985223 = fieldWeight in 1468, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0625 = fieldNorm(doc=1468)
       0.12 = coord(3/25)
   

5. Sirén-Heikel, S.; Kjellman, M.; Lindén, C.-G.: At the crossroads of logics : automating newswork with artificial intelligence-(Re)defining journalistic logics from the perspective of technologists (2023) 0.09

   0.085641935 = sum of:
     0.085641935 = product of:
       0.5352621 = sum of:
         0.019714598 = weight(abstract_txt:intelligence in 1904) [ClassicSimilarity], result of:
           0.019714598 = score(doc=1904,freq=1.0), product of:
             0.054085106 = queryWeight, product of:
               1.1172974 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.008300011 = queryNorm
             0.36451066 = fieldWeight in 1904, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.0625 = fieldNorm(doc=1904)
         0.021919787 = weight(abstract_txt:artificial in 1904) [ClassicSimilarity], result of:
           0.021919787 = score(doc=1904,freq=1.0), product of:
             0.05804658 = queryWeight, product of:
               1.1574928 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.008300011 = queryNorm
             0.3776241 = fieldWeight in 1904, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.0625 = fieldNorm(doc=1904)
         0.008244452 = weight(abstract_txt:paper in 1904) [ClassicSimilarity], result of:
           0.008244452 = score(doc=1904,freq=1.0), product of:
             0.0381069 = queryWeight, product of:
               1.3263153 = boost
               3.4616103 = idf(docFreq=3788, maxDocs=44421)
               0.008300011 = queryNorm
             0.21635064 = fieldWeight in 1904, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4616103 = idf(docFreq=3788, maxDocs=44421)
               0.0625 = fieldNorm(doc=1904)
         0.4853833 = weight(abstract_txt:logic in 1904) [ClassicSimilarity], result of:
           0.4853833 = score(doc=1904,freq=5.0), product of:
             0.5568007 = queryWeight, product of:
               10.754769 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.008300011 = queryNorm
             0.8717361 = fieldWeight in 1904, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0625 = fieldNorm(doc=1904)
       0.16 = coord(4/25)