Search (4 results, page 1 of 1)

0.008691031 = product of:
  0.017382061 = sum of:
    0.017382061 = product of:
      0.034764122 = sum of:
        0.034764122 = weight(_text_:science in 3304) [ClassicSimilarity], result of:
          0.034764122 = score(doc=3304,freq=6.0), product of:
            0.13793045 = queryWeight, product of:
              2.6341193 = idf(docFreq=8627, maxDocs=44218)
              0.052363027 = queryNorm
            0.25204095 = fieldWeight in 3304, product of:
              2.4494898 = tf(freq=6.0), with freq of:
                6.0 = termFreq=6.0
              2.6341193 = idf(docFreq=8627, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3304)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

Knowledge and Inference discusses an important problem for software systems: How do we treat knowledge and ideas on a computer and how do we use inference to solve problems on a computer? The book talks about the problems of knowledge and inference for the purpose of merging artificial intelligence and library science. The book begins by clarifying the concept of ""knowledge"" from many points of view, followed by a chapter on the current state of library science and the place of artificial intelligence in library science. Subsequent chapters cover central topics in the artificial intelligence: search and problem solving, methods of making proofs, and the use of knowledge in looking for a proof. There is also a discussion of how to use the knowledge system. The final chapter describes a popular expert system. It describes tools for building expert systems using an example based on Expert Systems-A Practical Introduction by P. Sell (Macmillian, 1985). This type of software is called an ""expert system shell."" This book was written as a textbook for undergraduate students covering only the basics but explaining as much detail as possible.

0.0070944675 = product of:
  0.014188935 = sum of:
    0.014188935 = product of:
      0.02837787 = sum of:
        0.02837787 = weight(_text_:22 in 168) [ClassicSimilarity], result of:
          0.02837787 = score(doc=168,freq=2.0), product of:
            0.1833664 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.052363027 = queryNorm
            0.15476047 = fieldWeight in 168, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03125 = fieldNorm(doc=168)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date

20. 6.2012 19:08:22

0.0056769573 = product of:
  0.011353915 = sum of:
    0.011353915 = product of:
      0.02270783 = sum of:
        0.02270783 = weight(_text_:science in 4622) [ClassicSimilarity], result of:
          0.02270783 = score(doc=4622,freq=4.0), product of:
            0.13793045 = queryWeight, product of:
              2.6341193 = idf(docFreq=8627, maxDocs=44218)
              0.052363027 = queryNorm
            0.16463245 = fieldWeight in 4622, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.6341193 = idf(docFreq=8627, maxDocs=44218)
              0.03125 = fieldNorm(doc=4622)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

LCSH

Computer science

Subject

Computer science

0.0056769573 = product of:
  0.011353915 = sum of:
    0.011353915 = product of:
      0.02270783 = sum of:
        0.02270783 = weight(_text_:science in 359) [ClassicSimilarity], result of:
          0.02270783 = score(doc=359,freq=4.0), product of:
            0.13793045 = queryWeight, product of:
              2.6341193 = idf(docFreq=8627, maxDocs=44218)
              0.052363027 = queryNorm
            0.16463245 = fieldWeight in 359, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.6341193 = idf(docFreq=8627, maxDocs=44218)
              0.03125 = fieldNorm(doc=359)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

This text introduces the standardized knowledge representation languages for modeling ontologies operating at the core of the semantic web. It covers RDF schema, Web Ontology Language (OWL), rules, query languages, the OWL 2 revision, and the forthcoming Rule Interchange Format (RIF). A 2010 CHOICE Outstanding Academic Title ! The nine chapters of the book guide the reader through the major foundational languages for the semantic Web and highlight the formal semantics. ! the book has very interesting supporting material and exercises, is oriented to W3C standards, and provides the necessary foundations for the semantic Web. It will be easy to follow by the computer scientist who already has a basic background on semantic Web issues; it will also be helpful for both self-study and teaching purposes. I recommend this book primarily as a complementary textbook for a graduate or undergraduate course in a computer science or a Web science academic program. --Computing Reviews, February 2010 This book is unique in several respects. It contains an in-depth treatment of all the major foundational languages for the Semantic Web and provides a full treatment of the underlying formal semantics, which is central to the Semantic Web effort. It is also the very first textbook that addresses the forthcoming W3C recommended standards OWL 2 and RIF. Furthermore, the covered topics and underlying concepts are easily accessible for the reader due to a clear separation of syntax and semantics ! I am confident this book will be well received and play an important role in training a larger number of students who will seek to become proficient in this growing discipline.