Document (#33530)

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.29943594 = sum of:
     0.29943594 = product of:
       0.8317665 = sum of:
         0.024882067 = weight(abstract_txt:large in 2396) [ClassicSimilarity], result of:
           0.024882067 = score(doc=2396,freq=1.0), product of:
             0.08938148 = queryWeight, product of:
               1.1290145 = boost
               4.454089 = idf(docFreq=1397, maxDocs=44218)
               0.017774161 = queryNorm
             0.27838057 = fieldWeight in 2396, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.454089 = idf(docFreq=1397, maxDocs=44218)
               0.0625 = fieldNorm(doc=2396)
         0.03225056 = weight(abstract_txt:book in 2396) [ClassicSimilarity], result of:
           0.03225056 = score(doc=2396,freq=1.0), product of:
             0.10625468 = queryWeight, product of:
               1.2309766 = boost
               4.856341 = idf(docFreq=934, maxDocs=44218)
               0.017774161 = queryNorm
             0.3035213 = fieldWeight in 2396, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.856341 = idf(docFreq=934, maxDocs=44218)
               0.0625 = fieldNorm(doc=2396)
         0.012440443 = weight(abstract_txt:with in 2396) [ClassicSimilarity], result of:
           0.012440443 = score(doc=2396,freq=2.0), product of:
             0.05630502 = queryWeight, product of:
               1.2672559 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.017774161 = queryNorm
             0.22094731 = fieldWeight in 2396, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.0625 = fieldNorm(doc=2396)
         0.0730836 = weight(abstract_txt:reasoning in 2396) [ClassicSimilarity], result of:
           0.0730836 = score(doc=2396,freq=1.0), product of:
             0.18331718 = queryWeight, product of:
               1.6168784 = boost
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.017774161 = queryNorm
             0.39867294 = fieldWeight in 2396, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.0625 = fieldNorm(doc=2396)
         0.043742996 = weight(abstract_txt:knowledge in 2396) [ClassicSimilarity], result of:
           0.043742996 = score(doc=2396,freq=3.0), product of:
             0.11373614 = queryWeight, product of:
               1.801109 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017774161 = queryNorm
             0.38460067 = fieldWeight in 2396, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=2396)
         0.084831834 = weight(abstract_txt:intelligence in 2396) [ClassicSimilarity], result of:
           0.084831834 = score(doc=2396,freq=1.0), product of:
             0.23177125 = queryWeight, product of:
               2.226646 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.017774161 = queryNorm
             0.36601534 = fieldWeight in 2396, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.0625 = fieldNorm(doc=2396)
         0.09426239 = weight(abstract_txt:artificial in 2396) [ClassicSimilarity], result of:
           0.09426239 = score(doc=2396,freq=1.0), product of:
             0.24864474 = queryWeight, product of:
               2.3062747 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.017774161 = queryNorm
             0.3791047 = fieldWeight in 2396, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.0625 = fieldNorm(doc=2396)
         0.17476535 = weight(abstract_txt:language in 2396) [ClassicSimilarity], result of:
           0.17476535 = score(doc=2396,freq=8.0), product of:
             0.2363944 = queryWeight, product of:
               3.1802042 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.017774161 = queryNorm
             0.7392956 = fieldWeight in 2396, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.0625 = fieldNorm(doc=2396)
         0.29150727 = weight(abstract_txt:representation in 2396) [ClassicSimilarity], result of:
           0.29150727 = score(doc=2396,freq=3.0), product of:
             0.54664546 = queryWeight, product of:
               6.243292 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017774161 = queryNorm
             0.5332657 = fieldWeight in 2396, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.0625 = fieldNorm(doc=2396)
       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.28529269 = sum of:
     0.28529269 = product of:
       1.1887195 = sum of:
         0.1461672 = weight(abstract_txt:reasoning in 74) [ClassicSimilarity], result of:
           0.1461672 = score(doc=74,freq=1.0), product of:
             0.18331718 = queryWeight, product of:
               1.6168784 = boost
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.017774161 = queryNorm
             0.7973459 = fieldWeight in 74, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.125 = fieldNorm(doc=74)
         0.07143201 = weight(abstract_txt:knowledge in 74) [ClassicSimilarity], result of:
           0.07143201 = score(doc=74,freq=2.0), product of:
             0.11373614 = queryWeight, product of:
               1.801109 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017774161 = queryNorm
             0.62805027 = fieldWeight in 74, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.125 = fieldNorm(doc=74)
         0.16966367 = weight(abstract_txt:intelligence in 74) [ClassicSimilarity], result of:
           0.16966367 = score(doc=74,freq=1.0), product of:
             0.23177125 = queryWeight, product of:
               2.226646 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.017774161 = queryNorm
             0.7320307 = fieldWeight in 74, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.125 = fieldNorm(doc=74)
         0.18852478 = weight(abstract_txt:artificial in 74) [ClassicSimilarity], result of:
           0.18852478 = score(doc=74,freq=1.0), product of:
             0.24864474 = queryWeight, product of:
               2.3062747 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.017774161 = queryNorm
             0.7582094 = fieldWeight in 74, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.125 = fieldNorm(doc=74)
         0.27632827 = weight(abstract_txt:language in 74) [ClassicSimilarity], result of:
           0.27632827 = score(doc=74,freq=5.0), product of:
             0.2363944 = queryWeight, product of:
               3.1802042 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.017774161 = queryNorm
             1.168929 = fieldWeight in 74, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.125 = fieldNorm(doc=74)
         0.33660364 = weight(abstract_txt:representation in 74) [ClassicSimilarity], result of:
           0.33660364 = score(doc=74,freq=1.0), product of:
             0.54664546 = queryWeight, product of:
               6.243292 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017774161 = queryNorm
             0.61576223 = fieldWeight in 74, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.125 = fieldNorm(doc=74)
       0.24 = coord(6/25)
   

