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.871439 = sum of:
  5.871439 = weight(author_txt:mainzer in 7281) [ClassicSimilarity], result of:
    5.871439 = fieldWeight in 7281, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.394302 = idf(docFreq=9, maxDocs=44218)
      0.625 = fieldNorm(doc=7281)
  2. Mainzer, K.: Aufgaben, Ziele und Grenzen der Neurophilosophie (1994) 5.87 
    5.871439 = sum of:
  5.871439 = weight(author_txt:mainzer in 1818) [ClassicSimilarity], result of:
    5.871439 = fieldWeight in 1818, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.394302 = idf(docFreq=9, maxDocs=44218)
      0.625 = fieldNorm(doc=1818)
  3. Mainzer, K.: Computernetze und virtuelle Realität : Leben in der Wissensgesellschaft (1999) 5.87 
    5.871439 = sum of:
  5.871439 = weight(author_txt:mainzer in 4064) [ClassicSimilarity], result of:
    5.871439 = fieldWeight in 4064, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.394302 = idf(docFreq=9, maxDocs=44218)
      0.625 = fieldNorm(doc=4064)
  4. Mainzer, K.: Gehirn, Computer, Komplexität (1997) 5.87 
    5.871439 = sum of:
  5.871439 = weight(author_txt:mainzer in 680) [ClassicSimilarity], result of:
    5.871439 = fieldWeight in 680, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.394302 = idf(docFreq=9, maxDocs=44218)
      0.625 = fieldNorm(doc=680)
  5. Mainzer, K.: Information : Algorithmus, Wahrscheinlichkeit, Komplexität, Quantenwelt, Leben, Gehirn, Gesellschaft (2016) 5.87 
    5.871439 = sum of:
  5.871439 = weight(author_txt:mainzer in 3422) [ClassicSimilarity], result of:
    5.871439 = fieldWeight in 3422, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.394302 = idf(docFreq=9, maxDocs=44218)
      0.625 = fieldNorm(doc=3422)

