Document (#28781)

Author

DeRaedt, L.

Title

Logical settings for concept-learning

Source

Artificial intelligence. 95(1997) no.1, S.187-201

Year

1997

Abstract

Analyzes 3 different formalisations of concept-learning in logic. Learning from interpretations reduces to learning from entailment, which in turn reduces to learning from satisfiability. Discusses the implications for inductive logic programming and computational learning theory and formulates guidelines for choosing a problem-setting method

Similar documents (content)

1. Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 (2000) 0.23

   0.23419556 = sum of:
     0.23419556 = product of:
       0.6505432 = sum of:
         0.009747726 = weight(abstract_txt:which in 691) [ClassicSimilarity], result of:
           0.009747726 = score(doc=691,freq=4.0), product of:
             0.030555632 = queryWeight, product of:
               2.9167147 = idf(docFreq=6503, maxDocs=44218)
               0.010476044 = queryNorm
             0.31901568 = fieldWeight in 691, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.9167147 = idf(docFreq=6503, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.016755307 = weight(abstract_txt:different in 691) [ClassicSimilarity], result of:
           0.016755307 = score(doc=691,freq=3.0), product of:
             0.048258103 = queryWeight, product of:
               1.2567228 = boost
               3.6655018 = idf(docFreq=3075, maxDocs=44218)
               0.010476044 = queryNorm
             0.34720194 = fieldWeight in 691, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.6655018 = idf(docFreq=3075, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.018332532 = weight(abstract_txt:theory in 691) [ClassicSimilarity], result of:
           0.018332532 = score(doc=691,freq=1.0), product of:
             0.073902205 = queryWeight, product of:
               1.5551885 = boost
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.010476044 = queryNorm
             0.24806476 = fieldWeight in 691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.071440496 = weight(abstract_txt:computational in 691) [ClassicSimilarity], result of:
           0.071440496 = score(doc=691,freq=2.0), product of:
             0.14525421 = queryWeight, product of:
               2.1803124 = boost
               6.3593493 = idf(docFreq=207, maxDocs=44218)
               0.010476044 = queryNorm
             0.49183083 = fieldWeight in 691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3593493 = idf(docFreq=207, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.062564805 = weight(abstract_txt:programming in 691) [ClassicSimilarity], result of:
           0.062564805 = score(doc=691,freq=1.0), product of:
             0.16751838 = queryWeight, product of:
               2.3414538 = boost
               6.829353 = idf(docFreq=129, maxDocs=44218)
               0.010476044 = queryNorm
             0.37348023 = fieldWeight in 691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.829353 = idf(docFreq=129, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.017594887 = weight(abstract_txt:from in 691) [ClassicSimilarity], result of:
           0.017594887 = score(doc=691,freq=2.0), product of:
             0.08231213 = queryWeight, product of:
               2.842804 = boost
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.010476044 = queryNorm
             0.21375814 = fieldWeight in 691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.062229868 = weight(abstract_txt:concept in 691) [ClassicSimilarity], result of:
           0.062229868 = score(doc=691,freq=3.0), product of:
             0.14581804 = queryWeight, product of:
               3.089406 = boost
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.010476044 = queryNorm
             0.42676386 = fieldWeight in 691, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
         0.2131556 = weight(abstract_txt:logic in 691) [ClassicSimilarity], result of:
           0.2131556 = score(doc=691,freq=5.0), product of:
             0.27946466 = queryWeight, product of:
               4.2769365 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.010476044 = queryNorm
             0.7627283 = fieldWeight in 691, 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=691)
         0.17872198 = weight(abstract_txt:learning in 691) [ClassicSimilarity], result of:
           0.17872198 = score(doc=691,freq=2.0), product of:
             0.48640886 = queryWeight, product of:
               9.773064 = boost
               4.750873 = idf(docFreq=1038, maxDocs=44218)
               0.010476044 = queryNorm
             0.36743158 = fieldWeight in 691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.750873 = idf(docFreq=1038, maxDocs=44218)
               0.0546875 = fieldNorm(doc=691)
       0.36 = coord(9/25)
   

2. Wong, M.L.; Leung, K.S.; Cheng, J.C.Y.: Discovering knowledge from noisy databases using genetic programming (2000) 0.17

   0.16984518 = sum of:
     0.16984518 = product of:
       0.7076883 = sum of:
         0.03521868 = weight(abstract_txt:problem in 4863) [ClassicSimilarity], result of:
           0.03521868 = score(doc=4863,freq=2.0), product of:
             0.071462765 = queryWeight, product of:
               1.5293056 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.010476044 = queryNorm
             0.49282557 = fieldWeight in 4863, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.078125 = fieldNorm(doc=4863)
         0.1264 = weight(abstract_txt:programming in 4863) [ClassicSimilarity], result of:
           0.1264 = score(doc=4863,freq=2.0), product of:
             0.16751838 = queryWeight, product of:
               2.3414538 = boost
               6.829353 = idf(docFreq=129, maxDocs=44218)
               0.010476044 = queryNorm
             0.754544 = fieldWeight in 4863, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.829353 = idf(docFreq=129, maxDocs=44218)
               0.078125 = fieldNorm(doc=4863)
         0.12943684 = weight(abstract_txt:inductive in 4863) [ClassicSimilarity], result of:
           0.12943684 = score(doc=4863,freq=1.0), product of:
             0.21442711 = queryWeight, product of:
               2.6490748 = boost
               7.7265954 = idf(docFreq=52, maxDocs=44218)
               0.010476044 = queryNorm
             0.60364026 = fieldWeight in 4863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.7265954 = idf(docFreq=52, maxDocs=44218)
               0.078125 = fieldNorm(doc=4863)
         0.025135554 = weight(abstract_txt:from in 4863) [ClassicSimilarity], result of:
           0.025135554 = score(doc=4863,freq=2.0), product of:
             0.08231213 = queryWeight, product of:
               2.842804 = boost
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.010476044 = queryNorm
             0.30536878 = fieldWeight in 4863, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.078125 = fieldNorm(doc=4863)
         0.1361801 = weight(abstract_txt:logic in 4863) [ClassicSimilarity], result of:
           0.1361801 = score(doc=4863,freq=1.0), product of:
             0.27946466 = queryWeight, product of:
               4.2769365 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.010476044 = queryNorm
             0.4872892 = fieldWeight in 4863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=4863)
         0.25531712 = weight(abstract_txt:learning in 4863) [ClassicSimilarity], result of:
           0.25531712 = score(doc=4863,freq=2.0), product of:
             0.48640886 = queryWeight, product of:
               9.773064 = boost
               4.750873 = idf(docFreq=1038, maxDocs=44218)
               0.010476044 = queryNorm
             0.5249023 = fieldWeight in 4863, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.750873 = idf(docFreq=1038, maxDocs=44218)
               0.078125 = fieldNorm(doc=4863)
       0.24 = coord(6/25)
   

3. Cortex, E.M.; Park, S.C.; Kim, S.: ¬The hybrid application of an inductive learning method and a neural network for intelligent information retrieval (1995) 0.15

   0.14521235 = sum of:
     0.14521235 = product of:
       0.72606176 = sum of:
         0.03521868 = weight(abstract_txt:problem in 4081) [ClassicSimilarity], result of:
           0.03521868 = score(doc=4081,freq=2.0), product of:
             0.071462765 = queryWeight, product of:
               1.5293056 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.010476044 = queryNorm
             0.49282557 = fieldWeight in 4081, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.078125 = fieldNorm(doc=4081)
         0.22419117 = weight(abstract_txt:inductive in 4081) [ClassicSimilarity], result of:
           0.22419117 = score(doc=4081,freq=3.0), product of:
             0.21442711 = queryWeight, product of:
               2.6490748 = boost
               7.7265954 = idf(docFreq=52, maxDocs=44218)
               0.010476044 = queryNorm
             1.0455356 = fieldWeight in 4081, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               7.7265954 = idf(docFreq=52, maxDocs=44218)
               0.078125 = fieldNorm(doc=4081)
         0.01777352 = weight(abstract_txt:from in 4081) [ClassicSimilarity], result of:
           0.01777352 = score(doc=4081,freq=1.0), product of:
             0.08231213 = queryWeight, product of:
               2.842804 = boost
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.010476044 = queryNorm
             0.21592833 = fieldWeight in 4081, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.078125 = fieldNorm(doc=4081)
         0.1361801 = weight(abstract_txt:logic in 4081) [ClassicSimilarity], result of:
           0.1361801 = score(doc=4081,freq=1.0), product of:
             0.27946466 = queryWeight, product of:
               4.2769365 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.010476044 = queryNorm
             0.4872892 = fieldWeight in 4081, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=4081)
         0.3126983 = weight(abstract_txt:learning in 4081) [ClassicSimilarity], result of:
           0.3126983 = score(doc=4081,freq=3.0), product of:
             0.48640886 = queryWeight, product of:
               9.773064 = boost
               4.750873 = idf(docFreq=1038, maxDocs=44218)
               0.010476044 = queryNorm
             0.6428713 = fieldWeight in 4081, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.750873 = idf(docFreq=1038, maxDocs=44218)
               0.078125 = fieldNorm(doc=4081)
       0.2 = coord(5/25)
   

4. Brier, S.: Cybersemiotics and the problems of the information-processing paradigm as a candidate for a unified science of information behind library information science (2004) 0.14

   0.1429959 = sum of:
     0.1429959 = product of:
       0.44686216 = sum of:
         0.004873863 = weight(abstract_txt:which in 838) [ClassicSimilarity], result of:
           0.004873863 = score(doc=838,freq=1.0), product of:
             0.030555632 = queryWeight, product of:
               2.9167147 = idf(docFreq=6503, maxDocs=44218)
               0.010476044 = queryNorm
             0.15950784 = fieldWeight in 838, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.9167147 = idf(docFreq=6503, maxDocs=44218)
               0.0546875 = fieldNorm(doc=838)
         0.018332532 = weight(abstract_txt:theory in 838) [ClassicSimilarity], result of:
           0.018332532 = score(doc=838,freq=1.0), product of:
             0.073902205 = queryWeight, product of:
               1.5551885 = boost
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.010476044 = queryNorm
             0.24806476 = fieldWeight in 838, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.0546875 = fieldNorm(doc=838)
         0.048874736 = weight(abstract_txt:turn in 838) [ClassicSimilarity], result of:
           0.048874736 = score(doc=838,freq=1.0), product of:
             0.1420906 = queryWeight, product of:
               2.1564384 = boost
               6.2897153 = idf(docFreq=222, maxDocs=44218)
               0.010476044 = queryNorm
             0.3439688 = fieldWeight in 838, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2897153 = idf(docFreq=222, maxDocs=44218)
               0.0546875 = fieldNorm(doc=838)
         0.071440496 = weight(abstract_txt:computational in 838) [ClassicSimilarity], result of:
           0.071440496 = score(doc=838,freq=2.0), product of:
             0.14525421 = queryWeight, product of:
               2.1803124 = boost
               6.3593493 = idf(docFreq=207, maxDocs=44218)
               0.010476044 = queryNorm
             0.49183083 = fieldWeight in 838, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3593493 = idf(docFreq=207, maxDocs=44218)
               0.0546875 = fieldNorm(doc=838)
         0.017594887 = weight(abstract_txt:from in 838) [ClassicSimilarity], result of:
           0.017594887 = score(doc=838,freq=2.0), product of:
             0.08231213 = queryWeight, product of:
               2.842804 = boost
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.010476044 = queryNorm
             0.21375814 = fieldWeight in 838, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.0546875 = fieldNorm(doc=838)
         0.13960908 = weight(abstract_txt:formulates in 838) [ClassicSimilarity], result of:
           0.13960908 = score(doc=838,freq=1.0), product of:
             0.2860563 = queryWeight, product of:
               3.059709 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.010476044 = queryNorm
             0.48804757 = fieldWeight in 838, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.0546875 = fieldNorm(doc=838)
         0.05081047 = weight(abstract_txt:concept in 838) [ClassicSimilarity], result of:
           0.05081047 = score(doc=838,freq=2.0), product of:
             0.14581804 = queryWeight, product of:
               3.089406 = boost
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.010476044 = queryNorm
             0.3484512 = fieldWeight in 838, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.0546875 = fieldNorm(doc=838)
         0.09532608 = weight(abstract_txt:logic in 838) [ClassicSimilarity], result of:
           0.09532608 = score(doc=838,freq=1.0), product of:
             0.27946466 = queryWeight, product of:
               4.2769365 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.010476044 = queryNorm
             0.34110245 = fieldWeight in 838, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0546875 = fieldNorm(doc=838)
       0.32 = coord(8/25)
   

5. Bueno-de-la-Fuente, G.; Hernández-Pérez, T.; Rodríguez-Mateos, D.; Méndez-Rodríguez, E.M.; Martín-Galán, B.: Study on the use of metadata for digital learning objects in University Institutional Repositories (MODERI) (2009) 0.14

   0.14006872 = sum of:
     0.14006872 = product of:
       0.5836197 = sum of:
         0.023936152 = weight(abstract_txt:different in 2981) [ClassicSimilarity], result of:
           0.023936152 = score(doc=2981,freq=3.0), product of:
             0.048258103 = queryWeight, product of:
               1.2567228 = boost
               3.6655018 = idf(docFreq=3075, maxDocs=44218)
               0.010476044 = queryNorm
             0.49600276 = fieldWeight in 2981, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.6655018 = idf(docFreq=3075, maxDocs=44218)
               0.078125 = fieldNorm(doc=2981)
         0.06329833 = weight(abstract_txt:setting in 2981) [ClassicSimilarity], result of:
           0.06329833 = score(doc=2981,freq=1.0), product of:
             0.1330973 = queryWeight, product of:
               2.0870795 = boost
               6.087415 = idf(docFreq=272, maxDocs=44218)
               0.010476044 = queryNorm
             0.47557932 = fieldWeight in 2981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.087415 = idf(docFreq=272, maxDocs=44218)
               0.078125 = fieldNorm(doc=2981)
         0.06621243 = weight(abstract_txt:analyzes in 2981) [ClassicSimilarity], result of:
           0.06621243 = score(doc=2981,freq=1.0), product of:
             0.13715157 = queryWeight, product of:
               2.1186283 = boost
               6.1794343 = idf(docFreq=248, maxDocs=44218)
               0.010476044 = queryNorm
             0.4827683 = fieldWeight in 2981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1794343 = idf(docFreq=248, maxDocs=44218)
               0.078125 = fieldNorm(doc=2981)
         0.01777352 = weight(abstract_txt:from in 2981) [ClassicSimilarity], result of:
           0.01777352 = score(doc=2981,freq=1.0), product of:
             0.08231213 = queryWeight, product of:
               2.842804 = boost
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.010476044 = queryNorm
             0.21592833 = fieldWeight in 2981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.7638826 = idf(docFreq=7577, maxDocs=44218)
               0.078125 = fieldNorm(doc=2981)
         0.051326334 = weight(abstract_txt:concept in 2981) [ClassicSimilarity], result of:
           0.051326334 = score(doc=2981,freq=1.0), product of:
             0.14581804 = queryWeight, product of:
               3.089406 = boost
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.010476044 = queryNorm
             0.3519889 = fieldWeight in 2981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.078125 = fieldNorm(doc=2981)
         0.36107293 = weight(abstract_txt:learning in 2981) [ClassicSimilarity], result of:
           0.36107293 = score(doc=2981,freq=4.0), product of:
             0.48640886 = queryWeight, product of:
               9.773064 = boost
               4.750873 = idf(docFreq=1038, maxDocs=44218)
               0.010476044 = queryNorm
             0.74232394 = fieldWeight in 2981, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.750873 = idf(docFreq=1038, maxDocs=44218)
               0.078125 = fieldNorm(doc=2981)
       0.24 = coord(6/25)