3. Tkalac, S.; Mateljan, V.: Neke karakteristike notacijskih shema (1996) 0.26

   0.26324385 = sum of:
     0.26324385 = product of:
       0.9401566 = sum of:
         0.043733314 = weight(abstract_txt:problem in 655) [ClassicSimilarity], result of:
           0.043733314 = score(doc=655,freq=1.0), product of:
             0.08964088 = queryWeight, product of:
               1.1306516 = boost
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.017774161 = queryNorm
             0.48787242 = fieldWeight in 655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.460548 = idf(docFreq=1388, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.015394263 = weight(abstract_txt:with in 655) [ClassicSimilarity], result of:
           0.015394263 = score(doc=655,freq=1.0), product of:
             0.05630502 = queryWeight, product of:
               1.2672559 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.017774161 = queryNorm
             0.27340835 = fieldWeight in 655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.07453808 = weight(abstract_txt:methods in 655) [ClassicSimilarity], result of:
           0.07453808 = score(doc=655,freq=2.0), product of:
             0.116208285 = queryWeight, product of:
               1.5766668 = boost
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.017774161 = queryNorm
             0.641418 = fieldWeight in 655, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.07655024 = weight(abstract_txt:knowledge in 655) [ClassicSimilarity], result of:
           0.07655024 = score(doc=655,freq=3.0), product of:
             0.11373614 = queryWeight, product of:
               1.801109 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017774161 = queryNorm
             0.6730512 = fieldWeight in 655, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.1484557 = weight(abstract_txt:intelligence in 655) [ClassicSimilarity], result of:
           0.1484557 = score(doc=655,freq=1.0), product of:
             0.23177125 = queryWeight, product of:
               2.226646 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.017774161 = queryNorm
             0.64052683 = fieldWeight in 655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.16495919 = weight(abstract_txt:artificial in 655) [ClassicSimilarity], result of:
           0.16495919 = score(doc=655,freq=1.0), product of:
             0.24864474 = queryWeight, product of:
               2.3062747 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.017774161 = queryNorm
             0.66343325 = fieldWeight in 655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
         0.41652575 = weight(abstract_txt:representation in 655) [ClassicSimilarity], result of:
           0.41652575 = score(doc=655,freq=2.0), product of:
             0.54664546 = queryWeight, product of:
               6.243292 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017774161 = queryNorm
             0.7619669 = fieldWeight in 655, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.109375 = fieldNorm(doc=655)
       0.28 = coord(7/25)
   

4. Koller, D.; Shoham, Y.: Information agents : a new challenge for AI (1996) 0.22

   0.22286735 = sum of:
     0.22286735 = product of:
       1.1143367 = sum of:
         0.18270901 = weight(abstract_txt:reasoning in 5728) [ClassicSimilarity], result of:
           0.18270901 = score(doc=5728,freq=1.0), product of:
             0.18331718 = queryWeight, product of:
               1.6168784 = boost
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.017774161 = queryNorm
             0.99668235 = fieldWeight in 5728, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.15625 = fieldNorm(doc=5728)
         0.06313757 = weight(abstract_txt:knowledge in 5728) [ClassicSimilarity], result of:
           0.06313757 = score(doc=5728,freq=1.0), product of:
             0.11373614 = queryWeight, product of:
               1.801109 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017774161 = queryNorm
             0.5551232 = fieldWeight in 5728, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.15625 = fieldNorm(doc=5728)
         0.21207958 = weight(abstract_txt:intelligence in 5728) [ClassicSimilarity], result of:
           0.21207958 = score(doc=5728,freq=1.0), product of:
             0.23177125 = queryWeight, product of:
               2.226646 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.017774161 = queryNorm
             0.91503835 = fieldWeight in 5728, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.15625 = fieldNorm(doc=5728)
         0.23565598 = weight(abstract_txt:artificial in 5728) [ClassicSimilarity], result of:
           0.23565598 = score(doc=5728,freq=1.0), product of:
             0.24864474 = queryWeight, product of:
               2.3062747 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.017774161 = queryNorm
             0.9477618 = fieldWeight in 5728, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.15625 = fieldNorm(doc=5728)
         0.42075455 = weight(abstract_txt:representation in 5728) [ClassicSimilarity], result of:
           0.42075455 = score(doc=5728,freq=1.0), product of:
             0.54664546 = queryWeight, product of:
               6.243292 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017774161 = queryNorm
             0.7697028 = fieldWeight in 5728, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.15625 = fieldNorm(doc=5728)
       0.2 = coord(5/25)
   

5. Gayathri, R.; Uma, V.: Ontology based knowledge representation technique, domain modeling languages and planners for robotic path planning : a survey (2018) 0.21

   0.21262455 = sum of:
     0.21262455 = product of:
       0.88593566 = sum of:
         0.037647415 = weight(abstract_txt:methods in 5605) [ClassicSimilarity], result of:
           0.037647415 = score(doc=5605,freq=1.0), product of:
             0.116208285 = queryWeight, product of:
               1.5766668 = boost
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.017774161 = queryNorm
             0.32396498 = fieldWeight in 5605, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.078125 = fieldNorm(doc=5605)
         0.18270901 = weight(abstract_txt:reasoning in 5605) [ClassicSimilarity], result of:
           0.18270901 = score(doc=5605,freq=4.0), product of:
             0.18331718 = queryWeight, product of:
               1.6168784 = boost
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.017774161 = queryNorm
             0.99668235 = fieldWeight in 5605, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.078125 = fieldNorm(doc=5605)
         0.077327415 = weight(abstract_txt:knowledge in 5605) [ClassicSimilarity], result of:
           0.077327415 = score(doc=5605,freq=6.0), product of:
             0.11373614 = queryWeight, product of:
               1.801109 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017774161 = queryNorm
             0.6798843 = fieldWeight in 5605, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.078125 = fieldNorm(doc=5605)
         0.10603979 = weight(abstract_txt:intelligence in 5605) [ClassicSimilarity], result of:
           0.10603979 = score(doc=5605,freq=1.0), product of:
             0.23177125 = queryWeight, product of:
               2.226646 = boost
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.017774161 = queryNorm
             0.45751917 = fieldWeight in 5605, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8562455 = idf(docFreq=343, maxDocs=44218)
               0.078125 = fieldNorm(doc=5605)
         0.11782799 = weight(abstract_txt:artificial in 5605) [ClassicSimilarity], result of:
           0.11782799 = score(doc=5605,freq=1.0), product of:
             0.24864474 = queryWeight, product of:
               2.3062747 = boost
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.017774161 = queryNorm
             0.4738809 = fieldWeight in 5605, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0656753 = idf(docFreq=278, maxDocs=44218)
               0.078125 = fieldNorm(doc=5605)
         0.36438408 = weight(abstract_txt:representation in 5605) [ClassicSimilarity], result of:
           0.36438408 = score(doc=5605,freq=3.0), product of:
             0.54664546 = queryWeight, product of:
               6.243292 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017774161 = queryNorm
             0.6665821 = fieldWeight in 5605, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.078125 = fieldNorm(doc=5605)
       0.24 = coord(6/25)