Similar documents (content)

  1. Andreas, H.: On frames and theory-elements of structuralism (2014) 0.21 
    0.211063 = sum of:
  0.211063 = product of:
    0.6595719 = sum of:
      0.02321331 = weight(abstract_txt:should in 3402) [ClassicSimilarity], result of:
        0.02321331 = score(doc=3402,freq=1.0), product of:
          0.08378636 = queryWeight, product of:
            1.0889481 = boost
            4.432857 = idf(docFreq=1427, maxDocs=44218)
            0.01735731 = queryNorm
          0.27705356 = fieldWeight in 3402, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.432857 = idf(docFreq=1427, maxDocs=44218)
            0.0625 = fieldNorm(doc=3402)
      0.077591516 = weight(abstract_txt:formal in 3402) [ClassicSimilarity], result of:
        0.077591516 = score(doc=3402,freq=3.0), product of:
          0.12987265 = queryWeight, product of:
            1.3557492 = boost
            5.5189433 = idf(docFreq=481, maxDocs=44218)
            0.01735731 = queryNorm
          0.5974431 = fieldWeight in 3402, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            5.5189433 = idf(docFreq=481, maxDocs=44218)
            0.0625 = fieldNorm(doc=3402)
      0.11200485 = weight(abstract_txt:logic in 3402) [ClassicSimilarity], result of:
        0.11200485 = score(doc=3402,freq=3.0), product of:
          0.16588205 = queryWeight, product of:
            1.5322168 = boost
            6.237302 = idf(docFreq=234, maxDocs=44218)
            0.01735731 = queryNorm
          0.67520773 = fieldWeight in 3402, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.237302 = idf(docFreq=234, maxDocs=44218)
            0.0625 = fieldNorm(doc=3402)
      0.04550967 = weight(abstract_txt:computer in 3402) [ClassicSimilarity], result of:
        0.04550967 = score(doc=3402,freq=2.0), product of:
          0.11924445 = queryWeight, product of:
            1.5910552 = boost
            4.317879 = idf(docFreq=1601, maxDocs=44218)
            0.01735731 = queryNorm
          0.3816502 = fieldWeight in 3402, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.317879 = idf(docFreq=1601, maxDocs=44218)
            0.0625 = fieldNorm(doc=3402)
      0.04129073 = weight(abstract_txt:human in 3402) [ClassicSimilarity], result of:
        0.04129073 = score(doc=3402,freq=1.0), product of:
          0.1408037 = queryWeight, product of:
            1.7289132 = boost
            4.692005 = idf(docFreq=1101, maxDocs=44218)
            0.01735731 = queryNorm
          0.29325032 = fieldWeight in 3402, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.692005 = idf(docFreq=1101, maxDocs=44218)
            0.0625 = fieldNorm(doc=3402)
      0.04139851 = weight(abstract_txt:knowledge in 3402) [ClassicSimilarity], result of:
        0.04139851 = score(doc=3402,freq=3.0), product of:
          0.107640244 = queryWeight, product of:
            1.745512 = boost
            3.5527887 = idf(docFreq=3442, maxDocs=44218)
            0.01735731 = queryNorm
          0.38460067 = fieldWeight in 3402, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            3.5527887 = idf(docFreq=3442, maxDocs=44218)
            0.0625 = fieldNorm(doc=3402)
      0.22846013 = weight(abstract_txt:universalis in 3402) [ClassicSimilarity], result of:
        0.22846013 = score(doc=3402,freq=1.0), product of:
          0.38478863 = queryWeight, product of:
            2.333628 = boost
            9.499662 = idf(docFreq=8, maxDocs=44218)
            0.01735731 = queryNorm
          0.5937289 = fieldWeight in 3402, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.499662 = idf(docFreq=8, maxDocs=44218)
            0.0625 = fieldNorm(doc=3402)
      0.09010316 = weight(abstract_txt:representation in 3402) [ClassicSimilarity], result of:
        0.09010316 = score(doc=3402,freq=2.0), product of:
          0.20693882 = queryWeight, product of:
            2.4202292 = boost
            4.926098 = idf(docFreq=871, maxDocs=44218)
            0.01735731 = queryNorm
          0.43540964 = fieldWeight in 3402, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.926098 = idf(docFreq=871, maxDocs=44218)
            0.0625 = fieldNorm(doc=3402)
    0.32 = coord(8/25)
  2. Jaenecke, P.: Elementary principles for representing knowledge (1996) 0.12 
    0.124410264 = sum of:
  0.124410264 = product of:
    0.6220513 = sum of:
      0.06335321 = weight(abstract_txt:formal in 4444) [ClassicSimilarity], result of:
        0.06335321 = score(doc=4444,freq=2.0), product of:
          0.12987265 = queryWeight, product of:
            1.3557492 = boost
            5.5189433 = idf(docFreq=481, maxDocs=44218)
            0.01735731 = queryNorm
          0.48781028 = fieldWeight in 4444, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.5189433 = idf(docFreq=481, maxDocs=44218)
            0.0625 = fieldNorm(doc=4444)
      0.09145157 = weight(abstract_txt:logic in 4444) [ClassicSimilarity], result of:
        0.09145157 = score(doc=4444,freq=2.0), product of:
          0.16588205 = queryWeight, product of:
            1.5322168 = boost
            6.237302 = idf(docFreq=234, maxDocs=44218)
            0.01735731 = queryNorm
          0.5513048 = fieldWeight in 4444, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.237302 = idf(docFreq=234, maxDocs=44218)
            0.0625 = fieldNorm(doc=4444)
      0.033801742 = weight(abstract_txt:knowledge in 4444) [ClassicSimilarity], result of:
        0.033801742 = score(doc=4444,freq=2.0), product of:
          0.107640244 = queryWeight, product of:
            1.745512 = boost
            3.5527887 = idf(docFreq=3442, maxDocs=44218)
            0.01735731 = queryNorm
          0.31402513 = fieldWeight in 4444, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.5527887 = idf(docFreq=3442, maxDocs=44218)
            0.0625 = fieldNorm(doc=4444)
      0.32309142 = weight(abstract_txt:universalis in 4444) [ClassicSimilarity], result of:
        0.32309142 = score(doc=4444,freq=2.0), product of:
          0.38478863 = queryWeight, product of:
            2.333628 = boost
            9.499662 = idf(docFreq=8, maxDocs=44218)
            0.01735731 = queryNorm
          0.83965945 = fieldWeight in 4444, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            9.499662 = idf(docFreq=8, maxDocs=44218)
            0.0625 = fieldNorm(doc=4444)
      0.11035337 = weight(abstract_txt:representation in 4444) [ClassicSimilarity], result of:
        0.11035337 = score(doc=4444,freq=3.0), product of:
          0.20693882 = queryWeight, product of:
            2.4202292 = boost
            4.926098 = idf(docFreq=871, maxDocs=44218)
            0.01735731 = queryNorm
          0.5332657 = fieldWeight in 4444, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            4.926098 = idf(docFreq=871, maxDocs=44218)
            0.0625 = fieldNorm(doc=4444)
    0.2 = coord(5/25)
  3. Devlin, K.: ¬The role of conceptual structure in human evolution (2000) 0.11 
    0.106186844 = sum of:
  0.106186844 = product of:
    0.5309342 = sum of:
      0.06826451 = weight(abstract_txt:computer in 5062) [ClassicSimilarity], result of:
        0.06826451 = score(doc=5062,freq=2.0), product of:
          0.11924445 = queryWeight, product of:
            1.5910552 = boost
            4.317879 = idf(docFreq=1601, maxDocs=44218)
            0.01735731 = queryNorm
          0.5724753 = fieldWeight in 5062, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.317879 = idf(docFreq=1601, maxDocs=44218)
            0.09375 = fieldNorm(doc=5062)
      0.08759086 = weight(abstract_txt:human in 5062) [ClassicSimilarity], result of:
        0.08759086 = score(doc=5062,freq=2.0), product of:
          0.1408037 = queryWeight, product of:
            1.7289132 = boost
            4.692005 = idf(docFreq=1101, maxDocs=44218)
            0.01735731 = queryNorm
          0.6220778 = fieldWeight in 5062, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.692005 = idf(docFreq=1101, maxDocs=44218)
            0.09375 = fieldNorm(doc=5062)
      0.03585216 = weight(abstract_txt:knowledge in 5062) [ClassicSimilarity], result of:
        0.03585216 = score(doc=5062,freq=1.0), product of:
          0.107640244 = queryWeight, product of:
            1.745512 = boost
            3.5527887 = idf(docFreq=3442, maxDocs=44218)
            0.01735731 = queryNorm
          0.33307394 = fieldWeight in 5062, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.5527887 = idf(docFreq=3442, maxDocs=44218)
            0.09375 = fieldNorm(doc=5062)
      0.24365787 = weight(abstract_txt:brain in 5062) [ClassicSimilarity], result of:
        0.24365787 = score(doc=5062,freq=2.0), product of:
          0.243294 = queryWeight, product of:
            1.8556079 = boost
            7.5537524 = idf(docFreq=62, maxDocs=44218)
            0.01735731 = queryNorm
          1.0014956 = fieldWeight in 5062, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            7.5537524 = idf(docFreq=62, maxDocs=44218)
            0.09375 = fieldNorm(doc=5062)
      0.09556883 = weight(abstract_txt:representation in 5062) [ClassicSimilarity], result of:
        0.09556883 = score(doc=5062,freq=1.0), product of:
          0.20693882 = queryWeight, product of:
            2.4202292 = boost
            4.926098 = idf(docFreq=871, maxDocs=44218)
            0.01735731 = queryNorm
          0.46182168 = fieldWeight in 5062, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.926098 = idf(docFreq=871, maxDocs=44218)
            0.09375 = fieldNorm(doc=5062)
    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.09308131 = sum of:
  0.09308131 = product of:
    0.3878388 = sum of:
      0.06789258 = weight(abstract_txt:formal in 691) [ClassicSimilarity], result of:
        0.06789258 = score(doc=691,freq=3.0), product of:
          0.12987265 = queryWeight, product of:
            1.3557492 = boost
            5.5189433 = idf(docFreq=481, maxDocs=44218)
            0.01735731 = queryNorm
          0.5227627 = fieldWeight in 691, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            5.5189433 = idf(docFreq=481, maxDocs=44218)
            0.0546875 = fieldNorm(doc=691)
      0.12652293 = weight(abstract_txt:logic in 691) [ClassicSimilarity], result of:
        0.12652293 = score(doc=691,freq=5.0), product of:
          0.16588205 = queryWeight, product of:
            1.5322168 = boost
            6.237302 = idf(docFreq=234, maxDocs=44218)
            0.01735731 = queryNorm
          0.7627283 = fieldWeight in 691, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            6.237302 = idf(docFreq=234, maxDocs=44218)
            0.0546875 = fieldNorm(doc=691)
      0.03982096 = weight(abstract_txt:computer in 691) [ClassicSimilarity], result of:
        0.03982096 = score(doc=691,freq=2.0), product of:
          0.11924445 = queryWeight, product of:
            1.5910552 = boost
            4.317879 = idf(docFreq=1601, maxDocs=44218)
            0.01735731 = queryNorm
          0.33394393 = fieldWeight in 691, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.317879 = idf(docFreq=1601, maxDocs=44218)
            0.0546875 = fieldNorm(doc=691)
      0.03612939 = weight(abstract_txt:human in 691) [ClassicSimilarity], result of:
        0.03612939 = score(doc=691,freq=1.0), product of:
          0.1408037 = queryWeight, product of:
            1.7289132 = boost
            4.692005 = idf(docFreq=1101, maxDocs=44218)
            0.01735731 = queryNorm
          0.25659403 = fieldWeight in 691, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.692005 = idf(docFreq=1101, maxDocs=44218)
            0.0546875 = fieldNorm(doc=691)
      0.020913761 = weight(abstract_txt:knowledge in 691) [ClassicSimilarity], result of:
        0.020913761 = score(doc=691,freq=1.0), product of:
          0.107640244 = queryWeight, product of:
            1.745512 = boost
            3.5527887 = idf(docFreq=3442, maxDocs=44218)
            0.01735731 = queryNorm
          0.19429314 = fieldWeight in 691, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.5527887 = idf(docFreq=3442, maxDocs=44218)
            0.0546875 = fieldNorm(doc=691)
      0.096559204 = weight(abstract_txt:representation in 691) [ClassicSimilarity], result of:
        0.096559204 = score(doc=691,freq=3.0), product of:
          0.20693882 = queryWeight, product of:
            2.4202292 = boost
            4.926098 = idf(docFreq=871, maxDocs=44218)
            0.01735731 = queryNorm
          0.4666075 = fieldWeight in 691, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            4.926098 = idf(docFreq=871, maxDocs=44218)
            0.0546875 = fieldNorm(doc=691)
    0.24 = coord(6/25)
  5. Swindells, N.: Managing the quality of information products (1995) 0.08 
    0.079934604 = sum of:
  0.079934604 = product of:
    0.4995913 = sum of:
      0.1522075 = weight(abstract_txt:wake in 3333) [ClassicSimilarity], result of:
        0.1522075 = score(doc=3333,freq=1.0), product of:
          0.17778774 = queryWeight, product of:
            1.1216476 = boost
            9.131938 = idf(docFreq=12, maxDocs=44218)
            0.01735731 = queryNorm
          0.85611916 = fieldWeight in 3333, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.131938 = idf(docFreq=12, maxDocs=44218)
            0.09375 = fieldNorm(doc=3333)
      0.08016579 = weight(abstract_txt:procedures in 3333) [ClassicSimilarity], result of:
        0.08016579 = score(doc=3333,freq=1.0), product of:
          0.14608777 = queryWeight, product of:
            1.4378959 = boost
            5.853343 = idf(docFreq=344, maxDocs=44218)
            0.01735731 = queryNorm
          0.5487509 = fieldWeight in 3333, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.853343 = idf(docFreq=344, maxDocs=44218)
            0.09375 = fieldNorm(doc=3333)
      0.06193609 = weight(abstract_txt:human in 3333) [ClassicSimilarity], result of:
        0.06193609 = score(doc=3333,freq=1.0), product of:
          0.1408037 = queryWeight, product of:
            1.7289132 = boost
            4.692005 = idf(docFreq=1101, maxDocs=44218)
            0.01735731 = queryNorm
          0.43987548 = fieldWeight in 3333, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.692005 = idf(docFreq=1101, maxDocs=44218)
            0.09375 = fieldNorm(doc=3333)
      0.20528191 = weight(abstract_txt:mechanical in 3333) [ClassicSimilarity], result of:
        0.20528191 = score(doc=3333,freq=1.0), product of:
          0.2734355 = queryWeight, product of:
            1.9671974 = boost
            8.008008 = idf(docFreq=39, maxDocs=44218)
            0.01735731 = queryNorm
          0.7507508 = fieldWeight in 3333, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.008008 = idf(docFreq=39, maxDocs=44218)
            0.09375 = fieldNorm(doc=3333)
    0.16 = coord(4/25)