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.19195528 = sum of:
     0.19195528 = product of:
       0.9597764 = sum of:
         0.022731325 = weight(abstract_txt:methods in 1119) [ClassicSimilarity], result of:
           0.022731325 = score(doc=1119,freq=1.0), product of:
             0.04388845 = queryWeight, product of:
               1.211184 = boost
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.008745318 = queryNorm
             0.5179341 = fieldWeight in 1119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.125 = fieldNorm(doc=1119)
         0.063390166 = weight(abstract_txt:intelligence in 1119) [ClassicSimilarity], result of:
           0.063390166 = score(doc=1119,freq=1.0), product of:
             0.08695242 = queryWeight, product of:
               1.7048095 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.008745318 = queryNorm
             0.7290213 = fieldWeight in 1119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.125 = fieldNorm(doc=1119)
         0.07048072 = weight(abstract_txt:artificial in 1119) [ClassicSimilarity], result of:
           0.07048072 = score(doc=1119,freq=1.0), product of:
             0.09332127 = queryWeight, product of:
               1.7661408 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.008745318 = queryNorm
             0.7552482 = fieldWeight in 1119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.125 = fieldNorm(doc=1119)
         0.08551514 = weight(abstract_txt:knowledge in 1119) [ClassicSimilarity], result of:
           0.08551514 = score(doc=1119,freq=1.0), product of:
             0.1929062 = queryWeight, product of:
               6.219905 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.008745318 = queryNorm
             0.44329908 = fieldWeight in 1119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.125 = fieldNorm(doc=1119)
         0.71765906 = weight(abstract_txt:compilation in 1119) [ClassicSimilarity], result of:
           0.71765906 = score(doc=1119,freq=1.0), product of:
             0.74966836 = queryWeight, product of:
               11.193209 = boost
               7.6584163 = idf(docFreq=56, maxDocs=44421)
               0.008745318 = queryNorm
             0.95730203 = fieldWeight in 1119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.6584163 = idf(docFreq=56, maxDocs=44421)
               0.125 = fieldNorm(doc=1119)
       0.2 = coord(5/25)
   

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

   0.1391934 = sum of:
     0.1391934 = product of:
       1.159945 = sum of:
         0.029530408 = weight(abstract_txt:discusses in 2616) [ClassicSimilarity], result of:
           0.029530408 = score(doc=2616,freq=1.0), product of:
             0.0398767 = queryWeight, product of:
               1.1545018 = boost
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.008745318 = queryNorm
             0.74054295 = fieldWeight in 2616, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.1875 = fieldNorm(doc=2616)
         0.05392616 = weight(abstract_txt:problems in 2616) [ClassicSimilarity], result of:
           0.05392616 = score(doc=2616,freq=2.0), product of:
             0.047285635 = queryWeight, product of:
               1.2571863 = boost
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.008745318 = queryNorm
             1.1404343 = fieldWeight in 2616, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.1875 = fieldNorm(doc=2616)
         1.0764885 = weight(abstract_txt:compilation in 2616) [ClassicSimilarity], result of:
           1.0764885 = score(doc=2616,freq=1.0), product of:
             0.74966836 = queryWeight, product of:
               11.193209 = boost
               7.6584163 = idf(docFreq=56, maxDocs=44421)
               0.008745318 = queryNorm
             1.435953 = fieldWeight in 2616, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.6584163 = idf(docFreq=56, maxDocs=44421)
               0.1875 = fieldNorm(doc=2616)
       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.124682024 = sum of:
     0.124682024 = product of:
       0.77926266 = sum of:
         0.013451224 = weight(abstract_txt:results in 1464) [ClassicSimilarity], result of:
           0.013451224 = score(doc=1464,freq=1.0), product of:
             0.030934393 = queryWeight, product of:
               1.0168475 = boost
               3.4786456 = idf(docFreq=3724, maxDocs=44421)
               0.008745318 = queryNorm
             0.4348307 = fieldWeight in 1464, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4786456 = idf(docFreq=3724, maxDocs=44421)
               0.125 = fieldNorm(doc=1464)
         0.022731325 = weight(abstract_txt:methods in 1464) [ClassicSimilarity], result of:
           0.022731325 = score(doc=1464,freq=1.0), product of:
             0.04388845 = queryWeight, product of:
               1.211184 = boost
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.008745318 = queryNorm
             0.5179341 = fieldWeight in 1464, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.125 = fieldNorm(doc=1464)
         0.025421036 = weight(abstract_txt:problems in 1464) [ClassicSimilarity], result of:
           0.025421036 = score(doc=1464,freq=1.0), product of:
             0.047285635 = queryWeight, product of:
               1.2571863 = boost
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.008745318 = queryNorm
             0.5376059 = fieldWeight in 1464, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.300847 = idf(docFreq=1636, maxDocs=44421)
               0.125 = fieldNorm(doc=1464)
         0.71765906 = weight(abstract_txt:compilation in 1464) [ClassicSimilarity], result of:
           0.71765906 = score(doc=1464,freq=1.0), product of:
             0.74966836 = queryWeight, product of:
               11.193209 = boost
               7.6584163 = idf(docFreq=56, maxDocs=44421)
               0.008745318 = queryNorm
             0.95730203 = fieldWeight in 1464, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.6584163 = idf(docFreq=56, maxDocs=44421)
               0.125 = fieldNorm(doc=1464)
       0.16 = coord(4/25)
   

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

   0.11510956 = sum of:
     0.11510956 = product of:
       0.7194348 = sum of:
         0.017226072 = weight(abstract_txt:discusses in 1954) [ClassicSimilarity], result of:
           0.017226072 = score(doc=1954,freq=1.0), product of:
             0.0398767 = queryWeight, product of:
               1.1545018 = boost
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.008745318 = queryNorm
             0.43198338 = fieldWeight in 1954, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.109375 = fieldNorm(doc=1954)
         0.019889908 = weight(abstract_txt:methods in 1954) [ClassicSimilarity], result of:
           0.019889908 = score(doc=1954,freq=1.0), product of:
             0.04388845 = queryWeight, product of:
               1.211184 = boost
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.008745318 = queryNorm
             0.45319232 = fieldWeight in 1954, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.109375 = fieldNorm(doc=1954)
         0.05436713 = weight(abstract_txt:scope in 1954) [ClassicSimilarity], result of:
           0.05436713 = score(doc=1954,freq=1.0), product of:
             0.08579974 = queryWeight, product of:
               1.6934719 = boost
               5.7933846 = idf(docFreq=367, maxDocs=44421)
               0.008745318 = queryNorm
             0.63365144 = fieldWeight in 1954, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7933846 = idf(docFreq=367, maxDocs=44421)
               0.109375 = fieldNorm(doc=1954)
         0.6279517 = weight(abstract_txt:compilation in 1954) [ClassicSimilarity], result of:
           0.6279517 = score(doc=1954,freq=1.0), product of:
             0.74966836 = queryWeight, product of:
               11.193209 = boost
               7.6584163 = idf(docFreq=56, maxDocs=44421)
               0.008745318 = queryNorm
             0.8376393 = fieldWeight in 1954, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.6584163 = idf(docFreq=56, maxDocs=44421)
               0.109375 = fieldNorm(doc=1954)
       0.16 = coord(4/25)
   

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

   0.10639727 = sum of:
     0.10639727 = product of:
       0.44332197 = sum of:
         0.009595234 = weight(abstract_txt:such in 1031) [ClassicSimilarity], result of:
           0.009595234 = score(doc=1031,freq=1.0), product of:
             0.029917821 = queryWeight, product of:
               3.42101 = idf(docFreq=3945, maxDocs=44421)
               0.008745318 = queryNorm
             0.3207197 = fieldWeight in 1031, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.42101 = idf(docFreq=3945, maxDocs=44421)
               0.09375 = fieldNorm(doc=1031)
         0.017048493 = weight(abstract_txt:methods in 1031) [ClassicSimilarity], result of:
           0.017048493 = score(doc=1031,freq=1.0), product of:
             0.04388845 = queryWeight, product of:
               1.211184 = boost
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.008745318 = queryNorm
             0.38845056 = fieldWeight in 1031, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.09375 = fieldNorm(doc=1031)
         0.046600394 = weight(abstract_txt:scope in 1031) [ClassicSimilarity], result of:
           0.046600394 = score(doc=1031,freq=1.0), product of:
             0.08579974 = queryWeight, product of:
               1.6934719 = boost
               5.7933846 = idf(docFreq=367, maxDocs=44421)
               0.008745318 = queryNorm
             0.5431298 = fieldWeight in 1031, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7933846 = idf(docFreq=367, maxDocs=44421)
               0.09375 = fieldNorm(doc=1031)
         0.11826767 = weight(abstract_txt:surveys in 1031) [ClassicSimilarity], result of:
           0.11826767 = score(doc=1031,freq=1.0), product of:
             0.20113158 = queryWeight, product of:
               3.6668246 = boost
               6.272122 = idf(docFreq=227, maxDocs=44421)
               0.008745318 = queryNorm
             0.58801144 = fieldWeight in 1031, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.272122 = idf(docFreq=227, maxDocs=44421)
               0.09375 = fieldNorm(doc=1031)
         0.12353746 = weight(abstract_txt:bases in 1031) [ClassicSimilarity], result of:
           0.12353746 = score(doc=1031,freq=1.0), product of:
             0.20706277 = queryWeight, product of:
               3.7204976 = boost
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.008745318 = queryNorm
             0.5966184 = fieldWeight in 1031, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.09375 = fieldNorm(doc=1031)
         0.12827271 = weight(abstract_txt:knowledge in 1031) [ClassicSimilarity], result of:
           0.12827271 = score(doc=1031,freq=4.0), product of:
             0.1929062 = queryWeight, product of:
               6.219905 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.008745318 = queryNorm
             0.66494864 = fieldWeight in 1031, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.09375 = fieldNorm(doc=1031)
       0.24 = coord(6/25)