Document (#28779)

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.2338293 = sum of:
      0.2338293 = product of:
        0.6495258 = sum of:
          0.009701138 = weight(abstract_txt:which in 1689) [ClassicSimilarity], result of:
            0.009701138 = score(doc=1689,freq=4.0), product of:
              0.03031242 = queryWeight, product of:
                2.9260652 = idf(docFreq=6346, maxDocs=43556)
                0.010359448 = queryNorm
              0.32003838 = fieldWeight in 1689, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                2.9260652 = idf(docFreq=6346, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1689)
          0.016673194 = weight(abstract_txt:different in 1689) [ClassicSimilarity], result of:
            0.016673194 = score(doc=1689,freq=3.0), product of:
              0.047870096 = queryWeight, product of:
                1.2566717 = boost
                3.6771033 = idf(docFreq=2994, maxDocs=43556)
                0.010359448 = queryNorm
              0.3483008 = fieldWeight in 1689, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.6771033 = idf(docFreq=2994, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1689)
          0.01832612 = weight(abstract_txt:theory in 1689) [ClassicSimilarity], result of:
            0.01832612 = score(doc=1689,freq=1.0), product of:
              0.073531345 = queryWeight, product of:
                1.5574924 = boost
                4.5573244 = idf(docFreq=1241, maxDocs=43556)
                0.010359448 = queryNorm
              0.24922869 = fieldWeight in 1689, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.5573244 = idf(docFreq=1241, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1689)
          0.0724237 = weight(abstract_txt:computational in 1689) [ClassicSimilarity], result of:
            0.0724237 = score(doc=1689,freq=2.0), product of:
              0.14588231 = queryWeight, product of:
                2.1937695 = boost
                6.4191127 = idf(docFreq=192, maxDocs=43556)
                0.010359448 = queryNorm
              0.49645293 = fieldWeight in 1689, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.4191127 = idf(docFreq=192, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1689)
          0.061682142 = weight(abstract_txt:programming in 1689) [ClassicSimilarity], result of:
            0.061682142 = score(doc=1689,freq=1.0), product of:
              0.16514489 = queryWeight, product of:
                2.334115 = boost
                6.8297725 = idf(docFreq=127, maxDocs=43556)
                0.010359448 = queryNorm
              0.37350318 = fieldWeight in 1689, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.8297725 = idf(docFreq=127, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1689)
          0.017602595 = weight(abstract_txt:from in 1689) [ClassicSimilarity], result of:
            0.017602595 = score(doc=1689,freq=2.0), product of:
              0.08194209 = queryWeight, product of:
                2.8477628 = boost
                2.77758 = idf(docFreq=7362, maxDocs=43556)
                0.010359448 = queryNorm
              0.2148175 = fieldWeight in 1689, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.77758 = idf(docFreq=7362, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1689)
          0.061912052 = weight(abstract_txt:concept in 1689) [ClassicSimilarity], result of:
            0.061912052 = score(doc=1689,freq=3.0), product of:
              0.14462562 = queryWeight, product of:
                3.0890667 = boost
                4.5194054 = idf(docFreq=1289, maxDocs=43556)
                0.010359448 = queryNorm
              0.42808497 = fieldWeight in 1689, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.5194054 = idf(docFreq=1289, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1689)
          0.21120082 = weight(abstract_txt:logic in 1689) [ClassicSimilarity], result of:
            0.21120082 = score(doc=1689,freq=5.0), product of:
              0.27642408 = queryWeight, product of:
                4.2706366 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.010359448 = queryNorm
              0.7640464 = fieldWeight in 1689, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1689)
          0.18000406 = weight(abstract_txt:learning in 1689) [ClassicSimilarity], result of:
            0.18000406 = score(doc=1689,freq=2.0), product of:
              0.48639315 = queryWeight, product of:
                9.812034 = boost
                4.7851086 = idf(docFreq=988, maxDocs=43556)
                0.010359448 = queryNorm
              0.37007934 = fieldWeight in 1689, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.7851086 = idf(docFreq=988, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1689)
        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.16924204 = sum of:
      0.16924204 = product of:
        0.70517516 = sum of:
          0.034582935 = weight(abstract_txt:problem in 5861) [ClassicSimilarity], result of:
            0.034582935 = score(doc=5861,freq=2.0), product of:
              0.07026225 = queryWeight, product of:
                1.5224769 = boost
                4.454867 = idf(docFreq=1375, maxDocs=43556)
                0.010359448 = queryNorm
              0.4921979 = fieldWeight in 5861, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.454867 = idf(docFreq=1375, maxDocs=43556)
                0.078125 = fieldNorm(doc=5861)
          0.124616735 = weight(abstract_txt:programming in 5861) [ClassicSimilarity], result of:
            0.124616735 = score(doc=5861,freq=2.0), product of:
              0.16514489 = queryWeight, product of:
                2.334115 = boost
                6.8297725 = idf(docFreq=127, maxDocs=43556)
                0.010359448 = queryNorm
              0.75459033 = fieldWeight in 5861, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.8297725 = idf(docFreq=127, maxDocs=43556)
                0.078125 = fieldNorm(doc=5861)
          0.12874903 = weight(abstract_txt:inductive in 5861) [ClassicSimilarity], result of:
            0.12874903 = score(doc=5861,freq=1.0), product of:
              0.21264417 = queryWeight, product of:
                2.6486003 = boost
                7.749977 = idf(docFreq=50, maxDocs=43556)
                0.010359448 = queryNorm
              0.60546696 = fieldWeight in 5861, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.749977 = idf(docFreq=50, maxDocs=43556)
                0.078125 = fieldNorm(doc=5861)
          0.025146564 = weight(abstract_txt:from in 5861) [ClassicSimilarity], result of:
            0.025146564 = score(doc=5861,freq=2.0), product of:
              0.08194209 = queryWeight, product of:
                2.8477628 = boost
                2.77758 = idf(docFreq=7362, maxDocs=43556)
                0.010359448 = queryNorm
              0.30688214 = fieldWeight in 5861, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.77758 = idf(docFreq=7362, maxDocs=43556)
                0.078125 = fieldNorm(doc=5861)
          0.13493125 = weight(abstract_txt:logic in 5861) [ClassicSimilarity], result of:
            0.13493125 = score(doc=5861,freq=1.0), product of:
              0.27642408 = queryWeight, product of:
                4.2706366 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.010359448 = queryNorm
              0.4881313 = fieldWeight in 5861, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.078125 = fieldNorm(doc=5861)
          0.25714865 = weight(abstract_txt:learning in 5861) [ClassicSimilarity], result of:
            0.25714865 = score(doc=5861,freq=2.0), product of:
              0.48639315 = queryWeight, product of:
                9.812034 = boost
                4.7851086 = idf(docFreq=988, maxDocs=43556)
                0.010359448 = queryNorm
              0.5286848 = fieldWeight in 5861, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.7851086 = idf(docFreq=988, maxDocs=43556)
                0.078125 = fieldNorm(doc=5861)
        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.14504738 = sum of:
      0.14504738 = product of:
        0.7252369 = sum of:
          0.034582935 = weight(abstract_txt:problem in 4147) [ClassicSimilarity], result of:
            0.034582935 = score(doc=4147,freq=2.0), product of:
              0.07026225 = queryWeight, product of:
                1.5224769 = boost
                4.454867 = idf(docFreq=1375, maxDocs=43556)
                0.010359448 = queryNorm
              0.4921979 = fieldWeight in 4147, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.454867 = idf(docFreq=1375, maxDocs=43556)
                0.078125 = fieldNorm(doc=4147)
          0.22299984 = weight(abstract_txt:inductive in 4147) [ClassicSimilarity], result of:
            0.22299984 = score(doc=4147,freq=3.0), product of:
              0.21264417 = queryWeight, product of:
                2.6486003 = boost
                7.749977 = idf(docFreq=50, maxDocs=43556)
                0.010359448 = queryNorm
              1.0486995 = fieldWeight in 4147, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                7.749977 = idf(docFreq=50, maxDocs=43556)
                0.078125 = fieldNorm(doc=4147)
          0.017781306 = weight(abstract_txt:from in 4147) [ClassicSimilarity], result of:
            0.017781306 = score(doc=4147,freq=1.0), product of:
              0.08194209 = queryWeight, product of:
                2.8477628 = boost
                2.77758 = idf(docFreq=7362, maxDocs=43556)
                0.010359448 = queryNorm
              0.21699844 = fieldWeight in 4147, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.77758 = idf(docFreq=7362, maxDocs=43556)
                0.078125 = fieldNorm(doc=4147)
          0.13493125 = weight(abstract_txt:logic in 4147) [ClassicSimilarity], result of:
            0.13493125 = score(doc=4147,freq=1.0), product of:
              0.27642408 = queryWeight, product of:
                4.2706366 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.010359448 = queryNorm
              0.4881313 = fieldWeight in 4147, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.078125 = fieldNorm(doc=4147)
          0.3149415 = weight(abstract_txt:learning in 4147) [ClassicSimilarity], result of:
            0.3149415 = score(doc=4147,freq=3.0), product of:
              0.48639315 = queryWeight, product of:
                9.812034 = boost
                4.7851086 = idf(docFreq=988, maxDocs=43556)
                0.010359448 = queryNorm
              0.647504 = fieldWeight in 4147, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.7851086 = idf(docFreq=988, maxDocs=43556)
                0.078125 = fieldNorm(doc=4147)
        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.14408314 = sum of:
      0.14408314 = product of:
        0.45025983 = sum of:
          0.004850569 = weight(abstract_txt:which in 1961) [ClassicSimilarity], result of:
            0.004850569 = score(doc=1961,freq=1.0), product of:
              0.03031242 = queryWeight, product of:
                2.9260652 = idf(docFreq=6346, maxDocs=43556)
                0.010359448 = queryNorm
              0.16001919 = fieldWeight in 1961, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.9260652 = idf(docFreq=6346, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1961)
          0.01832612 = weight(abstract_txt:theory in 1961) [ClassicSimilarity], result of:
            0.01832612 = score(doc=1961,freq=1.0), product of:
              0.073531345 = queryWeight, product of:
                1.5574924 = boost
                4.5573244 = idf(docFreq=1241, maxDocs=43556)
                0.010359448 = queryNorm
              0.24922869 = fieldWeight in 1961, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.5573244 = idf(docFreq=1241, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1961)
          0.048887424 = weight(abstract_txt:turn in 1961) [ClassicSimilarity], result of:
            0.048887424 = score(doc=1961,freq=1.0), product of:
              0.14143501 = queryWeight, product of:
                2.1600716 = boost
                6.3205104 = idf(docFreq=212, maxDocs=43556)
                0.010359448 = queryNorm
              0.3456529 = fieldWeight in 1961, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3205104 = idf(docFreq=212, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1961)
          0.0724237 = weight(abstract_txt:computational in 1961) [ClassicSimilarity], result of:
            0.0724237 = score(doc=1961,freq=2.0), product of:
              0.14588231 = queryWeight, product of:
                2.1937695 = boost
                6.4191127 = idf(docFreq=192, maxDocs=43556)
                0.010359448 = queryNorm
              0.49645293 = fieldWeight in 1961, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.4191127 = idf(docFreq=192, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1961)
          0.017602595 = weight(abstract_txt:from in 1961) [ClassicSimilarity], result of:
            0.017602595 = score(doc=1961,freq=2.0), product of:
              0.08194209 = queryWeight, product of:
                2.8477628 = boost
                2.77758 = idf(docFreq=7362, maxDocs=43556)
                0.010359448 = queryNorm
              0.2148175 = fieldWeight in 1961, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.77758 = idf(docFreq=7362, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1961)
          0.050550982 = weight(abstract_txt:concept in 1961) [ClassicSimilarity], result of:
            0.050550982 = score(doc=1961,freq=2.0), product of:
              0.14462562 = queryWeight, product of:
                3.0890667 = boost
                4.5194054 = idf(docFreq=1289, maxDocs=43556)
                0.010359448 = queryNorm
              0.34952992 = fieldWeight in 1961, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.5194054 = idf(docFreq=1289, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1961)
          0.14316657 = weight(abstract_txt:formulates in 1961) [ClassicSimilarity], result of:
            0.14316657 = score(doc=1961,freq=1.0), product of:
              0.28950313 = queryWeight, product of:
                3.0904114 = boost
                9.042746 = idf(docFreq=13, maxDocs=43556)
                0.010359448 = queryNorm
              0.49452513 = fieldWeight in 1961, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.042746 = idf(docFreq=13, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1961)
          0.094451874 = weight(abstract_txt:logic in 1961) [ClassicSimilarity], result of:
            0.094451874 = score(doc=1961,freq=1.0), product of:
              0.27642408 = queryWeight, product of:
                4.2706366 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.010359448 = queryNorm
              0.3416919 = fieldWeight in 1961, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.0546875 = fieldNorm(doc=1961)
        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.14018723 = sum of:
      0.14018723 = product of:
        0.5841135 = sum of:
          0.023818849 = weight(abstract_txt:different in 43) [ClassicSimilarity], result of:
            0.023818849 = score(doc=43,freq=3.0), product of:
              0.047870096 = queryWeight, product of:
                1.2566717 = boost
                3.6771033 = idf(docFreq=2994, maxDocs=43556)
                0.010359448 = queryNorm
              0.4975726 = fieldWeight in 43, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.6771033 = idf(docFreq=2994, maxDocs=43556)
                0.078125 = fieldNorm(doc=43)
          0.06261357 = weight(abstract_txt:setting in 43) [ClassicSimilarity], result of:
            0.06261357 = score(doc=43,freq=1.0), product of:
              0.13150325 = queryWeight, product of:
                2.0828497 = boost
                6.094554 = idf(docFreq=266, maxDocs=43556)
                0.010359448 = queryNorm
              0.47613704 = fieldWeight in 43, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.094554 = idf(docFreq=266, maxDocs=43556)
                0.078125 = fieldNorm(doc=43)
          0.065172434 = weight(abstract_txt:analyzes in 43) [ClassicSimilarity], result of:
            0.065172434 = score(doc=43,freq=1.0), product of:
              0.1350621 = queryWeight, product of:
                2.1108453 = boost
                6.176471 = idf(docFreq=245, maxDocs=43556)
                0.010359448 = queryNorm
              0.48253682 = fieldWeight in 43, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.176471 = idf(docFreq=245, maxDocs=43556)
                0.078125 = fieldNorm(doc=43)
          0.017781306 = weight(abstract_txt:from in 43) [ClassicSimilarity], result of:
            0.017781306 = score(doc=43,freq=1.0), product of:
              0.08194209 = queryWeight, product of:
                2.8477628 = boost
                2.77758 = idf(docFreq=7362, maxDocs=43556)
                0.010359448 = queryNorm
              0.21699844 = fieldWeight in 43, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.77758 = idf(docFreq=7362, maxDocs=43556)
                0.078125 = fieldNorm(doc=43)
          0.051064204 = weight(abstract_txt:concept in 43) [ClassicSimilarity], result of:
            0.051064204 = score(doc=43,freq=1.0), product of:
              0.14462562 = queryWeight, product of:
                3.0890667 = boost
                4.5194054 = idf(docFreq=1289, maxDocs=43556)
                0.010359448 = queryNorm
              0.35307854 = fieldWeight in 43, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.5194054 = idf(docFreq=1289, maxDocs=43556)
                0.078125 = fieldNorm(doc=43)
          0.36366314 = weight(abstract_txt:learning in 43) [ClassicSimilarity], result of:
            0.36366314 = score(doc=43,freq=4.0), product of:
              0.48639315 = queryWeight, product of:
                9.812034 = boost
                4.7851086 = idf(docFreq=988, maxDocs=43556)
                0.010359448 = queryNorm
              0.7476732 = fieldWeight in 43, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.7851086 = idf(docFreq=988, maxDocs=43556)
                0.078125 = fieldNorm(doc=43)
        0.24 = coord(6/25)