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.23408581 = sum of:
     0.23408581 = product of:
       0.65023834 = sum of:
         0.009738829 = weight(abstract_txt:which in 1691) [ClassicSimilarity], result of:
           0.009738829 = score(doc=1691,freq=4.0), product of:
             0.030558394 = queryWeight, product of:
               2.9137893 = idf(docFreq=6552, maxDocs=44421)
               0.01048751 = queryNorm
             0.3186957 = fieldWeight in 1691, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.9137893 = idf(docFreq=6552, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.01671133 = weight(abstract_txt:different in 1691) [ClassicSimilarity], result of:
           0.01671133 = score(doc=1691,freq=3.0), product of:
             0.04820732 = queryWeight, product of:
               1.2560046 = boost
               3.6597328 = idf(docFreq=3107, maxDocs=44421)
               0.01048751 = queryNorm
             0.34665546 = fieldWeight in 1691, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.6597328 = idf(docFreq=3107, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.018295426 = weight(abstract_txt:theory in 1691) [ClassicSimilarity], result of:
           0.018295426 = score(doc=1691,freq=1.0), product of:
             0.07385407 = queryWeight, product of:
               1.5546117 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.01048751 = queryNorm
             0.24772403 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.071262054 = weight(abstract_txt:computational in 1691) [ClassicSimilarity], result of:
           0.071262054 = score(doc=1691,freq=2.0), product of:
             0.14511365 = queryWeight, product of:
               2.1791587 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.01048751 = queryNorm
             0.49107754 = fieldWeight in 1691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.062611304 = weight(abstract_txt:programming in 1691) [ClassicSimilarity], result of:
           0.062611304 = score(doc=1691,freq=1.0), product of:
             0.16771859 = queryWeight, product of:
               2.3427467 = boost
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.01048751 = queryNorm
             0.37331164 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.017546156 = weight(abstract_txt:from in 1691) [ClassicSimilarity], result of:
           0.017546156 = score(doc=1691,freq=2.0), product of:
             0.08221754 = queryWeight, product of:
               2.8410416 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.01048751 = queryNorm
             0.21341136 = fieldWeight in 1691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.06233243 = weight(abstract_txt:concept in 1691) [ClassicSimilarity], result of:
           0.06233243 = score(doc=1691,freq=3.0), product of:
             0.1460803 = queryWeight, product of:
               3.0920432 = boost
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.01048751 = queryNorm
             0.42669976 = fieldWeight in 1691, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.21363743 = weight(abstract_txt:logic in 1691) [ClassicSimilarity], result of:
           0.21363743 = score(doc=1691,freq=5.0), product of:
             0.2800814 = queryWeight, product of:
               4.28146 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.01048751 = queryNorm
             0.7627691 = fieldWeight in 1691, 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=1691)
         0.17810339 = weight(abstract_txt:learning in 1691) [ClassicSimilarity], result of:
           0.17810339 = score(doc=1691,freq=2.0), product of:
             0.48562524 = queryWeight, product of:
               9.764747 = boost
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.01048751 = queryNorm
             0.3667507 = fieldWeight in 1691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
       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.169183 = sum of:
     0.169183 = product of:
       0.7049292 = sum of:
         0.035265032 = weight(abstract_txt:problem in 5863) [ClassicSimilarity], result of:
           0.035265032 = score(doc=5863,freq=2.0), product of:
             0.07157548 = queryWeight, product of:
               1.530442 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.01048751 = queryNorm
             0.49269712 = fieldWeight in 5863, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.078125 = fieldNorm(doc=5863)
         0.12649393 = weight(abstract_txt:programming in 5863) [ClassicSimilarity], result of:
           0.12649393 = score(doc=5863,freq=2.0), product of:
             0.16771859 = queryWeight, product of:
               2.3427467 = boost
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.01048751 = queryNorm
             0.75420344 = fieldWeight in 5863, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.078125 = fieldNorm(doc=5863)
         0.12718295 = weight(abstract_txt:inductive in 5863) [ClassicSimilarity], result of:
           0.12718295 = score(doc=5863,freq=1.0), product of:
             0.21207882 = queryWeight, product of:
               2.6344101 = boost
               7.676116 = idf(docFreq=55, maxDocs=44421)
               0.01048751 = queryNorm
             0.5996966 = fieldWeight in 5863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.676116 = idf(docFreq=55, maxDocs=44421)
               0.078125 = fieldNorm(doc=5863)
         0.025065938 = weight(abstract_txt:from in 5863) [ClassicSimilarity], result of:
           0.025065938 = score(doc=5863,freq=2.0), product of:
             0.08221754 = queryWeight, product of:
               2.8410416 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.01048751 = queryNorm
             0.30487338 = fieldWeight in 5863, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.078125 = fieldNorm(doc=5863)
         0.13648795 = weight(abstract_txt:logic in 5863) [ClassicSimilarity], result of:
           0.13648795 = score(doc=5863,freq=1.0), product of:
             0.2800814 = queryWeight, product of:
               4.28146 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.01048751 = queryNorm
             0.4873153 = fieldWeight in 5863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=5863)
         0.2544334 = weight(abstract_txt:learning in 5863) [ClassicSimilarity], result of:
           0.2544334 = score(doc=5863,freq=2.0), product of:
             0.48562524 = queryWeight, product of:
               9.764747 = boost
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.01048751 = queryNorm
             0.52392954 = fieldWeight in 5863, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.078125 = fieldNorm(doc=5863)
       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.14

   0.14427613 = sum of:
     0.14427613 = product of:
       0.7213806 = sum of:
         0.035265032 = weight(abstract_txt:problem in 4149) [ClassicSimilarity], result of:
           0.035265032 = score(doc=4149,freq=2.0), product of:
             0.07157548 = queryWeight, product of:
               1.530442 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.01048751 = queryNorm
             0.49269712 = fieldWeight in 4149, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.078125 = fieldNorm(doc=4149)
         0.22028731 = weight(abstract_txt:inductive in 4149) [ClassicSimilarity], result of:
           0.22028731 = score(doc=4149,freq=3.0), product of:
             0.21207882 = queryWeight, product of:
               2.6344101 = boost
               7.676116 = idf(docFreq=55, maxDocs=44421)
               0.01048751 = queryNorm
             1.0387049 = fieldWeight in 4149, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               7.676116 = idf(docFreq=55, maxDocs=44421)
               0.078125 = fieldNorm(doc=4149)
         0.017724296 = weight(abstract_txt:from in 4149) [ClassicSimilarity], result of:
           0.017724296 = score(doc=4149,freq=1.0), product of:
             0.08221754 = queryWeight, product of:
               2.8410416 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.01048751 = queryNorm
             0.21557805 = fieldWeight in 4149, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.078125 = fieldNorm(doc=4149)
         0.13648795 = weight(abstract_txt:logic in 4149) [ClassicSimilarity], result of:
           0.13648795 = score(doc=4149,freq=1.0), product of:
             0.2800814 = queryWeight, product of:
               4.28146 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.01048751 = queryNorm
             0.4873153 = fieldWeight in 4149, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=4149)
         0.31161603 = weight(abstract_txt:learning in 4149) [ClassicSimilarity], result of:
           0.31161603 = score(doc=4149,freq=3.0), product of:
             0.48562524 = queryWeight, product of:
               9.764747 = boost
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.01048751 = queryNorm
             0.64168006 = fieldWeight in 4149, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.078125 = fieldNorm(doc=4149)
       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.14313568 = sum of:
     0.14313568 = product of:
       0.44729903 = sum of:
         0.0048694145 = weight(abstract_txt:which in 963) [ClassicSimilarity], result of:
           0.0048694145 = score(doc=963,freq=1.0), product of:
             0.030558394 = queryWeight, product of:
               2.9137893 = idf(docFreq=6552, maxDocs=44421)
               0.01048751 = queryNorm
             0.15934785 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.9137893 = idf(docFreq=6552, maxDocs=44421)
               0.0546875 = fieldNorm(doc=963)
         0.018295426 = weight(abstract_txt:theory in 963) [ClassicSimilarity], result of:
           0.018295426 = score(doc=963,freq=1.0), product of:
             0.07385407 = queryWeight, product of:
               1.5546117 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.01048751 = queryNorm
             0.24772403 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.0546875 = fieldNorm(doc=963)
         0.048772458 = weight(abstract_txt:turn in 963) [ClassicSimilarity], result of:
           0.048772458 = score(doc=963,freq=1.0), product of:
             0.14199154 = queryWeight, product of:
               2.155589 = boost
               6.2809324 = idf(docFreq=225, maxDocs=44421)
               0.01048751 = queryNorm
             0.34348848 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2809324 = idf(docFreq=225, maxDocs=44421)
               0.0546875 = fieldNorm(doc=963)
         0.071262054 = weight(abstract_txt:computational in 963) [ClassicSimilarity], result of:
           0.071262054 = score(doc=963,freq=2.0), product of:
             0.14511365 = queryWeight, product of:
               2.1791587 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.01048751 = queryNorm
             0.49107754 = fieldWeight in 963, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.0546875 = fieldNorm(doc=963)
         0.017546156 = weight(abstract_txt:from in 963) [ClassicSimilarity], result of:
           0.017546156 = score(doc=963,freq=2.0), product of:
             0.08221754 = queryWeight, product of:
               2.8410416 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.01048751 = queryNorm
             0.21341136 = fieldWeight in 963, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.0546875 = fieldNorm(doc=963)
         0.14011773 = weight(abstract_txt:formulates in 963) [ClassicSimilarity], result of:
           0.14011773 = score(doc=963,freq=1.0), product of:
             0.28695124 = queryWeight, product of:
               3.064353 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.01048751 = queryNorm
             0.48829806 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.0546875 = fieldNorm(doc=963)
         0.050894216 = weight(abstract_txt:concept in 963) [ClassicSimilarity], result of:
           0.050894216 = score(doc=963,freq=2.0), product of:
             0.1460803 = queryWeight, product of:
               3.0920432 = boost
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.01048751 = queryNorm
             0.3483989 = fieldWeight in 963, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.0546875 = fieldNorm(doc=963)
         0.09554156 = weight(abstract_txt:logic in 963) [ClassicSimilarity], result of:
           0.09554156 = score(doc=963,freq=1.0), product of:
             0.2800814 = queryWeight, product of:
               4.28146 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.01048751 = queryNorm
             0.3411207 = fieldWeight in 963, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0546875 = fieldNorm(doc=963)
       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.13974996 = sum of:
     0.13974996 = product of:
       0.5822915 = sum of:
         0.02387333 = weight(abstract_txt:different in 3981) [ClassicSimilarity], result of:
           0.02387333 = score(doc=3981,freq=3.0), product of:
             0.04820732 = queryWeight, product of:
               1.2560046 = boost
               3.6597328 = idf(docFreq=3107, maxDocs=44421)
               0.01048751 = queryNorm
             0.4952221 = fieldWeight in 3981, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.6597328 = idf(docFreq=3107, maxDocs=44421)
               0.078125 = fieldNorm(doc=3981)
         0.06334627 = weight(abstract_txt:setting in 3981) [ClassicSimilarity], result of:
           0.06334627 = score(doc=3981,freq=1.0), product of:
             0.13325763 = queryWeight, product of:
               2.0882418 = boost
               6.0846963 = idf(docFreq=274, maxDocs=44421)
               0.01048751 = queryNorm
             0.4753669 = fieldWeight in 3981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0846963 = idf(docFreq=274, maxDocs=44421)
               0.078125 = fieldNorm(doc=3981)
         0.06611351 = weight(abstract_txt:analyzes in 3981) [ClassicSimilarity], result of:
           0.06611351 = score(doc=3981,freq=1.0), product of:
             0.13711075 = queryWeight, product of:
               2.1182172 = boost
               6.1720386 = idf(docFreq=251, maxDocs=44421)
               0.01048751 = queryNorm
             0.48219052 = fieldWeight in 3981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1720386 = idf(docFreq=251, maxDocs=44421)
               0.078125 = fieldNorm(doc=3981)
         0.017724296 = weight(abstract_txt:from in 3981) [ClassicSimilarity], result of:
           0.017724296 = score(doc=3981,freq=1.0), product of:
             0.08221754 = queryWeight, product of:
               2.8410416 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.01048751 = queryNorm
             0.21557805 = fieldWeight in 3981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.078125 = fieldNorm(doc=3981)
         0.05141092 = weight(abstract_txt:concept in 3981) [ClassicSimilarity], result of:
           0.05141092 = score(doc=3981,freq=1.0), product of:
             0.1460803 = queryWeight, product of:
               3.0920432 = boost
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.01048751 = queryNorm
             0.35193604 = fieldWeight in 3981, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.078125 = fieldNorm(doc=3981)
         0.3598232 = weight(abstract_txt:learning in 3981) [ClassicSimilarity], result of:
           0.3598232 = score(doc=3981,freq=4.0), product of:
             0.48562524 = queryWeight, product of:
               9.764747 = boost
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.01048751 = queryNorm
             0.7409483 = fieldWeight in 3981, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.078125 = fieldNorm(doc=3981)
       0.24 = coord(6/25)