Document (#33531)

Author
Hodgson, J.P.E.
Title
Knowledge representation and language in AI
Imprint
Chichester, UK : Horwood
Year
1991
Pages
230 S
Isbn
0-13-515123-6
Series
Ellis Horwood series in artificial intelligence
Abstract
The aim of this book is to highlight the relationship between knowledge representation and language in artificial intelligence, and in particular on the way in which the choice of representation influences the language used to discuss a problem - and vice versa. Opening with a discussion of knowledge representation methods, and following this with a look at reasoning methods, the author begins to make his case for the intimate relationship between language and representation. He shows how each representation method fits particularly well with some reasoning methods and less so with others, using specific languages as examples. The question of representation change, an important and complex issue about which very little is known, is addressed. Dr Hodgson gathers together recent work on problem solving, showing how, in some cases, it has been possible to use representation changes to recast problems into a language that makes them easier to solve. The author maintains throughout that the relationships that this book explores lie at the heart of the construction of large systems, examining a number of the current large AI systems from the viewpoint of representation and language to prove his point.
Theme
Wissensrepräsentation
Computerlinguistik
Field
Informatik
COMPASS
Artificial intelligence
LCSH
Knowledge / representation (Information theory)
Computational linguistics
Artificial intelligence
RSWK
Wissensrepräsentation / Künstliche Intelligenz (BVB)
Künstliche Intelligenz / Programmiersprache (BVB)
Wissensrepräsentation / Sprache (BVB)
BK
54.72 / Künstliche Intelligenz
DDC
006.3
003'.54
GHBS
TVU (DU)
HRH (PB)
LCC
Q387
RVK
ST 285 Informatik / Monographien / Software und -entwicklung / Computer supported cooperative work (CSCW), Groupware

Similar documents (content)

  1. Helbig, H.: Knowledge representation and the semantics of natural language (2014) 0.30
    0.30179092 = sum of:
      0.30179092 = product of:
        0.8383081 = sum of:
          0.024717147 = weight(abstract_txt:large in 4397) [ClassicSimilarity], result of:
            0.024717147 = score(doc=4397,freq=1.0), product of:
              0.088294715 = queryWeight, product of:
                1.1224283 = boost
                4.4790263 = idf(docFreq=1293, maxDocs=41962)
                0.017562749 = queryNorm
              0.27993914 = fieldWeight in 4397, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4790263 = idf(docFreq=1293, maxDocs=41962)
                0.0625 = fieldNorm(doc=4397)
          0.031911924 = weight(abstract_txt:book in 4397) [ClassicSimilarity], result of:
            0.031911924 = score(doc=4397,freq=1.0), product of:
              0.10468982 = queryWeight, product of:
                1.2222034 = boost
                4.877177 = idf(docFreq=868, maxDocs=41962)
                0.017562749 = queryNorm
              0.30482355 = fieldWeight in 4397, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.877177 = idf(docFreq=868, maxDocs=41962)
                0.0625 = fieldNorm(doc=4397)
          0.012664342 = weight(abstract_txt:with in 4397) [ClassicSimilarity], result of:
            0.012664342 = score(doc=4397,freq=2.0), product of:
              0.056535892 = queryWeight, product of:
                1.270189 = boost
                2.5343313 = idf(docFreq=9046, maxDocs=41962)
                0.017562749 = queryNorm
              0.22400536 = fieldWeight in 4397, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.5343313 = idf(docFreq=9046, maxDocs=41962)
                0.0625 = fieldNorm(doc=4397)
          0.07405712 = weight(abstract_txt:reasoning in 4397) [ClassicSimilarity], result of:
            0.07405712 = score(doc=4397,freq=1.0), product of:
              0.18350463 = queryWeight, product of:
                1.618135 = boost
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.017562749 = queryNorm
              0.40357086 = fieldWeight in 4397, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.0625 = fieldNorm(doc=4397)
          0.044873253 = weight(abstract_txt:knowledge in 4397) [ClassicSimilarity], result of:
            0.044873253 = score(doc=4397,freq=3.0), product of:
              0.11478816 = queryWeight, product of:
                1.8099009 = boost
                3.6111858 = idf(docFreq=3081, maxDocs=41962)
                0.017562749 = queryNorm
              0.3909223 = fieldWeight in 4397, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.6111858 = idf(docFreq=3081, maxDocs=41962)
                0.0625 = fieldNorm(doc=4397)
          0.08709641 = weight(abstract_txt:intelligence in 4397) [ClassicSimilarity], result of:
            0.08709641 = score(doc=4397,freq=1.0), product of:
              0.2340452 = queryWeight, product of:
                2.2381372 = boost
                5.95416 = idf(docFreq=295, maxDocs=41962)
                0.017562749 = queryNorm
              0.372135 = fieldWeight in 4397, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.95416 = idf(docFreq=295, maxDocs=41962)
                0.0625 = fieldNorm(doc=4397)
          0.09722044 = weight(abstract_txt:artificial in 4397) [ClassicSimilarity], result of:
            0.09722044 = score(doc=4397,freq=1.0), product of:
              0.25184768 = queryWeight, product of:
                2.3216987 = boost
                6.17646 = idf(docFreq=236, maxDocs=41962)
                0.017562749 = queryNorm
              0.38602874 = fieldWeight in 4397, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.17646 = idf(docFreq=236, maxDocs=41962)
                0.0625 = fieldNorm(doc=4397)
          0.17310461 = weight(abstract_txt:language in 4397) [ClassicSimilarity], result of:
            0.17310461 = score(doc=4397,freq=8.0), product of:
              0.23306945 = queryWeight, product of:
                3.1585994 = boost
                4.2014413 = idf(docFreq=1707, maxDocs=41962)
                0.017562749 = queryNorm
              0.7427169 = fieldWeight in 4397, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                4.2014413 = idf(docFreq=1707, maxDocs=41962)
                0.0625 = fieldNorm(doc=4397)
          0.29266283 = weight(abstract_txt:representation in 4397) [ClassicSimilarity], result of:
            0.29266283 = score(doc=4397,freq=3.0), product of:
              0.54383075 = queryWeight, product of:
                6.2288537 = boost
                4.971222 = idf(docFreq=790, maxDocs=41962)
                0.017562749 = queryNorm
              0.53815055 = fieldWeight in 4397, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.971222 = idf(docFreq=790, maxDocs=41962)
                0.0625 = fieldNorm(doc=4397)
        0.36 = coord(9/25)
    
  2. Ghenima, M.: ¬A system of 'computer-aided diacritisation' using a lexical database of Arabic language (1998) 0.29
    0.28839985 = sum of:
      0.28839985 = product of:
        1.201666 = sum of:
          0.14811423 = weight(abstract_txt:reasoning in 1075) [ClassicSimilarity], result of:
            0.14811423 = score(doc=1075,freq=1.0), product of:
              0.18350463 = queryWeight, product of:
                1.618135 = boost
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.017562749 = queryNorm
              0.8071417 = fieldWeight in 1075, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.125 = fieldNorm(doc=1075)
          0.07327772 = weight(abstract_txt:knowledge in 1075) [ClassicSimilarity], result of:
            0.07327772 = score(doc=1075,freq=2.0), product of:
              0.11478816 = queryWeight, product of:
                1.8099009 = boost
                3.6111858 = idf(docFreq=3081, maxDocs=41962)
                0.017562749 = queryNorm
              0.6383735 = fieldWeight in 1075, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.6111858 = idf(docFreq=3081, maxDocs=41962)
                0.125 = fieldNorm(doc=1075)
          0.17419282 = weight(abstract_txt:intelligence in 1075) [ClassicSimilarity], result of:
            0.17419282 = score(doc=1075,freq=1.0), product of:
              0.2340452 = queryWeight, product of:
                2.2381372 = boost
                5.95416 = idf(docFreq=295, maxDocs=41962)
                0.017562749 = queryNorm
              0.74427 = fieldWeight in 1075, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.95416 = idf(docFreq=295, maxDocs=41962)
                0.125 = fieldNorm(doc=1075)
          0.19444089 = weight(abstract_txt:artificial in 1075) [ClassicSimilarity], result of:
            0.19444089 = score(doc=1075,freq=1.0), product of:
              0.25184768 = queryWeight, product of:
                2.3216987 = boost
                6.17646 = idf(docFreq=236, maxDocs=41962)
                0.017562749 = queryNorm
              0.7720575 = fieldWeight in 1075, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.17646 = idf(docFreq=236, maxDocs=41962)
                0.125 = fieldNorm(doc=1075)
          0.27370244 = weight(abstract_txt:language in 1075) [ClassicSimilarity], result of:
            0.27370244 = score(doc=1075,freq=5.0), product of:
              0.23306945 = queryWeight, product of:
                3.1585994 = boost
                4.2014413 = idf(docFreq=1707, maxDocs=41962)
                0.017562749 = queryNorm
              1.1743386 = fieldWeight in 1075, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                4.2014413 = idf(docFreq=1707, maxDocs=41962)
                0.125 = fieldNorm(doc=1075)
          0.33793792 = weight(abstract_txt:representation in 1075) [ClassicSimilarity], result of:
            0.33793792 = score(doc=1075,freq=1.0), product of:
              0.54383075 = queryWeight, product of:
                6.2288537 = boost
                4.971222 = idf(docFreq=790, maxDocs=41962)
                0.017562749 = queryNorm
              0.62140274 = fieldWeight in 1075, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.971222 = idf(docFreq=790, maxDocs=41962)
                0.125 = fieldNorm(doc=1075)
        0.24 = coord(6/25)
    
  3. Tkalac, S.; Mateljan, V.: Neke karakteristike notacijskih shema (1996) 0.27
    0.26696536 = sum of:
      0.26696536 = product of:
        0.95344776 = sum of:
          0.043098897 = weight(abstract_txt:problem in 2069) [ClassicSimilarity], result of:
            0.043098897 = score(doc=2069,freq=1.0), product of:
              0.08808214 = queryWeight, product of:
                1.1210763 = boost
                4.4736314 = idf(docFreq=1300, maxDocs=41962)
                0.017562749 = queryNorm
              0.48930344 = fieldWeight in 2069, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4736314 = idf(docFreq=1300, maxDocs=41962)
                0.109375 = fieldNorm(doc=2069)
          0.015671324 = weight(abstract_txt:with in 2069) [ClassicSimilarity], result of:
            0.015671324 = score(doc=2069,freq=1.0), product of:
              0.056535892 = queryWeight, product of:
                1.270189 = boost
                2.5343313 = idf(docFreq=9046, maxDocs=41962)
                0.017562749 = queryNorm
              0.27719247 = fieldWeight in 2069, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.5343313 = idf(docFreq=9046, maxDocs=41962)
                0.109375 = fieldNorm(doc=2069)
          0.07541803 = weight(abstract_txt:methods in 2069) [ClassicSimilarity], result of:
            0.07541803 = score(doc=2069,freq=2.0), product of:
              0.11621111 = queryWeight, product of:
                1.5771053 = boost
                4.195604 = idf(docFreq=1717, maxDocs=41962)
                0.017562749 = queryNorm
              0.64897436 = fieldWeight in 2069, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.195604 = idf(docFreq=1717, maxDocs=41962)
                0.109375 = fieldNorm(doc=2069)
          0.07852819 = weight(abstract_txt:knowledge in 2069) [ClassicSimilarity], result of:
            0.07852819 = score(doc=2069,freq=3.0), product of:
              0.11478816 = queryWeight, product of:
                1.8099009 = boost
                3.6111858 = idf(docFreq=3081, maxDocs=41962)
                0.017562749 = queryNorm
              0.68411404 = fieldWeight in 2069, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.6111858 = idf(docFreq=3081, maxDocs=41962)
                0.109375 = fieldNorm(doc=2069)
          0.15241872 = weight(abstract_txt:intelligence in 2069) [ClassicSimilarity], result of:
            0.15241872 = score(doc=2069,freq=1.0), product of:
              0.2340452 = queryWeight, product of:
                2.2381372 = boost
                5.95416 = idf(docFreq=295, maxDocs=41962)
                0.017562749 = queryNorm
              0.6512363 = fieldWeight in 2069, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.95416 = idf(docFreq=295, maxDocs=41962)
                0.109375 = fieldNorm(doc=2069)
          0.17013578 = weight(abstract_txt:artificial in 2069) [ClassicSimilarity], result of:
            0.17013578 = score(doc=2069,freq=1.0), product of:
              0.25184768 = queryWeight, product of:
                2.3216987 = boost
                6.17646 = idf(docFreq=236, maxDocs=41962)
                0.017562749 = queryNorm
              0.6755503 = fieldWeight in 2069, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.17646 = idf(docFreq=236, maxDocs=41962)
                0.109375 = fieldNorm(doc=2069)
          0.41817683 = weight(abstract_txt:representation in 2069) [ClassicSimilarity], result of:
            0.41817683 = score(doc=2069,freq=2.0), product of:
              0.54383075 = queryWeight, product of:
                6.2288537 = boost
                4.971222 = idf(docFreq=790, maxDocs=41962)
                0.017562749 = queryNorm
              0.76894665 = fieldWeight in 2069, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.971222 = idf(docFreq=790, maxDocs=41962)
                0.109375 = fieldNorm(doc=2069)
        0.28 = coord(7/25)
    
  4. Koller, D.; Shoham, Y.: Information agents : a new challenge for AI (1996) 0.23
    0.22662525 = sum of:
      0.22662525 = product of:
        1.1331263 = sum of:
          0.18514279 = weight(abstract_txt:reasoning in 5797) [ClassicSimilarity], result of:
            0.18514279 = score(doc=5797,freq=1.0), product of:
              0.18350463 = queryWeight, product of:
                1.618135 = boost
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.017562749 = queryNorm
              1.0089271 = fieldWeight in 5797, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.15625 = fieldNorm(doc=5797)
          0.06476896 = weight(abstract_txt:knowledge in 5797) [ClassicSimilarity], result of:
            0.06476896 = score(doc=5797,freq=1.0), product of:
              0.11478816 = queryWeight, product of:
                1.8099009 = boost
                3.6111858 = idf(docFreq=3081, maxDocs=41962)
                0.017562749 = queryNorm
              0.5642478 = fieldWeight in 5797, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6111858 = idf(docFreq=3081, maxDocs=41962)
                0.15625 = fieldNorm(doc=5797)
          0.21774103 = weight(abstract_txt:intelligence in 5797) [ClassicSimilarity], result of:
            0.21774103 = score(doc=5797,freq=1.0), product of:
              0.2340452 = queryWeight, product of:
                2.2381372 = boost
                5.95416 = idf(docFreq=295, maxDocs=41962)
                0.017562749 = queryNorm
              0.93033755 = fieldWeight in 5797, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.95416 = idf(docFreq=295, maxDocs=41962)
                0.15625 = fieldNorm(doc=5797)
          0.24305111 = weight(abstract_txt:artificial in 5797) [ClassicSimilarity], result of:
            0.24305111 = score(doc=5797,freq=1.0), product of:
              0.25184768 = queryWeight, product of:
                2.3216987 = boost
                6.17646 = idf(docFreq=236, maxDocs=41962)
                0.017562749 = queryNorm
              0.96507186 = fieldWeight in 5797, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.17646 = idf(docFreq=236, maxDocs=41962)
                0.15625 = fieldNorm(doc=5797)
          0.4224224 = weight(abstract_txt:representation in 5797) [ClassicSimilarity], result of:
            0.4224224 = score(doc=5797,freq=1.0), product of:
              0.54383075 = queryWeight, product of:
                6.2288537 = boost
                4.971222 = idf(docFreq=790, maxDocs=41962)
                0.017562749 = queryNorm
              0.7767534 = fieldWeight in 5797, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.971222 = idf(docFreq=790, maxDocs=41962)
                0.15625 = fieldNorm(doc=5797)
        0.2 = coord(5/25)
    
  5. Developments in applied artificial intelligence : proceedings / 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Loughborough, UK, June 23 - 26, 2003 (2003) 0.21
    0.20827538 = sum of:
      0.20827538 = product of:
        0.86781406 = sum of:
          0.055845864 = weight(abstract_txt:book in 2442) [ClassicSimilarity], result of:
            0.055845864 = score(doc=2442,freq=1.0), product of:
              0.10468982 = queryWeight, product of:
                1.2222034 = boost
                4.877177 = idf(docFreq=868, maxDocs=41962)
                0.017562749 = queryNorm
              0.5334412 = fieldWeight in 2442, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.877177 = idf(docFreq=868, maxDocs=41962)
                0.109375 = fieldNorm(doc=2442)
          0.12959996 = weight(abstract_txt:reasoning in 2442) [ClassicSimilarity], result of:
            0.12959996 = score(doc=2442,freq=1.0), product of:
              0.18350463 = queryWeight, product of:
                1.618135 = boost
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.017562749 = queryNorm
              0.706249 = fieldWeight in 2442, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.109375 = fieldNorm(doc=2442)
          0.064118005 = weight(abstract_txt:knowledge in 2442) [ClassicSimilarity], result of:
            0.064118005 = score(doc=2442,freq=2.0), product of:
              0.11478816 = queryWeight, product of:
                1.8099009 = boost
                3.6111858 = idf(docFreq=3081, maxDocs=41962)
                0.017562749 = queryNorm
              0.5585768 = fieldWeight in 2442, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.6111858 = idf(docFreq=3081, maxDocs=41962)
                0.109375 = fieldNorm(doc=2442)
          0.15241872 = weight(abstract_txt:intelligence in 2442) [ClassicSimilarity], result of:
            0.15241872 = score(doc=2442,freq=1.0), product of:
              0.2340452 = queryWeight, product of:
                2.2381372 = boost
                5.95416 = idf(docFreq=295, maxDocs=41962)
                0.017562749 = queryNorm
              0.6512363 = fieldWeight in 2442, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.95416 = idf(docFreq=295, maxDocs=41962)
                0.109375 = fieldNorm(doc=2442)
          0.17013578 = weight(abstract_txt:artificial in 2442) [ClassicSimilarity], result of:
            0.17013578 = score(doc=2442,freq=1.0), product of:
              0.25184768 = queryWeight, product of:
                2.3216987 = boost
                6.17646 = idf(docFreq=236, maxDocs=41962)
                0.017562749 = queryNorm
              0.6755503 = fieldWeight in 2442, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.17646 = idf(docFreq=236, maxDocs=41962)
                0.109375 = fieldNorm(doc=2442)
          0.2956957 = weight(abstract_txt:representation in 2442) [ClassicSimilarity], result of:
            0.2956957 = score(doc=2442,freq=1.0), product of:
              0.54383075 = queryWeight, product of:
                6.2288537 = boost
                4.971222 = idf(docFreq=790, maxDocs=41962)
                0.017562749 = queryNorm
              0.5437274 = fieldWeight in 2442, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.971222 = idf(docFreq=790, maxDocs=41962)
                0.109375 = fieldNorm(doc=2442)
        0.24 = coord(6/25)