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.29845405 = sum of:
     0.29845405 = product of:
       0.829039 = sum of:
         0.024763519 = weight(abstract_txt:large in 3396) [ClassicSimilarity], result of:
           0.024763519 = score(doc=3396,freq=1.0), product of:
             0.08919067 = queryWeight, product of:
               1.1285278 = boost
               4.4423513 = idf(docFreq=1420, maxDocs=44421)
               0.017790752 = queryNorm
             0.27764696 = fieldWeight in 3396, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4423513 = idf(docFreq=1420, maxDocs=44421)
               0.0625 = fieldNorm(doc=3396)
         0.032358225 = weight(abstract_txt:book in 3396) [ClassicSimilarity], result of:
           0.032358225 = score(doc=3396,freq=1.0), product of:
             0.106602564 = queryWeight, product of:
               1.2337761 = boost
               4.8566523 = idf(docFreq=938, maxDocs=44421)
               0.017790752 = queryNorm
             0.30354077 = fieldWeight in 3396, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.8566523 = idf(docFreq=938, maxDocs=44421)
               0.0625 = fieldNorm(doc=3396)
         0.012425827 = weight(abstract_txt:with in 3396) [ClassicSimilarity], result of:
           0.012425827 = score(doc=3396,freq=2.0), product of:
             0.056319837 = queryWeight, product of:
               1.2682306 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.017790752 = queryNorm
             0.22062966 = fieldWeight in 3396, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.0625 = fieldNorm(doc=3396)
         0.071990885 = weight(abstract_txt:reasoning in 3396) [ClassicSimilarity], result of:
           0.071990885 = score(doc=3396,freq=1.0), product of:
             0.18167543 = queryWeight, product of:
               1.6106479 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.017790752 = queryNorm
             0.39626098 = fieldWeight in 3396, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.0625 = fieldNorm(doc=3396)
         0.043644022 = weight(abstract_txt:knowledge in 3396) [ClassicSimilarity], result of:
           0.043644022 = score(doc=3396,freq=3.0), product of:
             0.11368346 = queryWeight, product of:
               1.8018397 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.017790752 = queryNorm
             0.38390827 = fieldWeight in 3396, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=3396)
         0.08405345 = weight(abstract_txt:intelligence in 3396) [ClassicSimilarity], result of:
           0.08405345 = score(doc=3396,freq=1.0), product of:
             0.23059258 = queryWeight, product of:
               2.2223928 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.017790752 = queryNorm
             0.36451066 = fieldWeight in 3396, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.0625 = fieldNorm(doc=3396)
         0.09345531 = weight(abstract_txt:artificial in 3396) [ClassicSimilarity], result of:
           0.09345531 = score(doc=3396,freq=1.0), product of:
             0.24748237 = queryWeight, product of:
               2.3023446 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.017790752 = queryNorm
             0.3776241 = fieldWeight in 3396, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.0625 = fieldNorm(doc=3396)
         0.17392282 = weight(abstract_txt:language in 3396) [ClassicSimilarity], result of:
           0.17392282 = score(doc=3396,freq=8.0), product of:
             0.23588084 = queryWeight, product of:
               3.1787727 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.017790752 = queryNorm
             0.7373334 = fieldWeight in 3396, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.0625 = fieldNorm(doc=3396)
         0.29242492 = weight(abstract_txt:representation in 3396) [ClassicSimilarity], result of:
           0.29242492 = score(doc=3396,freq=3.0), product of:
             0.54836583 = queryWeight, product of:
               6.2570944 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.017790752 = queryNorm
             0.5332661 = fieldWeight in 3396, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.0625 = fieldNorm(doc=3396)
       0.36 = coord(9/25)
   

