Document (#21321)

Author

Cadoli, M.
Donini, F.M.

Title

¬A survey on knowledge compilation

Source

AI communications. 10(1997) nos.3/4, S.137-150

Year

1997

Abstract

Knowledge compilation is an artificial intelligence technique for addressing computationally demanding reasoning problems. Surveys recent results in knowledge compilation of propositional knowledge bases. defines and limits the scope of such a technique, and surveys exact and approximate knowledge compilation methods. discusses a compilation for non-monotonic knowledge bases

Similar documents (content)

1. Ciganik, M.: Inteligencne indexovanie a inteligencne klasifikacie (1994) 0.19

   0.19209681 = sum of:
     0.19209681 = product of:
       0.960484 = sum of:
         0.02278193 = weight(abstract_txt:methods in 1051) [ClassicSimilarity], result of:
           0.02278193 = score(doc=1051,freq=1.0), product of:
             0.043951374 = queryWeight, product of:
               1.2105204 = boost
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.008755729 = queryNorm
             0.518344 = fieldWeight in 1051, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.125 = fieldNorm(doc=1051)
         0.06416884 = weight(abstract_txt:intelligence in 1051) [ClassicSimilarity], result of:
           0.06416884 = score(doc=1051,freq=1.0), product of:
             0.08765867 = queryWeight, product of:
               1.709556 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.008755729 = queryNorm
             0.7320307 = fieldWeight in 1051, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.125 = fieldNorm(doc=1051)
         0.07130235 = weight(abstract_txt:artificial in 1051) [ClassicSimilarity], result of:
           0.07130235 = score(doc=1051,freq=1.0), product of:
             0.09404044 = queryWeight, product of:
               1.7706927 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.008755729 = queryNorm
             0.7582094 = fieldWeight in 1051, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.125 = fieldNorm(doc=1051)
         0.085965805 = weight(abstract_txt:knowledge in 1051) [ClassicSimilarity], result of:
           0.085965805 = score(doc=1051,freq=1.0), product of:
             0.1935737 = queryWeight, product of:
               6.222783 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.008755729 = queryNorm
             0.4440986 = fieldWeight in 1051, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.125 = fieldNorm(doc=1051)
         0.71626514 = weight(abstract_txt:compilation in 1051) [ClassicSimilarity], result of:
           0.71626514 = score(doc=1051,freq=1.0), product of:
             0.74866 = queryWeight, product of:
               11.171544 = boost
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.008755729 = queryNorm
             0.9567295 = fieldWeight in 1051, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.125 = fieldNorm(doc=1051)
       0.2 = coord(5/25)
   

2. Michalek, B.: Klopotliwe zestawienia (1997) 0.14

   0.13892166 = sum of:
     0.13892166 = product of:
       1.1576805 = sum of:
         0.029490877 = weight(abstract_txt:discusses in 1616) [ClassicSimilarity], result of:
           0.029490877 = score(doc=1616,freq=1.0), product of:
             0.03983912 = queryWeight, product of:
               1.1524994 = boost
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.008755729 = queryNorm
             0.7402492 = fieldWeight in 1616, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.1875 = fieldNorm(doc=1616)
         0.05379191 = weight(abstract_txt:problems in 1616) [ClassicSimilarity], result of:
           0.05379191 = score(doc=1616,freq=2.0), product of:
             0.047204774 = queryWeight, product of:
               1.2545236 = boost
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.008755729 = queryNorm
             1.1395439 = fieldWeight in 1616, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.1875 = fieldNorm(doc=1616)
         1.0743977 = weight(abstract_txt:compilation in 1616) [ClassicSimilarity], result of:
           1.0743977 = score(doc=1616,freq=1.0), product of:
             0.74866 = queryWeight, product of:
               11.171544 = boost
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.008755729 = queryNorm
             1.4350942 = fieldWeight in 1616, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.1875 = fieldNorm(doc=1616)
       0.12 = coord(3/25)
   

3. Dovbenko, M.A.; Umanski, A.N.: ¬A comparative analysis of information retrieval thesauri and normalised scientific and technical terminologies with the aim of their coordinated development (1980) 0.12

   0.12446366 = sum of:
     0.12446366 = product of:
       0.7778979 = sum of:
         0.013493063 = weight(abstract_txt:results in 1465) [ClassicSimilarity], result of:
           0.013493063 = score(doc=1465,freq=1.0), product of:
             0.030996962 = queryWeight, product of:
               1.016589 = boost
               3.482422 = idf(docFreq=3693, maxDocs=44218)
               0.008755729 = queryNorm
             0.43530276 = fieldWeight in 1465, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.482422 = idf(docFreq=3693, maxDocs=44218)
               0.125 = fieldNorm(doc=1465)
         0.02278193 = weight(abstract_txt:methods in 1465) [ClassicSimilarity], result of:
           0.02278193 = score(doc=1465,freq=1.0), product of:
             0.043951374 = queryWeight, product of:
               1.2105204 = boost
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.008755729 = queryNorm
             0.518344 = fieldWeight in 1465, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.125 = fieldNorm(doc=1465)
         0.025357751 = weight(abstract_txt:problems in 1465) [ClassicSimilarity], result of:
           0.025357751 = score(doc=1465,freq=1.0), product of:
             0.047204774 = queryWeight, product of:
               1.2545236 = boost
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.008755729 = queryNorm
             0.53718615 = fieldWeight in 1465, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.297489 = idf(docFreq=1634, maxDocs=44218)
               0.125 = fieldNorm(doc=1465)
         0.71626514 = weight(abstract_txt:compilation in 1465) [ClassicSimilarity], result of:
           0.71626514 = score(doc=1465,freq=1.0), product of:
             0.74866 = queryWeight, product of:
               11.171544 = boost
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.008755729 = queryNorm
             0.9567295 = fieldWeight in 1465, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.125 = fieldNorm(doc=1465)
       0.16 = coord(4/25)
   

4. Meng, L.: ¬The creation of [the] Chinese Science Citation Database : status quo and future development (1997) 0.11

   0.11493275 = sum of:
     0.11493275 = product of:
       0.7183297 = sum of:
         0.01720301 = weight(abstract_txt:discusses in 954) [ClassicSimilarity], result of:
           0.01720301 = score(doc=954,freq=1.0), product of:
             0.03983912 = queryWeight, product of:
               1.1524994 = boost
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.008755729 = queryNorm
             0.43181205 = fieldWeight in 954, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.947996 = idf(docFreq=2318, maxDocs=44218)
               0.109375 = fieldNorm(doc=954)
         0.019934189 = weight(abstract_txt:methods in 954) [ClassicSimilarity], result of:
           0.019934189 = score(doc=954,freq=1.0), product of:
             0.043951374 = queryWeight, product of:
               1.2105204 = boost
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.008755729 = queryNorm
             0.453551 = fieldWeight in 954, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.109375 = fieldNorm(doc=954)
         0.05446055 = weight(abstract_txt:scope in 954) [ClassicSimilarity], result of:
           0.05446055 = score(doc=954,freq=1.0), product of:
             0.08589372 = queryWeight, product of:
               1.692258 = boost
               5.79699 = idf(docFreq=364, maxDocs=44218)
               0.008755729 = queryNorm
             0.6340458 = fieldWeight in 954, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.79699 = idf(docFreq=364, maxDocs=44218)
               0.109375 = fieldNorm(doc=954)
         0.626732 = weight(abstract_txt:compilation in 954) [ClassicSimilarity], result of:
           0.626732 = score(doc=954,freq=1.0), product of:
             0.74866 = queryWeight, product of:
               11.171544 = boost
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.008755729 = queryNorm
             0.8371383 = fieldWeight in 954, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.109375 = fieldNorm(doc=954)
       0.16 = coord(4/25)
   

5. Turban, E.; Tan, M.: Methods for knowledge acquisition from multiple records : an assessment (1993) 0.11

   0.10665664 = sum of:
     0.10665664 = product of:
       0.4444027 = sum of:
         0.009632423 = weight(abstract_txt:such in 963) [ClassicSimilarity], result of:
           0.009632423 = score(doc=963,freq=1.0), product of:
             0.029993577 = queryWeight, product of:
               3.4255946 = idf(docFreq=3909, maxDocs=44218)
               0.008755729 = queryNorm
             0.3211495 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4255946 = idf(docFreq=3909, maxDocs=44218)
               0.09375 = fieldNorm(doc=963)
         0.017086448 = weight(abstract_txt:methods in 963) [ClassicSimilarity], result of:
           0.017086448 = score(doc=963,freq=1.0), product of:
             0.043951374 = queryWeight, product of:
               1.2105204 = boost
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.008755729 = queryNorm
             0.388758 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.09375 = fieldNorm(doc=963)
         0.046680473 = weight(abstract_txt:scope in 963) [ClassicSimilarity], result of:
           0.046680473 = score(doc=963,freq=1.0), product of:
             0.08589372 = queryWeight, product of:
               1.692258 = boost
               5.79699 = idf(docFreq=364, maxDocs=44218)
               0.008755729 = queryNorm
             0.5434678 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.79699 = idf(docFreq=364, maxDocs=44218)
               0.09375 = fieldNorm(doc=963)
         0.11823953 = weight(abstract_txt:surveys in 963) [ClassicSimilarity], result of:
           0.11823953 = score(doc=963,freq=1.0), product of:
             0.20108965 = queryWeight, product of:
               3.6618094 = boost
               6.2719374 = idf(docFreq=226, maxDocs=44218)
               0.008755729 = queryNorm
             0.5879941 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2719374 = idf(docFreq=226, maxDocs=44218)
               0.09375 = fieldNorm(doc=963)
         0.1238151 = weight(abstract_txt:bases in 963) [ClassicSimilarity], result of:
           0.1238151 = score(doc=963,freq=1.0), product of:
             0.20736255 = queryWeight, product of:
               3.7184849 = boost
               6.369011 = idf(docFreq=205, maxDocs=44218)
               0.008755729 = queryNorm
             0.5970948 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.369011 = idf(docFreq=205, maxDocs=44218)
               0.09375 = fieldNorm(doc=963)
         0.1289487 = weight(abstract_txt:knowledge in 963) [ClassicSimilarity], result of:
           0.1289487 = score(doc=963,freq=4.0), product of:
             0.1935737 = queryWeight, product of:
               6.222783 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.008755729 = queryNorm
             0.6661479 = fieldWeight in 963, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.09375 = fieldNorm(doc=963)
       0.24 = coord(6/25)