Search (4 results, page 1 of 1)

0.0056890245 = product of:
  0.02844512 = sum of:
    0.0143920425 = product of:
      0.043176126 = sum of:
        0.043176126 = weight(_text_:problem in 3304) [ClassicSimilarity], result of:
          0.043176126 = score(doc=3304,freq=4.0), product of:
            0.1302053 = queryWeight, product of:
              4.244485 = idf(docFreq=1723, maxDocs=44218)
              0.03067635 = queryNorm
            0.33160037 = fieldWeight in 3304, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              4.244485 = idf(docFreq=1723, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3304)
      0.33333334 = coord(1/3)
    0.014053079 = product of:
      0.042159237 = sum of:
        0.042159237 = weight(_text_:1990 in 3304) [ClassicSimilarity], result of:
          0.042159237 = score(doc=3304,freq=3.0), product of:
            0.13825724 = queryWeight, product of:
              4.506965 = idf(docFreq=1325, maxDocs=44218)
              0.03067635 = queryNorm
            0.3049333 = fieldWeight in 3304, product of:
              1.7320508 = tf(freq=3.0), with freq of:
                3.0 = termFreq=3.0
              4.506965 = idf(docFreq=1325, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3304)
      0.33333334 = coord(1/3)
  0.2 = coord(2/10)

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.

Year

1990

0.002730698 = product of:
  0.027306981 = sum of:
    0.027306981 = product of:
      0.081920944 = sum of:
        0.081920944 = weight(_text_:problem in 63) [ClassicSimilarity], result of:
          0.081920944 = score(doc=63,freq=10.0), product of:
            0.1302053 = queryWeight, product of:
              4.244485 = idf(docFreq=1723, maxDocs=44218)
              0.03067635 = queryNorm
            0.6291675 = fieldWeight in 63, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              4.244485 = idf(docFreq=1723, maxDocs=44218)
              0.046875 = fieldNorm(doc=63)
      0.33333334 = coord(1/3)
  0.1 = coord(1/10)

Abstract

Epistemology or the theory of knowledge is one of the cornerstones of analytic philosophy, and this book provides a clear and accessible introduction to the subject. It discusses some of the main theories of justification, including foundationalism, coherentism, reliabilism, and virtue epistemology. Other topics include the Gettier problem, internalism and externalism, skepticism, the problem of epistemic circularity, the problem of the criterion, a priori knowledge, and naturalized epistemology. Intended primarily for students taking a first class in epistemology, this lucid and well-written text would also provide an excellent introduction for anyone interested in knowing more about this important area of philosophy.

Content

Knowledge, truth, and justification -- The traditional analysis and the Gettier problem -- Foundationalism -- The coherence theory of justification -- Reliabilism and virtue epistemology -- Internalism, externalism, and epistemic circularity -- Skepticism -- The problem of the criterion -- The a priori -- Naturalized epistemology

0.0010338926 = product of:
  0.010338926 = sum of:
    0.010338926 = product of:
      0.031016776 = sum of:
        0.031016776 = weight(_text_:2010 in 4402) [ClassicSimilarity], result of:
          0.031016776 = score(doc=4402,freq=2.0), product of:
            0.14672957 = queryWeight, product of:
              4.7831497 = idf(docFreq=1005, maxDocs=44218)
              0.03067635 = queryNorm
            0.21138735 = fieldWeight in 4402, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              4.7831497 = idf(docFreq=1005, maxDocs=44218)
              0.03125 = fieldNorm(doc=4402)
      0.33333334 = coord(1/3)
  0.1 = coord(1/10)

Abstract

David J. Chalmers constructs a highly ambitious and original picture of the world, from a few basic elements. He develops and extends Rudolf Carnap's attempt to do the same in Der Logische Aufbau Der Welt (1928). Carnap gave a blueprint for describing the entire world using a limited vocabulary, so that all truths about the world could be derived from that description--but his Aufbau is often seen as a noble failure. In Constructing the World, Chalmers argues that something like the Aufbau project can succeed. With the right vocabulary and the right derivation relation, we can indeed construct the world. The focal point of Chalmers's project is scrutability: roughly, the thesis that ideal reasoning from a limited class of basic truths yields all truths about the world. Chalmers first argues for the scrutability thesis and then considers how small the base can be. All this can be seen as a project in metaphysical epistemology: epistemology in service of a global picture of the world and of our conception thereof. The scrutability framework has ramifications throughout philosophy. Using it, Chalmers defends a broadly Fregean approach to meaning, argues for an internalist approach to the contents of thought, and rebuts W. V. Quine's arguments against the analytic and the a priori. He also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on Chalmers's 2010 John Locke lectures, Constructing the World opens up debate on central areas of philosophy including philosophy of language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas.

4.1562217E-4 = product of:
  0.0041562216 = sum of:
    0.0041562216 = product of:
      0.012468665 = sum of:
        0.012468665 = weight(_text_:22 in 3037) [ClassicSimilarity], result of:
          0.012468665 = score(doc=3037,freq=2.0), product of:
            0.10742335 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03067635 = queryNorm
            0.116070345 = fieldWeight in 3037, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0234375 = fieldNorm(doc=3037)
      0.33333334 = coord(1/3)
  0.1 = coord(1/10)

Date

22. 7.2009 13:43:50