-
Krause, P.J.; Clark, D.: Representing uncertain knowledge (1993)
0.01
0.0071347198 = product of:
0.099886075 = sum of:
0.099886075 = weight(_text_:representation in 798) [ClassicSimilarity], result of:
0.099886075 = score(doc=798,freq=4.0), product of:
0.11578492 = queryWeight, product of:
4.600994 = idf(docFreq=1206, maxDocs=44218)
0.025165197 = queryNorm
0.8626864 = fieldWeight in 798, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
4.600994 = idf(docFreq=1206, maxDocs=44218)
0.09375 = fieldNorm(doc=798)
0.071428575 = coord(1/14)
- LCSH
- Knowledge representation (Information theory)
- Subject
- Knowledge representation (Information theory)
-
Hodgson, J.P.E.: Knowledge representation and language in AI (1991)
0.01
0.006971834 = product of:
0.097605675 = sum of:
0.097605675 = weight(_text_:representation in 1529) [ClassicSimilarity], result of:
0.097605675 = score(doc=1529,freq=22.0), product of:
0.11578492 = queryWeight, product of:
4.600994 = idf(docFreq=1206, maxDocs=44218)
0.025165197 = queryNorm
0.84299123 = fieldWeight in 1529, product of:
4.690416 = tf(freq=22.0), with freq of:
22.0 = termFreq=22.0
4.600994 = idf(docFreq=1206, maxDocs=44218)
0.0390625 = fieldNorm(doc=1529)
0.071428575 = coord(1/14)
- 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.
- LCSH
- Knowledge / representation (Information theory)
- Subject
- Knowledge / representation (Information theory)
-
Penrose, R.: Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins (1995)
0.01
0.0059919497 = product of:
0.083887294 = sum of:
0.083887294 = weight(_text_:mental in 4450) [ClassicSimilarity], result of:
0.083887294 = score(doc=4450,freq=4.0), product of:
0.16438161 = queryWeight, product of:
6.532101 = idf(docFreq=174, maxDocs=44218)
0.025165197 = queryNorm
0.5103204 = fieldWeight in 4450, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
6.532101 = idf(docFreq=174, maxDocs=44218)
0.0390625 = fieldNorm(doc=4450)
0.071428575 = coord(1/14)
- LCSH
- Mental Processes
- Subject
- Mental Processes
-
Lenat, D.B.; Guha, R.V.: Building large knowledge-based systems representation and inference in the CYC project (1990)
0.00
0.0042041745 = product of:
0.05885844 = sum of:
0.05885844 = weight(_text_:representation in 136) [ClassicSimilarity], result of:
0.05885844 = score(doc=136,freq=2.0), product of:
0.11578492 = queryWeight, product of:
4.600994 = idf(docFreq=1206, maxDocs=44218)
0.025165197 = queryNorm
0.50834286 = fieldWeight in 136, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
4.600994 = idf(docFreq=1206, maxDocs=44218)
0.078125 = fieldNorm(doc=136)
0.071428575 = coord(1/14)
-
Penrose, R.: Computerdenken : Des Kaisers neue Kleider oder Die Debatte um Künstliche Intelligenz, Bewußtsein und die Gesetze der Physik (1991)
0.00
4.633888E-4 = product of:
0.006487443 = sum of:
0.006487443 = product of:
0.019462328 = sum of:
0.019462328 = weight(_text_:29 in 4451) [ClassicSimilarity], result of:
0.019462328 = score(doc=4451,freq=4.0), product of:
0.08852329 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.025165197 = queryNorm
0.21985546 = fieldWeight in 4451, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03125 = fieldNorm(doc=4451)
0.33333334 = coord(1/3)
0.071428575 = coord(1/14)
- Classification
- NAT 29
- SFB
- NAT 29