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.16193314 = sum of:
     0.16193314 = product of:
       1.0120821 = sum of:
         0.12146667 = weight(abstract_txt:logical in 4380) [ClassicSimilarity], result of:
           0.12146667 = score(doc=4380,freq=1.0), product of:
             0.15745664 = queryWeight, product of:
               1.2149726 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.020999473 = queryNorm
             0.7714293 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.16863757 = weight(abstract_txt:probability in 4380) [ClassicSimilarity], result of:
           0.16863757 = score(doc=4380,freq=1.0), product of:
             0.19595626 = queryWeight, product of:
               1.355394 = boost
               6.8847027 = idf(docFreq=122, maxDocs=44218)
               0.020999473 = queryNorm
             0.86058784 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8847027 = idf(docFreq=122, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.36730003 = weight(abstract_txt:predicate in 4380) [ClassicSimilarity], result of:
           0.36730003 = score(doc=4380,freq=1.0), product of:
             0.3292584 = queryWeight, product of:
               1.7569299 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.020999473 = queryNorm
             1.1155373 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.35467786 = weight(abstract_txt:logic in 4380) [ClassicSimilarity], result of:
           0.35467786 = score(doc=4380,freq=2.0), product of:
             0.32167128 = queryWeight, product of:
               2.45588 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.020999473 = queryNorm
             1.1026096 = fieldWeight in 4380, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
       0.16 = coord(4/25)
   

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

   0.11966719 = sum of:
     0.11966719 = product of:
       0.5983359 = sum of:
         0.0858899 = weight(abstract_txt:logical in 5804) [ClassicSimilarity], result of:
           0.0858899 = score(doc=5804,freq=2.0), product of:
             0.15745664 = queryWeight, product of:
               1.2149726 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.020999473 = queryNorm
             0.5454829 = fieldWeight in 5804, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.0625 = fieldNorm(doc=5804)
         0.067062385 = weight(abstract_txt:reasoning in 5804) [ClassicSimilarity], result of:
           0.067062385 = score(doc=5804,freq=1.0), product of:
             0.16821404 = queryWeight, product of:
               1.2557902 = boost
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.020999473 = queryNorm
             0.39867294 = fieldWeight in 5804, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.0625 = fieldNorm(doc=5804)
         0.08848996 = weight(abstract_txt:specification in 5804) [ClassicSimilarity], result of:
           0.08848996 = score(doc=5804,freq=1.0), product of:
             0.20236664 = queryWeight, product of:
               1.3773853 = boost
               6.996407 = idf(docFreq=109, maxDocs=44218)
               0.020999473 = queryNorm
             0.43727544 = fieldWeight in 5804, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.996407 = idf(docFreq=109, maxDocs=44218)
               0.0625 = fieldNorm(doc=5804)
         0.17324367 = weight(abstract_txt:calculus in 5804) [ClassicSimilarity], result of:
           0.17324367 = score(doc=5804,freq=1.0), product of:
             0.31669983 = queryWeight, product of:
               1.7230977 = boost
               8.752448 = idf(docFreq=18, maxDocs=44218)
               0.020999473 = queryNorm
             0.547028 = fieldWeight in 5804, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.752448 = idf(docFreq=18, maxDocs=44218)
               0.0625 = fieldNorm(doc=5804)
         0.18365002 = weight(abstract_txt:predicate in 5804) [ClassicSimilarity], result of:
           0.18365002 = score(doc=5804,freq=1.0), product of:
             0.3292584 = queryWeight, product of:
               1.7569299 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.020999473 = queryNorm
             0.55776864 = fieldWeight in 5804, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.0625 = fieldNorm(doc=5804)
       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.118472494 = sum of:
     0.118472494 = product of:
       0.59236246 = sum of:
         0.039478082 = weight(abstract_txt:gives in 3101) [ClassicSimilarity], result of:
           0.039478082 = score(doc=3101,freq=1.0), product of:
             0.118153594 = queryWeight, product of:
               1.0524694 = boost
               5.3460016 = idf(docFreq=572, maxDocs=44218)
               0.020999473 = queryNorm
             0.3341251 = fieldWeight in 3101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3460016 = idf(docFreq=572, maxDocs=44218)
               0.0625 = fieldNorm(doc=3101)
         0.060733333 = weight(abstract_txt:logical in 3101) [ClassicSimilarity], result of:
           0.060733333 = score(doc=3101,freq=1.0), product of:
             0.15745664 = queryWeight, product of:
               1.2149726 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.020999473 = queryNorm
             0.38571465 = fieldWeight in 3101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.0625 = fieldNorm(doc=3101)
         0.13525738 = weight(abstract_txt:probabilities in 3101) [ClassicSimilarity], result of:
           0.13525738 = score(doc=3101,freq=1.0), product of:
             0.26852426 = queryWeight, product of:
               1.5866376 = boost
               8.059301 = idf(docFreq=37, maxDocs=44218)
               0.020999473 = queryNorm
             0.50370634 = fieldWeight in 3101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.059301 = idf(docFreq=37, maxDocs=44218)
               0.0625 = fieldNorm(doc=3101)
         0.17324367 = weight(abstract_txt:calculus in 3101) [ClassicSimilarity], result of:
           0.17324367 = score(doc=3101,freq=1.0), product of:
             0.31669983 = queryWeight, product of:
               1.7230977 = boost
               8.752448 = idf(docFreq=18, maxDocs=44218)
               0.020999473 = queryNorm
             0.547028 = fieldWeight in 3101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.752448 = idf(docFreq=18, maxDocs=44218)
               0.0625 = fieldNorm(doc=3101)
         0.18365002 = weight(abstract_txt:predicate in 3101) [ClassicSimilarity], result of:
           0.18365002 = score(doc=3101,freq=1.0), product of:
             0.3292584 = queryWeight, product of:
               1.7569299 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.020999473 = queryNorm
             0.55776864 = fieldWeight in 3101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.0625 = fieldNorm(doc=3101)
       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.10024095 = sum of:
     0.10024095 = product of:
       0.626506 = sum of:
         0.07183464 = weight(abstract_txt:natural in 6684) [ClassicSimilarity], result of:
           0.07183464 = score(doc=6684,freq=2.0), product of:
             0.1066665 = queryWeight, product of:
               5.0794845 = idf(docFreq=747, maxDocs=44218)
               0.020999473 = queryNorm
             0.6734508 = fieldWeight in 6684, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.0794845 = idf(docFreq=747, maxDocs=44218)
               0.09375 = fieldNorm(doc=6684)
         0.0911 = weight(abstract_txt:logical in 6684) [ClassicSimilarity], result of:
           0.0911 = score(doc=6684,freq=1.0), product of:
             0.15745664 = queryWeight, product of:
               1.2149726 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.020999473 = queryNorm
             0.578572 = fieldWeight in 6684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.09375 = fieldNorm(doc=6684)
         0.27547503 = weight(abstract_txt:predicate in 6684) [ClassicSimilarity], result of:
           0.27547503 = score(doc=6684,freq=1.0), product of:
             0.3292584 = queryWeight, product of:
               1.7569299 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.020999473 = queryNorm
             0.836653 = fieldWeight in 6684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.09375 = fieldNorm(doc=6684)
         0.18809634 = weight(abstract_txt:logic in 6684) [ClassicSimilarity], result of:
           0.18809634 = score(doc=6684,freq=1.0), product of:
             0.32167128 = queryWeight, product of:
               2.45588 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.020999473 = queryNorm
             0.5847471 = fieldWeight in 6684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.09375 = fieldNorm(doc=6684)
       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.09757165 = sum of:
     0.09757165 = product of:
       0.48785824 = sum of:
         0.04631025 = weight(abstract_txt:built in 869) [ClassicSimilarity], result of:
           0.04631025 = score(doc=869,freq=1.0), product of:
             0.14365551 = queryWeight, product of:
               1.1605053 = boost
               5.8947687 = idf(docFreq=330, maxDocs=44218)
               0.020999473 = queryNorm
             0.32237017 = fieldWeight in 869, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8947687 = idf(docFreq=330, maxDocs=44218)
               0.0546875 = fieldNorm(doc=869)
         0.05314167 = weight(abstract_txt:logical in 869) [ClassicSimilarity], result of:
           0.05314167 = score(doc=869,freq=1.0), product of:
             0.15745664 = queryWeight, product of:
               1.2149726 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.020999473 = queryNorm
             0.33750033 = fieldWeight in 869, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.0546875 = fieldNorm(doc=869)
         0.06737978 = weight(abstract_txt:mathematics in 869) [ClassicSimilarity], result of:
           0.06737978 = score(doc=869,freq=1.0), product of:
             0.18445507 = queryWeight, product of:
               1.3150167 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.020999473 = queryNorm
             0.36529103 = fieldWeight in 869, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0546875 = fieldNorm(doc=869)
         0.07567876 = weight(abstract_txt:uncertainty in 869) [ClassicSimilarity], result of:
           0.07567876 = score(doc=869,freq=1.0), product of:
             0.19930592 = queryWeight, product of:
               1.3669294 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.020999473 = queryNorm
             0.37971154 = fieldWeight in 869, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.0546875 = fieldNorm(doc=869)
         0.24534778 = weight(abstract_txt:logic in 869) [ClassicSimilarity], result of:
           0.24534778 = score(doc=869,freq=5.0), product of:
             0.32167128 = queryWeight, product of:
               2.45588 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.020999473 = queryNorm
             0.7627283 = fieldWeight in 869, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0546875 = fieldNorm(doc=869)
       0.2 = coord(5/25)