Document (#40399)

Author
Mainzer, K.
Title
¬The emergence of self-conscious systems : from symbolic AI to embodied robotics
Source
Philosophy, computing and information science. Eds.: R. Hagengruber u. U.V. Riss
Imprint
London : Pickering & Chatto
Year
2014
Pages
S.57-65
Series
History and philosophy of technoscience; 3
Abstract
Knowledge representation, which is today used in database applications, artificial intelligence (AI), software engineering and many other disciplines of computer science has deep roots in logic and philosophy. In the beginning, there was Aristotle (384 bc-322 bc) who developed logic as a precise method for reasoning about knowledge. Syllogisms were introduced as formal patterns for representing special figures of logical deductions. According to Aristotle, the subject of ontology is the study of categories of things that exist or may exist in some domain. In modern times, Descartes considered the human brain as a store of knowledge representation. Recognition was made possible by an isomorphic correspondence between internal geometrical representations (ideae) and external situations and events. Leibniz was deeply influenced by these traditions. In his mathesis universalis, he required a universal formal language (lingua universalis) to represent human thinking by calculation procedures and to implement them by means of mechanical calculating machines. An ars iudicandi should allow every problem to be decided by an algorithm after representation in numeric symbols. An ars iveniendi should enable users to seek and enumerate desired data and solutions of problems. In the age of mechanics, knowledge representation was reduced to mechanical calculation procedures. In the twentieth century, computational cognitivism arose in the wake of Turing's theory of computability. In its functionalism, the hardware of a computer is related to the wetware of the human brain. The mind is understood as the software of a computer.
Theme
Wissensrepräsentation
Field
Informatik

Similar documents (author)

  1. Mainzer, K.: Computer - neue Flügel des Geistes? : die Evolution computergestützter Technik, Wissenschaft, Kultur und Philosophie (1994) 5.87 
    5.874302 = sum of:
  5.874302 = weight(author_txt:mainzer in 7280) [ClassicSimilarity], result of:
    5.874302 = fieldWeight in 7280, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.398883 = idf(docFreq=9, maxDocs=44421)
      0.625 = fieldNorm(doc=7280)
  2. Mainzer, K.: Aufgaben, Ziele und Grenzen der Neurophilosophie (1994) 5.87 
    5.874302 = sum of:
  5.874302 = weight(author_txt:mainzer in 1886) [ClassicSimilarity], result of:
    5.874302 = fieldWeight in 1886, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.398883 = idf(docFreq=9, maxDocs=44421)
      0.625 = fieldNorm(doc=1886)
  3. Mainzer, K.: Computernetze und virtuelle Realität : Leben in der Wissensgesellschaft (1999) 5.87 
    5.874302 = sum of:
  5.874302 = weight(author_txt:mainzer in 5064) [ClassicSimilarity], result of:
    5.874302 = fieldWeight in 5064, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.398883 = idf(docFreq=9, maxDocs=44421)
      0.625 = fieldNorm(doc=5064)
  4. Mainzer, K.: Gehirn, Computer, Komplexität (1997) 5.87 
    5.874302 = sum of:
  5.874302 = weight(author_txt:mainzer in 1680) [ClassicSimilarity], result of:
    5.874302 = fieldWeight in 1680, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.398883 = idf(docFreq=9, maxDocs=44421)
      0.625 = fieldNorm(doc=1680)
  5. Mainzer, K.: Information : Algorithmus, Wahrscheinlichkeit, Komplexität, Quantenwelt, Leben, Gehirn, Gesellschaft (2016) 5.87 
    5.874302 = sum of:
  5.874302 = weight(author_txt:mainzer in 4422) [ClassicSimilarity], result of:
    5.874302 = fieldWeight in 4422, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.398883 = idf(docFreq=9, maxDocs=44421)
      0.625 = fieldNorm(doc=4422)

Similar documents (content)

  1. Andreas, H.: On frames and theory-elements of structuralism (2014) 0.21 
    0.2111833 = sum of:
  0.2111833 = product of:
    0.6599478 = sum of:
      0.023202978 = weight(abstract_txt:should in 4402) [ClassicSimilarity], result of:
        0.023202978 = score(doc=4402,freq=1.0), product of:
          0.08378124 = queryWeight, product of:
            1.0916933 = boost
            4.4311547 = idf(docFreq=1436, maxDocs=44421)
            0.017319256 = queryNorm
          0.27694717 = fieldWeight in 4402, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.4311547 = idf(docFreq=1436, maxDocs=44421)
            0.0625 = fieldNorm(doc=4402)
      0.0777523 = weight(abstract_txt:formal in 4402) [ClassicSimilarity], result of:
        0.0777523 = score(doc=4402,freq=3.0), product of:
          0.13008265 = queryWeight, product of:
            1.360307 = boost
            5.521451 = idf(docFreq=482, maxDocs=44421)
            0.017319256 = queryNorm
          0.5977146 = fieldWeight in 4402, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            5.521451 = idf(docFreq=482, maxDocs=44421)
            0.0625 = fieldNorm(doc=4402)
      0.112102054 = weight(abstract_txt:logic in 4402) [ClassicSimilarity], result of:
        0.112102054 = score(doc=4402,freq=3.0), product of:
          0.16601714 = queryWeight, product of:
            1.5367517 = boost
            6.2376356 = idf(docFreq=235, maxDocs=44421)
            0.017319256 = queryNorm
          0.67524385 = fieldWeight in 4402, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.2376356 = idf(docFreq=235, maxDocs=44421)
            0.0625 = fieldNorm(doc=4402)
      0.04552916 = weight(abstract_txt:computer in 4402) [ClassicSimilarity], result of:
        0.04552916 = score(doc=4402,freq=2.0), product of:
          0.11930661 = queryWeight, product of:
            1.5955305 = boost
            4.317478 = idf(docFreq=1609, maxDocs=44421)
            0.017319256 = queryNorm
          0.38161474 = fieldWeight in 4402, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.317478 = idf(docFreq=1609, maxDocs=44421)
            0.0625 = fieldNorm(doc=4402)
      0.04103715 = weight(abstract_txt:human in 4402) [ClassicSimilarity], result of:
        0.04103715 = score(doc=4402,freq=1.0), product of:
          0.14025968 = queryWeight, product of:
            1.7299728 = boost
            4.681277 = idf(docFreq=1118, maxDocs=44421)
            0.017319256 = queryNorm
          0.2925798 = fieldWeight in 4402, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.681277 = idf(docFreq=1118, maxDocs=44421)
            0.0625 = fieldNorm(doc=4402)
      0.041204445 = weight(abstract_txt:knowledge in 4402) [ClassicSimilarity], result of:
        0.041204445 = score(doc=4402,freq=3.0), product of:
          0.10732888 = queryWeight, product of:
            1.747433 = boost
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.017319256 = queryNorm
          0.38390827 = fieldWeight in 4402, 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=4402)
      0.22895259 = weight(abstract_txt:universalis in 4402) [ClassicSimilarity], result of:
        0.22895259 = score(doc=4402,freq=1.0), product of:
          0.3854322 = queryWeight, product of:
            2.3415382 = boost
            9.504243 = idf(docFreq=8, maxDocs=44421)
            0.017319256 = queryNorm
          0.5940152 = fieldWeight in 4402, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.504243 = idf(docFreq=8, maxDocs=44421)
            0.0625 = fieldNorm(doc=4402)
      0.09016709 = weight(abstract_txt:representation in 4402) [ClassicSimilarity], result of:
        0.09016709 = score(doc=4402,freq=2.0), product of:
          0.20708549 = queryWeight, product of:
            2.4272642 = boost
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.017319256 = queryNorm
          0.43541 = fieldWeight in 4402, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.0625 = fieldNorm(doc=4402)
    0.32 = coord(8/25)
  2. Jaenecke, P.: Elementary principles for representing knowledge (1996) 0.12 
    0.12457565 = sum of:
  0.12457565 = product of:
    0.62287825 = sum of:
      0.06348449 = weight(abstract_txt:formal in 4512) [ClassicSimilarity], result of:
        0.06348449 = score(doc=4512,freq=2.0), product of:
          0.13008265 = queryWeight, product of:
            1.360307 = boost
            5.521451 = idf(docFreq=482, maxDocs=44421)
            0.017319256 = queryNorm
          0.48803192 = fieldWeight in 4512, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.521451 = idf(docFreq=482, maxDocs=44421)
            0.0625 = fieldNorm(doc=4512)
      0.09153095 = weight(abstract_txt:logic in 4512) [ClassicSimilarity], result of:
        0.09153095 = score(doc=4512,freq=2.0), product of:
          0.16601714 = queryWeight, product of:
            1.5367517 = boost
            6.2376356 = idf(docFreq=235, maxDocs=44421)
            0.017319256 = queryNorm
          0.5513343 = fieldWeight in 4512, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.2376356 = idf(docFreq=235, maxDocs=44421)
            0.0625 = fieldNorm(doc=4512)
      0.033643287 = weight(abstract_txt:knowledge in 4512) [ClassicSimilarity], result of:
        0.033643287 = score(doc=4512,freq=2.0), product of:
          0.10732888 = queryWeight, product of:
            1.747433 = boost
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.017319256 = queryNorm
          0.31345978 = fieldWeight in 4512, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.0625 = fieldNorm(doc=4512)
      0.32378784 = weight(abstract_txt:universalis in 4512) [ClassicSimilarity], result of:
        0.32378784 = score(doc=4512,freq=2.0), product of:
          0.3854322 = queryWeight, product of:
            2.3415382 = boost
            9.504243 = idf(docFreq=8, maxDocs=44421)
            0.017319256 = queryNorm
          0.8400643 = fieldWeight in 4512, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            9.504243 = idf(docFreq=8, maxDocs=44421)
            0.0625 = fieldNorm(doc=4512)
      0.11043168 = weight(abstract_txt:representation in 4512) [ClassicSimilarity], result of:
        0.11043168 = score(doc=4512,freq=3.0), product of:
          0.20708549 = queryWeight, product of:
            2.4272642 = boost
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.017319256 = queryNorm
          0.5332661 = fieldWeight in 4512, 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=4512)
    0.2 = coord(5/25)
  3. Devlin, K.: ¬The role of conceptual structure in human evolution (2000) 0.11 
    0.10588355 = sum of:
  0.10588355 = product of:
    0.52941775 = sum of:
      0.06829374 = weight(abstract_txt:computer in 6062) [ClassicSimilarity], result of:
        0.06829374 = score(doc=6062,freq=2.0), product of:
          0.11930661 = queryWeight, product of:
            1.5955305 = boost
            4.317478 = idf(docFreq=1609, maxDocs=44421)
            0.017319256 = queryNorm
          0.57242215 = fieldWeight in 6062, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.317478 = idf(docFreq=1609, maxDocs=44421)
            0.09375 = fieldNorm(doc=6062)
      0.08705294 = weight(abstract_txt:human in 6062) [ClassicSimilarity], result of:
        0.08705294 = score(doc=6062,freq=2.0), product of:
          0.14025968 = queryWeight, product of:
            1.7299728 = boost
            4.681277 = idf(docFreq=1118, maxDocs=44421)
            0.017319256 = queryNorm
          0.6206555 = fieldWeight in 6062, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.681277 = idf(docFreq=1118, maxDocs=44421)
            0.09375 = fieldNorm(doc=6062)
      0.035684094 = weight(abstract_txt:knowledge in 6062) [ClassicSimilarity], result of:
        0.035684094 = score(doc=6062,freq=1.0), product of:
          0.10732888 = queryWeight, product of:
            1.747433 = boost
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.017319256 = queryNorm
          0.33247432 = fieldWeight in 6062, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.09375 = fieldNorm(doc=6062)
      0.2427503 = weight(abstract_txt:brain in 6062) [ClassicSimilarity], result of:
        0.2427503 = score(doc=6062,freq=2.0), product of:
          0.24274668 = queryWeight, product of:
            1.8582488 = boost
            7.5425844 = idf(docFreq=63, maxDocs=44421)
            0.017319256 = queryNorm
          1.0000149 = fieldWeight in 6062, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            7.5425844 = idf(docFreq=63, maxDocs=44421)
            0.09375 = fieldNorm(doc=6062)
      0.09563664 = weight(abstract_txt:representation in 6062) [ClassicSimilarity], result of:
        0.09563664 = score(doc=6062,freq=1.0), product of:
          0.20708549 = queryWeight, product of:
            2.4272642 = boost
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.017319256 = queryNorm
          0.46182203 = fieldWeight in 6062, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.09375 = fieldNorm(doc=6062)
    0.2 = coord(5/25)
  4. Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 (2000) 0.09 
    0.09308519 = sum of:
  0.09308519 = product of:
    0.38785496 = sum of:
      0.06803326 = weight(abstract_txt:formal in 1691) [ClassicSimilarity], result of:
        0.06803326 = score(doc=1691,freq=3.0), product of:
          0.13008265 = queryWeight, product of:
            1.360307 = boost
            5.521451 = idf(docFreq=482, maxDocs=44421)
            0.017319256 = queryNorm
          0.5230003 = fieldWeight in 1691, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            5.521451 = idf(docFreq=482, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1691)
      0.12663275 = weight(abstract_txt:logic in 1691) [ClassicSimilarity], result of:
        0.12663275 = score(doc=1691,freq=5.0), product of:
          0.16601714 = queryWeight, product of:
            1.5367517 = boost
            6.2376356 = idf(docFreq=235, maxDocs=44421)
            0.017319256 = queryNorm
          0.7627691 = fieldWeight in 1691, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            6.2376356 = idf(docFreq=235, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1691)
      0.039838016 = weight(abstract_txt:computer in 1691) [ClassicSimilarity], result of:
        0.039838016 = score(doc=1691,freq=2.0), product of:
          0.11930661 = queryWeight, product of:
            1.5955305 = boost
            4.317478 = idf(docFreq=1609, maxDocs=44421)
            0.017319256 = queryNorm
          0.3339129 = fieldWeight in 1691, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.317478 = idf(docFreq=1609, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1691)
      0.035907503 = weight(abstract_txt:human in 1691) [ClassicSimilarity], result of:
        0.035907503 = score(doc=1691,freq=1.0), product of:
          0.14025968 = queryWeight, product of:
            1.7299728 = boost
            4.681277 = idf(docFreq=1118, maxDocs=44421)
            0.017319256 = queryNorm
          0.2560073 = fieldWeight in 1691, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.681277 = idf(docFreq=1118, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1691)
      0.020815723 = weight(abstract_txt:knowledge in 1691) [ClassicSimilarity], result of:
        0.020815723 = score(doc=1691,freq=1.0), product of:
          0.10732888 = queryWeight, product of:
            1.747433 = boost
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.017319256 = queryNorm
          0.19394335 = fieldWeight in 1691, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1691)
      0.09662772 = weight(abstract_txt:representation in 1691) [ClassicSimilarity], result of:
        0.09662772 = score(doc=1691,freq=3.0), product of:
          0.20708549 = queryWeight, product of:
            2.4272642 = boost
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.017319256 = queryNorm
          0.46660787 = fieldWeight in 1691, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1691)
    0.24 = coord(6/25)
  5. Swindells, N.: Managing the quality of information products (1995) 0.08 
    0.07913492 = sum of:
  0.07913492 = product of:
    0.49459326 = sum of:
      0.14886254 = weight(abstract_txt:wake in 3401) [ClassicSimilarity], result of:
        0.14886254 = score(doc=3401,freq=1.0), product of:
          0.17521465 = queryWeight, product of:
            1.1163424 = boost
            9.06241 = idf(docFreq=13, maxDocs=44421)
            0.017319256 = queryNorm
          0.849601 = fieldWeight in 3401, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.06241 = idf(docFreq=13, maxDocs=44421)
            0.09375 = fieldNorm(doc=3401)
      0.08029182 = weight(abstract_txt:procedures in 3401) [ClassicSimilarity], result of:
        0.08029182 = score(doc=3401,freq=1.0), product of:
          0.1462753 = queryWeight, product of:
            1.4424897 = boost
            5.8550286 = idf(docFreq=345, maxDocs=44421)
            0.017319256 = queryNorm
          0.54890895 = fieldWeight in 3401, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.8550286 = idf(docFreq=345, maxDocs=44421)
            0.09375 = fieldNorm(doc=3401)
      0.06155573 = weight(abstract_txt:human in 3401) [ClassicSimilarity], result of:
        0.06155573 = score(doc=3401,freq=1.0), product of:
          0.14025968 = queryWeight, product of:
            1.7299728 = boost
            4.681277 = idf(docFreq=1118, maxDocs=44421)
            0.017319256 = queryNorm
          0.4388697 = fieldWeight in 3401, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.681277 = idf(docFreq=1118, maxDocs=44421)
            0.09375 = fieldNorm(doc=3401)
      0.20388317 = weight(abstract_txt:mechanical in 3401) [ClassicSimilarity], result of:
        0.20388317 = score(doc=3401,freq=1.0), product of:
          0.27225617 = queryWeight, product of:
            1.9679592 = boost
            7.9878955 = idf(docFreq=40, maxDocs=44421)
            0.017319256 = queryNorm
          0.7488652 = fieldWeight in 3401, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.9878955 = idf(docFreq=40, maxDocs=44421)
            0.09375 = fieldNorm(doc=3401)
    0.16 = coord(4/25)