Document (#17972)

Author

Hisdal, E.

Title

Logical structures for representation of knowledge and uncertainty

Imprint

Heidelberg : Springer

Year

1998

Pages

XXIV,419 S

Isbn

3-7908-1056-8

Series

Studies in fuzziness and soft computing; vol.14

Abstract

The book describes a new truth table logic with built-in probabilities. The IF THEN statement is interpreted as the specification of the value of a condition as probability. No 'predicate calculus' is needed in this logic which gives always the results expected according to natural language reasoning used in mathematics and the exact sciences

Similar documents (content)

1. Fuhr, N.: Probabilistic datalog : implementing logical information retrieval for advanced applications (2000) 0.16

   0.16212267 = sum of:
     0.16212267 = product of:
       1.0132667 = sum of:
         0.12118566 = weight(abstract_txt:logical in 5380) [ClassicSimilarity], result of:
           0.12118566 = score(doc=5380,freq=1.0), product of:
             0.15727843 = queryWeight, product of:
               1.2159336 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.020983953 = queryNorm
             0.7705167 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
         0.16858736 = weight(abstract_txt:probability in 5380) [ClassicSimilarity], result of:
           0.16858736 = score(doc=5380,freq=1.0), product of:
             0.19599803 = queryWeight, product of:
               1.357379 = boost
               6.881186 = idf(docFreq=123, maxDocs=44421)
               0.020983953 = queryNorm
             0.86014825 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.881186 = idf(docFreq=123, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
         0.36832052 = weight(abstract_txt:predicate in 5380) [ClassicSimilarity], result of:
           0.36832052 = score(doc=5380,freq=1.0), product of:
             0.33000383 = queryWeight, product of:
               1.7613057 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.020983953 = queryNorm
             1.1161098 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
         0.35517314 = weight(abstract_txt:logic in 5380) [ClassicSimilarity], result of:
           0.35517314 = score(doc=5380,freq=2.0), product of:
             0.32210323 = queryWeight, product of:
               2.460865 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.020983953 = queryNorm
             1.1026686 = fieldWeight in 5380, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
       0.16 = coord(4/25)
   

2. Frisch, A.M.; Allen, J.F.: Knowledge retrieval as limited inference (1982) 0.12

   0.119657815 = sum of:
     0.119657815 = product of:
       0.5982891 = sum of:
         0.085691206 = weight(abstract_txt:logical in 804) [ClassicSimilarity], result of:
           0.085691206 = score(doc=804,freq=2.0), product of:
             0.15727843 = queryWeight, product of:
               1.2159336 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.020983953 = queryNorm
             0.5448376 = fieldWeight in 804, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.0625 = fieldNorm(doc=804)
         0.065933935 = weight(abstract_txt:reasoning in 804) [ClassicSimilarity], result of:
           0.065933935 = score(doc=804,freq=1.0), product of:
             0.16639018 = queryWeight, product of:
               1.2506596 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.020983953 = queryNorm
             0.39626098 = fieldWeight in 804, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.0625 = fieldNorm(doc=804)
         0.08877342 = weight(abstract_txt:specification in 804) [ClassicSimilarity], result of:
           0.08877342 = score(doc=804,freq=1.0), product of:
             0.20288207 = queryWeight, product of:
               1.3810109 = boost
               7.000987 = idf(docFreq=109, maxDocs=44421)
               0.020983953 = queryNorm
             0.4375617 = fieldWeight in 804, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.000987 = idf(docFreq=109, maxDocs=44421)
               0.0625 = fieldNorm(doc=804)
         0.17373025 = weight(abstract_txt:calculus in 804) [ClassicSimilarity], result of:
           0.17373025 = score(doc=804,freq=1.0), product of:
             0.3174232 = queryWeight, product of:
               1.7274066 = boost
               8.757029 = idf(docFreq=18, maxDocs=44421)
               0.020983953 = queryNorm
             0.5473143 = fieldWeight in 804, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.757029 = idf(docFreq=18, maxDocs=44421)
               0.0625 = fieldNorm(doc=804)
         0.18416026 = weight(abstract_txt:predicate in 804) [ClassicSimilarity], result of:
           0.18416026 = score(doc=804,freq=1.0), product of:
             0.33000383 = queryWeight, product of:
               1.7613057 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.020983953 = queryNorm
             0.5580549 = fieldWeight in 804, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.0625 = fieldNorm(doc=804)
       0.2 = coord(5/25)
   

3. Noeh, W.: Charles S. Peirce's theory of information : a theory of the growth of symbols and of knowledge (2012) 0.12

   0.118745744 = sum of:
     0.118745744 = product of:
       0.5937287 = sum of:
         0.039589826 = weight(abstract_txt:gives in 4101) [ClassicSimilarity], result of:
           0.039589826 = score(doc=4101,freq=1.0), product of:
             0.11842519 = queryWeight, product of:
               1.0551089 = boost
               5.3488383 = idf(docFreq=573, maxDocs=44421)
               0.020983953 = queryNorm
             0.3343024 = fieldWeight in 4101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3488383 = idf(docFreq=573, maxDocs=44421)
               0.0625 = fieldNorm(doc=4101)
         0.06059283 = weight(abstract_txt:logical in 4101) [ClassicSimilarity], result of:
           0.06059283 = score(doc=4101,freq=1.0), product of:
             0.15727843 = queryWeight, product of:
               1.2159336 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.020983953 = queryNorm
             0.38525835 = fieldWeight in 4101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.0625 = fieldNorm(doc=4101)
         0.13565555 = weight(abstract_txt:probabilities in 4101) [ClassicSimilarity], result of:
           0.13565555 = score(doc=4101,freq=1.0), product of:
             0.2691618 = queryWeight, product of:
               1.5906769 = boost
               8.063882 = idf(docFreq=37, maxDocs=44421)
               0.020983953 = queryNorm
             0.5039926 = fieldWeight in 4101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.063882 = idf(docFreq=37, maxDocs=44421)
               0.0625 = fieldNorm(doc=4101)
         0.17373025 = weight(abstract_txt:calculus in 4101) [ClassicSimilarity], result of:
           0.17373025 = score(doc=4101,freq=1.0), product of:
             0.3174232 = queryWeight, product of:
               1.7274066 = boost
               8.757029 = idf(docFreq=18, maxDocs=44421)
               0.020983953 = queryNorm
             0.5473143 = fieldWeight in 4101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.757029 = idf(docFreq=18, maxDocs=44421)
               0.0625 = fieldNorm(doc=4101)
         0.18416026 = weight(abstract_txt:predicate in 4101) [ClassicSimilarity], result of:
           0.18416026 = score(doc=4101,freq=1.0), product of:
             0.33000383 = queryWeight, product of:
               1.7613057 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.020983953 = queryNorm
             0.5580549 = fieldWeight in 4101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.0625 = fieldNorm(doc=4101)
       0.2 = coord(5/25)
   

4. Sembok, T.M.T.; Rijsbergen, C.J. van: SILOL: a simple logical-linguistic document retrieval system (1990) 0.10

   0.10031796 = sum of:
     0.10031796 = product of:
       0.6269873 = sum of:
         0.07149866 = weight(abstract_txt:natural in 6683) [ClassicSimilarity], result of:
           0.07149866 = score(doc=6683,freq=2.0), product of:
             0.10637743 = queryWeight, product of:
               5.0694656 = idf(docFreq=758, maxDocs=44421)
               0.020983953 = queryNorm
             0.6721225 = fieldWeight in 6683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.0694656 = idf(docFreq=758, maxDocs=44421)
               0.09375 = fieldNorm(doc=6683)
         0.090889245 = weight(abstract_txt:logical in 6683) [ClassicSimilarity], result of:
           0.090889245 = score(doc=6683,freq=1.0), product of:
             0.15727843 = queryWeight, product of:
               1.2159336 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.020983953 = queryNorm
             0.57788754 = fieldWeight in 6683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.09375 = fieldNorm(doc=6683)
         0.27624038 = weight(abstract_txt:predicate in 6683) [ClassicSimilarity], result of:
           0.27624038 = score(doc=6683,freq=1.0), product of:
             0.33000383 = queryWeight, product of:
               1.7613057 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.020983953 = queryNorm
             0.8370824 = fieldWeight in 6683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.09375 = fieldNorm(doc=6683)
         0.18835898 = weight(abstract_txt:logic in 6683) [ClassicSimilarity], result of:
           0.18835898 = score(doc=6683,freq=1.0), product of:
             0.32210323 = queryWeight, product of:
               2.460865 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.020983953 = queryNorm
             0.5847783 = fieldWeight in 6683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.09375 = fieldNorm(doc=6683)
       0.16 = coord(4/25)
   

5. Corrêa, C.A.; Kobashi, N.Y.: Automatic indexing and information visualization : a study based on paraconsistent logic (2012) 0.10

   0.097536065 = sum of:
     0.097536065 = product of:
       0.48768032 = sum of:
         0.0464044 = weight(abstract_txt:built in 1869) [ClassicSimilarity], result of:
           0.0464044 = score(doc=1869,freq=1.0), product of:
             0.14390938 = queryWeight, product of:
               1.1631074 = boost
               5.8963327 = idf(docFreq=331, maxDocs=44421)
               0.020983953 = queryNorm
             0.3224557 = fieldWeight in 1869, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8963327 = idf(docFreq=331, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1869)
         0.053018723 = weight(abstract_txt:logical in 1869) [ClassicSimilarity], result of:
           0.053018723 = score(doc=1869,freq=1.0), product of:
             0.15727843 = queryWeight, product of:
               1.2159336 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.020983953 = queryNorm
             0.33710104 = fieldWeight in 1869, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1869)
         0.067203484 = weight(abstract_txt:mathematics in 1869) [ClassicSimilarity], result of:
           0.067203484 = score(doc=1869,freq=1.0), product of:
             0.184209 = queryWeight, product of:
               1.3159236 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.020983953 = queryNorm
             0.36482194 = fieldWeight in 1869, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1869)
         0.07536332 = weight(abstract_txt:uncertainty in 1869) [ClassicSimilarity], result of:
           0.07536332 = score(doc=1869,freq=1.0), product of:
             0.19883355 = queryWeight, product of:
               1.3671623 = boost
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.020983953 = queryNorm
             0.3790272 = fieldWeight in 1869, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1869)
         0.24569039 = weight(abstract_txt:logic in 1869) [ClassicSimilarity], result of:
           0.24569039 = score(doc=1869,freq=5.0), product of:
             0.32210323 = queryWeight, product of:
               2.460865 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.020983953 = queryNorm
             0.7627691 = fieldWeight in 1869, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1869)
       0.2 = coord(5/25)