2. Ghenima, M.: ¬A system of 'computer-aided diacritisation' using a lexical database of Arabic language (1998) 0.28

   0.28390297 = sum of:
     0.28390297 = product of:
       1.182929 = sum of:
         0.14398177 = weight(abstract_txt:reasoning in 1074) [ClassicSimilarity], result of:
           0.14398177 = score(doc=1074,freq=1.0), product of:
             0.18167543 = queryWeight, product of:
               1.6106479 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.017790752 = queryNorm
             0.79252195 = fieldWeight in 1074, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.125 = fieldNorm(doc=1074)
         0.071270384 = weight(abstract_txt:knowledge in 1074) [ClassicSimilarity], result of:
           0.071270384 = score(doc=1074,freq=2.0), product of:
             0.11368346 = queryWeight, product of:
               1.8018397 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.017790752 = queryNorm
             0.62691957 = fieldWeight in 1074, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.125 = fieldNorm(doc=1074)
         0.1681069 = weight(abstract_txt:intelligence in 1074) [ClassicSimilarity], result of:
           0.1681069 = score(doc=1074,freq=1.0), product of:
             0.23059258 = queryWeight, product of:
               2.2223928 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.017790752 = queryNorm
             0.7290213 = fieldWeight in 1074, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.125 = fieldNorm(doc=1074)
         0.18691061 = weight(abstract_txt:artificial in 1074) [ClassicSimilarity], result of:
           0.18691061 = score(doc=1074,freq=1.0), product of:
             0.24748237 = queryWeight, product of:
               2.3023446 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.017790752 = queryNorm
             0.7552482 = fieldWeight in 1074, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.125 = fieldNorm(doc=1074)
         0.2749961 = weight(abstract_txt:language in 1074) [ClassicSimilarity], result of:
           0.2749961 = score(doc=1074,freq=5.0), product of:
             0.23588084 = queryWeight, product of:
               3.1787727 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.017790752 = queryNorm
             1.1658264 = fieldWeight in 1074, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.125 = fieldNorm(doc=1074)
         0.33766323 = weight(abstract_txt:representation in 1074) [ClassicSimilarity], result of:
           0.33766323 = score(doc=1074,freq=1.0), product of:
             0.54836583 = queryWeight, product of:
               6.2570944 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.017790752 = queryNorm
             0.6157627 = fieldWeight in 1074, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.125 = fieldNorm(doc=1074)
       0.24 = coord(6/25)
   

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

   0.2628255 = sum of:
     0.2628255 = product of:
       0.9386624 = sum of:
         0.043836586 = weight(abstract_txt:problem in 1655) [ClassicSimilarity], result of:
           0.043836586 = score(doc=1655,freq=1.0), product of:
             0.08987598 = queryWeight, product of:
               1.132855 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.017790752 = queryNorm
             0.48774529 = fieldWeight in 1655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.015376177 = weight(abstract_txt:with in 1655) [ClassicSimilarity], result of:
           0.015376177 = score(doc=1655,freq=1.0), product of:
             0.056319837 = queryWeight, product of:
               1.2682306 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.017790752 = queryNorm
             0.2730153 = fieldWeight in 1655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.07459528 = weight(abstract_txt:methods in 1655) [ClassicSimilarity], result of:
           0.07459528 = score(doc=1655,freq=2.0), product of:
             0.11638951 = queryWeight, product of:
               1.5789016 = boost
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.017790752 = queryNorm
             0.6409107 = fieldWeight in 1655, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.076377034 = weight(abstract_txt:knowledge in 1655) [ClassicSimilarity], result of:
           0.076377034 = score(doc=1655,freq=3.0), product of:
             0.11368346 = queryWeight, product of:
               1.8018397 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.017790752 = queryNorm
             0.6718395 = fieldWeight in 1655, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.14709355 = weight(abstract_txt:intelligence in 1655) [ClassicSimilarity], result of:
           0.14709355 = score(doc=1655,freq=1.0), product of:
             0.23059258 = queryWeight, product of:
               2.2223928 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.017790752 = queryNorm
             0.6378937 = fieldWeight in 1655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.16354679 = weight(abstract_txt:artificial in 1655) [ClassicSimilarity], result of:
           0.16354679 = score(doc=1655,freq=1.0), product of:
             0.24748237 = queryWeight, product of:
               2.3023446 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.017790752 = queryNorm
             0.6608422 = fieldWeight in 1655, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
         0.41783693 = weight(abstract_txt:representation in 1655) [ClassicSimilarity], result of:
           0.41783693 = score(doc=1655,freq=2.0), product of:
             0.54836583 = queryWeight, product of:
               6.2570944 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.017790752 = queryNorm
             0.7619675 = fieldWeight in 1655, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.109375 = fieldNorm(doc=1655)
       0.28 = coord(7/25)
   

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

   0.22176456 = sum of:
     0.22176456 = product of:
       1.1088228 = sum of:
         0.17997721 = weight(abstract_txt:reasoning in 5796) [ClassicSimilarity], result of:
           0.17997721 = score(doc=5796,freq=1.0), product of:
             0.18167543 = queryWeight, product of:
               1.6106479 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.017790752 = queryNorm
             0.99065244 = fieldWeight in 5796, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.15625 = fieldNorm(doc=5796)
         0.06299472 = weight(abstract_txt:knowledge in 5796) [ClassicSimilarity], result of:
           0.06299472 = score(doc=5796,freq=1.0), product of:
             0.11368346 = queryWeight, product of:
               1.8018397 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.017790752 = queryNorm
             0.5541239 = fieldWeight in 5796, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.15625 = fieldNorm(doc=5796)
         0.21013363 = weight(abstract_txt:intelligence in 5796) [ClassicSimilarity], result of:
           0.21013363 = score(doc=5796,freq=1.0), product of:
             0.23059258 = queryWeight, product of:
               2.2223928 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.017790752 = queryNorm
             0.91127664 = fieldWeight in 5796, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.15625 = fieldNorm(doc=5796)
         0.23363826 = weight(abstract_txt:artificial in 5796) [ClassicSimilarity], result of:
           0.23363826 = score(doc=5796,freq=1.0), product of:
             0.24748237 = queryWeight, product of:
               2.3023446 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.017790752 = queryNorm
             0.9440602 = fieldWeight in 5796, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.15625 = fieldNorm(doc=5796)
         0.42207903 = weight(abstract_txt:representation in 5796) [ClassicSimilarity], result of:
           0.42207903 = score(doc=5796,freq=1.0), product of:
             0.54836583 = queryWeight, product of:
               6.2570944 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.017790752 = queryNorm
             0.7697034 = fieldWeight in 5796, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.15625 = fieldNorm(doc=5796)
       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.21173353 = sum of:
     0.21173353 = product of:
       0.88222307 = sum of:
         0.03767631 = weight(abstract_txt:methods in 605) [ClassicSimilarity], result of:
           0.03767631 = score(doc=605,freq=1.0), product of:
             0.11638951 = queryWeight, product of:
               1.5789016 = boost
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.017790752 = queryNorm
             0.3237088 = fieldWeight in 605, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.078125 = fieldNorm(doc=605)
         0.17997721 = weight(abstract_txt:reasoning in 605) [ClassicSimilarity], result of:
           0.17997721 = score(doc=605,freq=4.0), product of:
             0.18167543 = queryWeight, product of:
               1.6106479 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.017790752 = queryNorm
             0.99065244 = fieldWeight in 605, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.078125 = fieldNorm(doc=605)
         0.07715245 = weight(abstract_txt:knowledge in 605) [ClassicSimilarity], result of:
           0.07715245 = score(doc=605,freq=6.0), product of:
             0.11368346 = queryWeight, product of:
               1.8018397 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.017790752 = queryNorm
             0.67866033 = fieldWeight in 605, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=605)
         0.10506681 = weight(abstract_txt:intelligence in 605) [ClassicSimilarity], result of:
           0.10506681 = score(doc=605,freq=1.0), product of:
             0.23059258 = queryWeight, product of:
               2.2223928 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.017790752 = queryNorm
             0.45563832 = fieldWeight in 605, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.078125 = fieldNorm(doc=605)
         0.11681913 = weight(abstract_txt:artificial in 605) [ClassicSimilarity], result of:
           0.11681913 = score(doc=605,freq=1.0), product of:
             0.24748237 = queryWeight, product of:
               2.3023446 = boost
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.017790752 = queryNorm
             0.4720301 = fieldWeight in 605, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0419855 = idf(docFreq=286, maxDocs=44421)
               0.078125 = fieldNorm(doc=605)
         0.36553115 = weight(abstract_txt:representation in 605) [ClassicSimilarity], result of:
           0.36553115 = score(doc=605,freq=3.0), product of:
             0.54836583 = queryWeight, product of:
               6.2570944 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.017790752 = queryNorm
             0.66658264 = fieldWeight in 605, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.078125 = fieldNorm(doc=605)
       0.24 = coord(6/25)