Search (4 results, page 1 of 1)

0.0021981692 = product of:
  0.0043963385 = sum of:
    0.0043963385 = product of:
      0.008792677 = sum of:
        0.008792677 = weight(_text_:a in 685) [ClassicSimilarity], result of:
          0.008792677 = score(doc=685,freq=14.0), product of:
            0.043477926 = queryWeight, product of:
              1.153047 = idf(docFreq=37942, maxDocs=44218)
              0.037706986 = queryNorm
            0.20223314 = fieldWeight in 685, product of:
              3.7416575 = tf(freq=14.0), with freq of:
                14.0 = termFreq=14.0
              1.153047 = idf(docFreq=37942, maxDocs=44218)
              0.046875 = fieldNorm(doc=685)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

Parsing, the syntactic analysis of language, has been studied extensively in computer science and computational linguistics. Computer programs and natural languages share an underlying theory of formal languages and require efficient parsing algorithms. This introductions reviews the thory of parsing from a novel perspective, it provides a formalism to capture the essential traits of a parser that abstracts from the fine detail and allows a uniform description and comparison of a variety of parsers, including Earley, Tomita, LR, Left-Corner, and Head-Corner parsers. The emphasis is on context-free phrase structure grammar and how these parsers can be extended to unification formalisms. The book combines mathematical rigor with high readability and is suitable as a graduate course text

0.0015481601 = product of:
  0.0030963202 = sum of:
    0.0030963202 = product of:
      0.0061926404 = sum of:
        0.0061926404 = weight(_text_:a in 1529) [ClassicSimilarity], result of:
          0.0061926404 = score(doc=1529,freq=10.0), product of:
            0.043477926 = queryWeight, product of:
              1.153047 = idf(docFreq=37942, maxDocs=44218)
              0.037706986 = queryNorm
            0.14243183 = fieldWeight in 1529, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              1.153047 = idf(docFreq=37942, maxDocs=44218)
              0.0390625 = fieldNorm(doc=1529)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

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.

0.0011077732 = product of:
  0.0022155463 = sum of:
    0.0022155463 = product of:
      0.0044310926 = sum of:
        0.0044310926 = weight(_text_:a in 121) [ClassicSimilarity], result of:
          0.0044310926 = score(doc=121,freq=2.0), product of:
            0.043477926 = queryWeight, product of:
              1.153047 = idf(docFreq=37942, maxDocs=44218)
              0.037706986 = queryNorm
            0.10191591 = fieldWeight in 121, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              1.153047 = idf(docFreq=37942, maxDocs=44218)
              0.0625 = fieldNorm(doc=121)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

9.791424E-4 = product of:
  0.0019582848 = sum of:
    0.0019582848 = product of:
      0.0039165695 = sum of:
        0.0039165695 = weight(_text_:a in 1661) [ClassicSimilarity], result of:
          0.0039165695 = score(doc=1661,freq=4.0), product of:
            0.043477926 = queryWeight, product of:
              1.153047 = idf(docFreq=37942, maxDocs=44218)
              0.037706986 = queryNorm
            0.090081796 = fieldWeight in 1661, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              1.153047 = idf(docFreq=37942, maxDocs=44218)
              0.0390625 = fieldNorm(doc=1661)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Editor

Boehm, A., A. Mengel u. T. Muhr