| http://dbpedia.org/ontology/abstract
|
Logic Theorist é um programa de computador … Logic Theorist é 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 é chamado, por alguns, de "o primeiro programa de inteligência artificial", embora alguns considerem o programa do jogo de damas de Arthur Samuel anterior. também escreveu um programa de damas em 1951. Este programa foi concebido para demonstrar teoremas do cálculo 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.r provas novas e mais elegantes de alguns.
, Logic Theorist is a computer program writt … 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.find new and more elegant proofs for some.
, Logic Theorist は、1955年から1956年にかけてアレン・ニューウェル、ハーバート・サイモン、J・C・ショーが開発したコンピュータプログラム。人間の問題解決能力を真似するよう意図的に設計された世界初のプログラムであり、「世界初の人工知能プログラム」と称された。ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の冒頭の52の定理のうち38を証明してみせ、一部については新たなもっと洗練された証明方法を発見している。
, Logic Theorist är ett resonerande dataprog … Logic Theorist är ett resonerande dataprogram skrivet 1955-1956 av Allen Newell, Herbert A. Simon och . Det har kallats det första AI-programmet (artificiell intelligens-programmet). Programmet lyckades bland annat bevisa 38 av de första 52 teoremen i det andra kapitlet av Principia Mathematica. Logic Theorist kom introducerade dessutom flera begrepp som kom att bli centrala för AI-forskningen.m kom att bli centrala för AI-forskningen.
, Le Logic Theorist est un programme informa … Le Logic Theorist est un programme informatique écrit en 1955 et 1956 par Allen Newell, Herbert Simon et Cliff Shaw. Il a été conçu pour reproduire les compétences de résolution de problèmes d’un être humain et est considéré comme le premier programme d'intelligence artificiel. Il a été capable de prouver 38 des 52 théorèmes des Principia Mathematica de Whitehead et Russell. Il a été présenté en 1956 lors de la conférence de Dartmouth, considérée comme l'acte de naissance de l'intelligence artificielle en tant que domaine de recherche autonome.en tant que domaine de recherche autonome.
, El Logic Theorist es un complejo sistema d … El Logic Theorist es un complejo sistema de manejo de información 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áticos. 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.lfred North Whitehead y Bertrand Russell.
, 逻辑理论家（英語：Logic Theorist）是由艾伦·纽厄尔、司马贺和于1955年和1956年间编写的计算机程序，是首个可以自动进行推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://shelf1.library.cmu.edu/IMLS/MindModels/humanandmachine.html +
, https://github.com/theoremprover-museum/logic-theorist +
, https://commons.wikimedia.org/wiki/File:Newell_Simon_The_Logic_Theory_Machine_Jul56.pdf +
, http://shelf1.library.cmu.edu/IMLS/MindModels/logictheorymachine.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
13685265
|
| http://dbpedia.org/ontology/wikiPageLength
|
11199
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1100341740
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Cliff_Shaw +
, http://dbpedia.org/resource/Exponential_growth +
, http://dbpedia.org/resource/Heuristics +
, http://dbpedia.org/resource/Hypothesis +
, http://dbpedia.org/resource/Information_Processing_Language +
, http://dbpedia.org/resource/Daniel_Crevier +
, http://dbpedia.org/resource/Bureaucracy +
, http://dbpedia.org/resource/Automated_reasoning +
, http://dbpedia.org/resource/Bertrand_Russell +
, http://dbpedia.org/resource/Nathaniel_Rochester_%28computer_scientist%29 +
, http://dbpedia.org/resource/Claude_Shannon +
, http://dbpedia.org/resource/Physical_symbol_systems_hypothesis +
, http://dbpedia.org/resource/Intractability_%28complexity%29 +
, http://dbpedia.org/resource/Category:History_of_artificial_intelligence +
, http://dbpedia.org/resource/Pattern_matching +
, http://dbpedia.org/resource/Soar_%28cognitive_architecture%29 +
, http://dbpedia.org/resource/Principia_Mathematica +
, http://dbpedia.org/resource/Organization_theory +
, http://dbpedia.org/resource/Marvin_Minsky +
, http://dbpedia.org/resource/Proposition +
, http://dbpedia.org/resource/General_Problem_Solver +
, http://dbpedia.org/resource/How_to_Solve_It +
, http://dbpedia.org/resource/Mind-body_problem +
, http://dbpedia.org/resource/20_century +
, http://dbpedia.org/resource/Pamela_McCorduck +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/George_P%C3%B3lya +
, http://dbpedia.org/resource/Natural_selection +
, http://dbpedia.org/resource/Information_processing +
, http://dbpedia.org/resource/Chinese_room +
, http://dbpedia.org/resource/Rules_of_thumb +
, http://dbpedia.org/resource/Lisp_%28programming_language%29 +
, http://dbpedia.org/resource/John_McCarthy_%28computer_scientist%29 +
, http://dbpedia.org/resource/Logistics +
, http://dbpedia.org/resource/Political_scientist +
, http://dbpedia.org/resource/Allen_Newell +
, http://dbpedia.org/resource/Decision_theory +
, http://dbpedia.org/resource/Bounded_rationality +
, http://dbpedia.org/resource/19_century +
, http://dbpedia.org/resource/Combinatorial_explosion +
, http://dbpedia.org/resource/Unified_theory_of_cognition +
, http://dbpedia.org/resource/The_Journal_of_Symbolic_Logic +
, http://dbpedia.org/resource/Alfred_North_Whitehead +
, http://dbpedia.org/resource/RAND_Corporation +
, http://dbpedia.org/resource/Stanford +
, http://dbpedia.org/resource/Herbert_A._Simon +
, http://dbpedia.org/resource/Arthur_Samuel +
, http://dbpedia.org/resource/Computationalism +
, http://dbpedia.org/resource/Category:Theorem_proving_software_systems +
, http://dbpedia.org/resource/Carnegie_Institute_of_Technology +
, http://dbpedia.org/resource/Nobel_Prize +
, http://dbpedia.org/resource/Search_tree +
, http://dbpedia.org/resource/Artificial_intelligence +
, http://dbpedia.org/resource/Oliver_Selfridge +
, http://dbpedia.org/resource/Proof_%28logic%29 +
, http://dbpedia.org/resource/Christopher_Strachey +
, http://dbpedia.org/resource/John_Searle +
, http://dbpedia.org/resource/Dartmouth_workshop +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Efn +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Russell_Norvig_2003 +
, http://dbpedia.org/resource/Template:Tone +
, http://dbpedia.org/resource/Template:McCorduck_2004 +
, http://dbpedia.org/resource/Template:Notes +
, http://dbpedia.org/resource/Template:Crevier_1993 +
, http://dbpedia.org/resource/Template:Sfn +
, http://dbpedia.org/resource/Template:Short_description +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Theorem_proving_software_systems +
, http://dbpedia.org/resource/Category:History_of_artificial_intelligence +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Program +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Logic_Theorist?oldid=1100341740&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Logic_Theorist +
|
| owl:sameAs |
https://global.dbpedia.org/id/44Hqx +
, http://sv.dbpedia.org/resource/Logic_Theorist +
, http://www.wikidata.org/entity/Q4391896 +
, http://fr.dbpedia.org/resource/Logic_Theorist +
, http://pt.dbpedia.org/resource/Logic_Theorist +
, http://dbpedia.org/resource/Logic_Theorist +
, http://rdf.freebase.com/ns/m.03cf1zn +
, http://zh.dbpedia.org/resource/%E9%80%BB%E8%BE%91%E7%90%86%E8%AE%BA%E5%AE%B6 +
, http://ja.dbpedia.org/resource/Logic_Theorist +
, http://es.dbpedia.org/resource/Logic_Theorist +
|
| rdf:type |
http://dbpedia.org/ontology/Work +
|
| rdfs:comment |
Logic Theorist は、1955年から1956年にかけてアレン・ニューウェル、ハーバート・サイモン、J・C・ショーが開発したコンピュータプログラム。人間の問題解決能力を真似するよう意図的に設計された世界初のプログラムであり、「世界初の人工知能プログラム」と称された。ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の冒頭の52の定理のうち38を証明してみせ、一部については新たなもっと洗練された証明方法を発見している。
, Le Logic Theorist est un programme informa … Le Logic Theorist est un programme informatique écrit en 1955 et 1956 par Allen Newell, Herbert Simon et Cliff Shaw. Il a été conçu pour reproduire les compétences de résolution de problèmes d’un être humain et est considéré comme le premier programme d'intelligence artificiel. Il a été capable de prouver 38 des 52 théorèmes des Principia Mathematica de Whitehead et Russell. Il a été présenté en 1956 lors de la conférence de Dartmouth, considérée comme l'acte de naissance de l'intelligence artificielle en tant que domaine de recherche autonome.en tant que domaine de recherche autonome.
, Logic Theorist é um programa de computador … Logic Theorist é 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 é chamado, por alguns, de "o primeiro programa de inteligência artificial", embora alguns considerem o programa do jogo de damas de Arthur Samuel anterior. também escreveu um programa de damas em 1951. Este programa foi concebido para demonstrar teoremas do cálculo 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.r provas novas e mais elegantes de alguns.
, 逻辑理论家（英語：Logic Theorist）是由艾伦·纽厄尔、司马贺和于1955年和1956年间编写的计算机程序，是首个可以自动进行推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
, El Logic Theorist es un complejo sistema d … El Logic Theorist es un complejo sistema de manejo de información 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áticos. 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.lfred North Whitehead y Bertrand Russell.
, Logic Theorist is a computer program writt … 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.find new and more elegant proofs for some.
, Logic Theorist är ett resonerande dataprog … Logic Theorist är ett resonerande dataprogram skrivet 1955-1956 av Allen Newell, Herbert A. Simon och . Det har kallats det första AI-programmet (artificiell intelligens-programmet). Programmet lyckades bland annat bevisa 38 av de första 52 teoremen i det andra kapitlet av Principia Mathematica. Logic Theorist kom introducerade dessutom flera begrepp som kom att bli centrala för AI-forskningen.m kom att bli centrala för AI-forskningen.
|
| rdfs:label |
Logic Theorist
, 逻辑理论家
|
