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.13

   0.12996651 = sum of:
     0.12996651 = product of:
       1.0830543 = sum of:
         0.057811756 = weight(abstract_txt:neural in 6929) [ClassicSimilarity], result of:
           0.057811756 = score(doc=6929,freq=1.0), product of:
             0.076313764 = queryWeight, product of:
               1.3253132 = boost
               6.926203 = idf(docFreq=117, maxDocs=44218)
               0.0083136 = queryNorm
             0.75755346 = fieldWeight in 6929, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.926203 = idf(docFreq=117, maxDocs=44218)
               0.109375 = fieldNorm(doc=6929)
         0.64526033 = weight(abstract_txt:nonmonotonic in 6929) [ClassicSimilarity], result of:
           0.64526033 = score(doc=6929,freq=1.0), product of:
             0.6050186 = queryWeight, product of:
               7.46331 = boost
               9.7509775 = idf(docFreq=6, maxDocs=44218)
               0.0083136 = queryNorm
             1.0665132 = fieldWeight in 6929, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.7509775 = idf(docFreq=6, maxDocs=44218)
               0.109375 = fieldNorm(doc=6929)
         0.37998223 = weight(abstract_txt:logic in 6929) [ClassicSimilarity], result of:
           0.37998223 = score(doc=6929,freq=1.0), product of:
             0.55699134 = queryWeight, product of:
               10.741442 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0083136 = queryNorm
             0.6822049 = fieldWeight in 6929, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.109375 = fieldNorm(doc=6929)
       0.12 = coord(3/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.116519354 = sum of:
     0.116519354 = product of:
       0.728246 = sum of:
         0.047354575 = weight(abstract_txt:power in 4764) [ClassicSimilarity], result of:
           0.047354575 = score(doc=4764,freq=1.0), product of:
             0.052670255 = queryWeight, product of:
               1.1010317 = boost
               5.754088 = idf(docFreq=380, maxDocs=44218)
               0.0083136 = queryNorm
             0.8990762 = fieldWeight in 4764, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.754088 = idf(docFreq=380, maxDocs=44218)
               0.15625 = fieldNorm(doc=4764)
         0.055471502 = weight(abstract_txt:artificial in 4764) [ClassicSimilarity], result of:
           0.055471502 = score(doc=4764,freq=1.0), product of:
             0.058528952 = queryWeight, product of:
               1.1606532 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.0083136 = queryNorm
             0.9477618 = fieldWeight in 4764, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.15625 = fieldNorm(doc=4764)
         0.08258822 = weight(abstract_txt:neural in 4764) [ClassicSimilarity], result of:
           0.08258822 = score(doc=4764,freq=1.0), product of:
             0.076313764 = queryWeight, product of:
               1.3253132 = boost
               6.926203 = idf(docFreq=117, maxDocs=44218)
               0.0083136 = queryNorm
             1.0822191 = fieldWeight in 4764, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.926203 = idf(docFreq=117, maxDocs=44218)
               0.15625 = fieldNorm(doc=4764)
         0.5428317 = weight(abstract_txt:logic in 4764) [ClassicSimilarity], result of:
           0.5428317 = score(doc=4764,freq=1.0), product of:
             0.55699134 = queryWeight, product of:
               10.741442 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0083136 = queryNorm
             0.9745784 = fieldWeight in 4764, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.15625 = fieldNorm(doc=4764)
       0.16 = coord(4/25)
   

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

   0.10063148 = sum of:
     0.10063148 = product of:
       0.6289468 = sum of:
         0.028240034 = weight(abstract_txt:intelligence in 660) [ClassicSimilarity], result of:
           0.028240034 = score(doc=660,freq=2.0), product of:
             0.05455706 = queryWeight, product of:
               1.1205792 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.0083136 = queryNorm
             0.51762384 = fieldWeight in 660, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.0625 = fieldNorm(doc=660)
         0.03137942 = weight(abstract_txt:artificial in 660) [ClassicSimilarity], result of:
           0.03137942 = score(doc=660,freq=2.0), product of:
             0.058528952 = queryWeight, product of:
               1.1606532 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.0083136 = queryNorm
             0.536135 = fieldWeight in 660, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.0625 = fieldNorm(doc=660)
         0.19324249 = weight(abstract_txt:monotonic in 660) [ClassicSimilarity], result of:
           0.19324249 = score(doc=660,freq=1.0), product of:
             0.31214944 = queryWeight, product of:
               3.7906473 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.0083136 = queryNorm
             0.6190705 = fieldWeight in 660, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.0625 = fieldNorm(doc=660)
         0.37608486 = weight(abstract_txt:logic in 660) [ClassicSimilarity], result of:
           0.37608486 = score(doc=660,freq=3.0), product of:
             0.55699134 = queryWeight, product of:
               10.741442 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0083136 = queryNorm
             0.67520773 = fieldWeight in 660, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=660)
       0.16 = coord(4/25)
   

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

   0.09349144 = sum of:
     0.09349144 = product of:
       0.77909535 = sum of:
         0.19324249 = weight(abstract_txt:monotonic in 468) [ClassicSimilarity], result of:
           0.19324249 = score(doc=468,freq=1.0), product of:
             0.31214944 = queryWeight, product of:
               3.7906473 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.0083136 = queryNorm
             0.6190705 = fieldWeight in 468, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.0625 = fieldNorm(doc=468)
         0.36872017 = weight(abstract_txt:nonmonotonic in 468) [ClassicSimilarity], result of:
           0.36872017 = score(doc=468,freq=1.0), product of:
             0.6050186 = queryWeight, product of:
               7.46331 = boost
               9.7509775 = idf(docFreq=6, maxDocs=44218)
               0.0083136 = queryNorm
             0.6094361 = fieldWeight in 468, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.7509775 = idf(docFreq=6, maxDocs=44218)
               0.0625 = fieldNorm(doc=468)
         0.21713269 = weight(abstract_txt:logic in 468) [ClassicSimilarity], result of:
           0.21713269 = score(doc=468,freq=1.0), product of:
             0.55699134 = queryWeight, product of:
               10.741442 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0083136 = queryNorm
             0.38983136 = fieldWeight in 468, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=468)
       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.08575523 = sum of:
     0.08575523 = product of:
       0.5359702 = sum of:
         0.01996872 = weight(abstract_txt:intelligence in 903) [ClassicSimilarity], result of:
           0.01996872 = score(doc=903,freq=1.0), product of:
             0.05455706 = queryWeight, product of:
               1.1205792 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.0083136 = queryNorm
             0.36601534 = fieldWeight in 903, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.0625 = fieldNorm(doc=903)
         0.022188602 = weight(abstract_txt:artificial in 903) [ClassicSimilarity], result of:
           0.022188602 = score(doc=903,freq=1.0), product of:
             0.058528952 = queryWeight, product of:
               1.1606532 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.0083136 = queryNorm
             0.3791047 = fieldWeight in 903, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.0625 = fieldNorm(doc=903)
         0.0082894415 = weight(abstract_txt:paper in 903) [ClassicSimilarity], result of:
           0.0082894415 = score(doc=903,freq=1.0), product of:
             0.038251135 = queryWeight, product of:
               1.326949 = boost
               3.467376 = idf(docFreq=3749, maxDocs=44218)
               0.0083136 = queryNorm
             0.216711 = fieldWeight in 903, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.467376 = idf(docFreq=3749, maxDocs=44218)
               0.0625 = fieldNorm(doc=903)
         0.48552346 = weight(abstract_txt:logic in 903) [ClassicSimilarity], result of:
           0.48552346 = score(doc=903,freq=5.0), product of:
             0.55699134 = queryWeight, product of:
               10.741442 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0083136 = queryNorm
             0.87168944 = fieldWeight in 903, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=903)
       0.16 = coord(4/25)