. . . . "Logic Theorist"@pt . . "1100341740"^^ . . "Logic Theorist"@en . "Logic Theorist \u306F\u30011955\u5E74\u304B\u30891956\u5E74\u306B\u304B\u3051\u3066\u30A2\u30EC\u30F3\u30FB\u30CB\u30E5\u30FC\u30A6\u30A7\u30EB\u3001\u30CF\u30FC\u30D0\u30FC\u30C8\u30FB\u30B5\u30A4\u30E2\u30F3\u3001J\u30FBC\u30FB\u30B7\u30E7\u30FC\u304C\u958B\u767A\u3057\u305F\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u30D7\u30ED\u30B0\u30E9\u30E0\u3002\u4EBA\u9593\u306E\u554F\u984C\u89E3\u6C7A\u80FD\u529B\u3092\u771F\u4F3C\u3059\u308B\u3088\u3046\u610F\u56F3\u7684\u306B\u8A2D\u8A08\u3055\u308C\u305F\u4E16\u754C\u521D\u306E\u30D7\u30ED\u30B0\u30E9\u30E0\u3067\u3042\u308A\u3001\u300C\u4E16\u754C\u521D\u306E\u4EBA\u5DE5\u77E5\u80FD\u30D7\u30ED\u30B0\u30E9\u30E0\u300D\u3068\u79F0\u3055\u308C\u305F\u3002\u30DB\u30EF\u30A4\u30C8\u30D8\u30C3\u30C9\u3068\u30E9\u30C3\u30BB\u30EB\u306E\u300E\u30D7\u30EA\u30F3\u30AD\u30D4\u30A2\u30FB\u30DE\u30C6\u30DE\u30C6\u30A3\u30AB\u300F\u306E\u5192\u982D\u306E52\u306E\u5B9A\u7406\u306E\u3046\u306138\u3092\u8A3C\u660E\u3057\u3066\u307F\u305B\u3001\u4E00\u90E8\u306B\u3064\u3044\u3066\u306F\u65B0\u305F\u306A\u3082\u3063\u3068\u6D17\u7DF4\u3055\u308C\u305F\u8A3C\u660E\u65B9\u6CD5\u3092\u767A\u898B\u3057\u3066\u3044\u308B\u3002"@ja . . . . "Logic Theorist"@ja . "\u903B\u8F91\u7406\u8BBA\u5BB6\uFF08\u82F1\u8A9E\uFF1ALogic Theorist\uFF09\u662F\u7531\u827E\u4F26\u00B7\u7EBD\u5384\u5C14\u3001\u53F8\u9A6C\u8D3A\u548C\u4E8E1955\u5E74\u548C1956\u5E74\u95F4\u7F16\u5199\u7684\u8BA1\u7B97\u673A\u7A0B\u5E8F\uFF0C\u662F\u9996\u4E2A\u53EF\u4EE5\u81EA\u52A8\u8FDB\u884C\u63A8\u7406\u7684\u7A0B\u5E8F\uFF0C\u88AB\u79F0\u4E3A\u201C\u53F2\u4E0A\u9996\u4E2A\u4EBA\u5DE5\u667A\u80FD\u7A0B\u5E8F\u201D\u3002\u5B83\u6700\u540E\u8BC1\u660E\u4E86\u5728\u6000\u7279\u9ED1\u5FB7\u548C\u7F57\u7D20\u5408\u4F5C\u64B0\u5199\u7684\u6570\u5B66\u539F\u7406\u4E2D\u999652\u4E2A\u5B9A\u7406\u4E2D\u768438\u4E2A\uFF0C\u5728\u5F53\u4E2D\u66F4\u662F\u627E\u5230\u65E2\u65B0\u9896\u53C8\u4F18\u96C5\u7684\u8BC1\u660E\u3002"@zh . . . . . . . . . . "13685265"^^ . "Logic Theorist is a computer program written in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw. It was the first program deliberately engineered to perform automated reasoning and is called \"the first artificial intelligence program\". See It would eventually prove 38 of the first 52 theorems in Whitehead and Russell's Principia Mathematica and find new and more elegant proofs for some."@en . . . . . . . . . . . . "Logic Theorist \u00E4r ett resonerande dataprogram skrivet 1955-1956 av Allen Newell, Herbert A. Simon och . Det har kallats det f\u00F6rsta AI-programmet (artificiell intelligens-programmet). Programmet lyckades bland annat bevisa 38 av de f\u00F6rsta 52 teoremen i det andra kapitlet av Principia Mathematica. Logic Theorist kom introducerade dessutom flera begrepp som kom att bli centrala f\u00F6r AI-forskningen."@sv . . . "\u903B\u8F91\u7406\u8BBA\u5BB6"@zh . "Le Logic Theorist est un programme informatique \u00E9crit en 1955 et 1956 par Allen Newell, Herbert Simon et Cliff Shaw. Il a \u00E9t\u00E9 con\u00E7u pour reproduire les comp\u00E9tences de r\u00E9solution de probl\u00E8mes d\u2019un \u00EAtre humain et est consid\u00E9r\u00E9 comme le premier programme d'intelligence artificiel. Il a \u00E9t\u00E9 capable de prouver 38 des 52 th\u00E9or\u00E8mes des Principia Mathematica de Whitehead et Russell. Il a \u00E9t\u00E9 pr\u00E9sent\u00E9 en 1956 lors de la conf\u00E9rence de Dartmouth, consid\u00E9r\u00E9e comme l'acte de naissance de l'intelligence artificielle en tant que domaine de recherche autonome."@fr . "Le Logic Theorist est un programme informatique \u00E9crit en 1955 et 1956 par Allen Newell, Herbert Simon et Cliff Shaw. Il a \u00E9t\u00E9 con\u00E7u pour reproduire les comp\u00E9tences de r\u00E9solution de probl\u00E8mes d\u2019un \u00EAtre humain et est consid\u00E9r\u00E9 comme le premier programme d'intelligence artificiel. Il a \u00E9t\u00E9 capable de prouver 38 des 52 th\u00E9or\u00E8mes des Principia Mathematica de Whitehead et Russell. Il a \u00E9t\u00E9 pr\u00E9sent\u00E9 en 1956 lors de la conf\u00E9rence de Dartmouth, consid\u00E9r\u00E9e comme l'acte de naissance de l'intelligence artificielle en tant que domaine de recherche autonome."@fr . . . . . . . . . . . . "El Logic Theorist es un complejo sistema de manejo de informaci\u00F3n creado por Allen Newell, Herbert A. Simon y en 1955. Este sistema es considerado una de las primeras muestras de un programa exhibiendo comportamientos inteligentes, al imitar el comportamiento del ser humano para solucionar problemas matem\u00E1ticos. Utilizando esta estrategia, el programa fue capaz de demostrar 38 de los 52 teoremas presentados en Principia Mathematica escrito por Alfred North Whitehead y Bertrand Russell\u200B."@es . . . . . . . . . . . "Logic Theorist"@es . . . . . . "Logic Theorist \u00E4r ett resonerande dataprogram skrivet 1955-1956 av Allen Newell, Herbert A. Simon och . Det har kallats det f\u00F6rsta AI-programmet (artificiell intelligens-programmet). Programmet lyckades bland annat bevisa 38 av de f\u00F6rsta 52 teoremen i det andra kapitlet av Principia Mathematica. Logic Theorist kom introducerade dessutom flera begrepp som kom att bli centrala f\u00F6r AI-forskningen."@sv . . "Logic Theorist \u00E9 um programa de computador escrito em 1955 e 1956 por Allen Newell, Herbert Simon e J. C. Shaw. Foi o primeiro programa deliberadamente projetado para imitar as habilidades de resolver problemas de um ser humano e \u00E9 chamado, por alguns, de \"o primeiro programa de intelig\u00EAncia artificial\", embora alguns considerem o programa do jogo de damas de Arthur Samuel anterior. tamb\u00E9m escreveu um programa de damas em 1951. Este programa foi concebido para demonstrar teoremas do c\u00E1lculo proposicional. Ele acabaria por se demonstrar 38 dos primeiros 52 teoremas do Principia Mathematica de Russell e de Whitehead, e encontrar provas novas e mais elegantes de alguns."@pt . . "Logic Theorist \u00E9 um programa de computador escrito em 1955 e 1956 por Allen Newell, Herbert Simon e J. C. Shaw. Foi o primeiro programa deliberadamente projetado para imitar as habilidades de resolver problemas de um ser humano e \u00E9 chamado, por alguns, de \"o primeiro programa de intelig\u00EAncia artificial\", embora alguns considerem o programa do jogo de damas de Arthur Samuel anterior. tamb\u00E9m escreveu um programa de damas em 1951. Este programa foi concebido para demonstrar teoremas do c\u00E1lculo proposicional. Ele acabaria por se demonstrar 38 dos primeiros 52 teoremas do Principia Mathematica de Russell e de Whitehead, e encontrar provas novas e mais elegantes de alguns."@pt . . . "Logic Theorist is a computer program written in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw. It was the first program deliberately engineered to perform automated reasoning and is called \"the first artificial intelligence program\". See It would eventually prove 38 of the first 52 theorems in Whitehead and Russell's Principia Mathematica and find new and more elegant proofs for some."@en . . "\u903B\u8F91\u7406\u8BBA\u5BB6\uFF08\u82F1\u8A9E\uFF1ALogic Theorist\uFF09\u662F\u7531\u827E\u4F26\u00B7\u7EBD\u5384\u5C14\u3001\u53F8\u9A6C\u8D3A\u548C\u4E8E1955\u5E74\u548C1956\u5E74\u95F4\u7F16\u5199\u7684\u8BA1\u7B97\u673A\u7A0B\u5E8F\uFF0C\u662F\u9996\u4E2A\u53EF\u4EE5\u81EA\u52A8\u8FDB\u884C\u63A8\u7406\u7684\u7A0B\u5E8F\uFF0C\u88AB\u79F0\u4E3A\u201C\u53F2\u4E0A\u9996\u4E2A\u4EBA\u5DE5\u667A\u80FD\u7A0B\u5E8F\u201D\u3002\u5B83\u6700\u540E\u8BC1\u660E\u4E86\u5728\u6000\u7279\u9ED1\u5FB7\u548C\u7F57\u7D20\u5408\u4F5C\u64B0\u5199\u7684\u6570\u5B66\u539F\u7406\u4E2D\u999652\u4E2A\u5B9A\u7406\u4E2D\u768438\u4E2A\uFF0C\u5728\u5F53\u4E2D\u66F4\u662F\u627E\u5230\u65E2\u65B0\u9896\u53C8\u4F18\u96C5\u7684\u8BC1\u660E\u3002"@zh . . "11199"^^ . . . . . . . . . . "Logic Theorist"@fr . . . . . . "Logic Theorist"@sv . . . "El Logic Theorist es un complejo sistema de manejo de informaci\u00F3n creado por Allen Newell, Herbert A. Simon y en 1955. Este sistema es considerado una de las primeras muestras de un programa exhibiendo comportamientos inteligentes, al imitar el comportamiento del ser humano para solucionar problemas matem\u00E1ticos. Utilizando esta estrategia, el programa fue capaz de demostrar 38 de los 52 teoremas presentados en Principia Mathematica escrito por Alfred North Whitehead y Bertrand Russell\u200B."@es . . "Logic Theorist \u306F\u30011955\u5E74\u304B\u30891956\u5E74\u306B\u304B\u3051\u3066\u30A2\u30EC\u30F3\u30FB\u30CB\u30E5\u30FC\u30A6\u30A7\u30EB\u3001\u30CF\u30FC\u30D0\u30FC\u30C8\u30FB\u30B5\u30A4\u30E2\u30F3\u3001J\u30FBC\u30FB\u30B7\u30E7\u30FC\u304C\u958B\u767A\u3057\u305F\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u30D7\u30ED\u30B0\u30E9\u30E0\u3002\u4EBA\u9593\u306E\u554F\u984C\u89E3\u6C7A\u80FD\u529B\u3092\u771F\u4F3C\u3059\u308B\u3088\u3046\u610F\u56F3\u7684\u306B\u8A2D\u8A08\u3055\u308C\u305F\u4E16\u754C\u521D\u306E\u30D7\u30ED\u30B0\u30E9\u30E0\u3067\u3042\u308A\u3001\u300C\u4E16\u754C\u521D\u306E\u4EBA\u5DE5\u77E5\u80FD\u30D7\u30ED\u30B0\u30E9\u30E0\u300D\u3068\u79F0\u3055\u308C\u305F\u3002\u30DB\u30EF\u30A4\u30C8\u30D8\u30C3\u30C9\u3068\u30E9\u30C3\u30BB\u30EB\u306E\u300E\u30D7\u30EA\u30F3\u30AD\u30D4\u30A2\u30FB\u30DE\u30C6\u30DE\u30C6\u30A3\u30AB\u300F\u306E\u5192\u982D\u306E52\u306E\u5B9A\u7406\u306E\u3046\u306138\u3092\u8A3C\u660E\u3057\u3066\u307F\u305B\u3001\u4E00\u90E8\u306B\u3064\u3044\u3066\u306F\u65B0\u305F\u306A\u3082\u3063\u3068\u6D17\u7DF4\u3055\u308C\u305F\u8A3C\u660E\u65B9\u6CD5\u3092\u767A\u898B\u3057\u3066\u3044\u308B\u3002"@ja . . . . . . .