Logic Theorist (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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. (es) 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. (fr) 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 は、1955年から1956年にかけてアレン・ニューウェル、ハーバート・サイモン、J・C・ショーが開発したコンピュータプログラム。人間の問題解決能力を真似するよう意図的に設計された世界初のプログラムであり、「世界初の人工知能プログラム」と称された。ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の冒頭の52の定理のうち38を証明してみせ、一部については新たなもっと洗練された証明方法を発見している。 (ja) 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. (sv) 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. (pt) 逻辑理论家（英語：Logic Theorist）是由艾伦·纽厄尔、司马贺和于1955年和1956年间编写的计算机程序，是首个可以自动进行推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。 (zh) |
| dbo:wikiPageExternalLink | http://shelf1.library.cmu.edu/IMLS/MindModels/logictheorymachine.pdf http://shelf1.library.cmu.edu/IMLS/MindModels/humanandmachine.html https://commons.wikimedia.org/wiki/File:Newell_Simon_The_Logic_Theory_Machine_Jul56.pdf https://github.com/theoremprover-museum/logic-theorist |
| dbo:wikiPageID | 13685265 (xsd:integer) |
| dbo:wikiPageLength | 11199 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1100341740 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Principia_Mathematica dbr:Rules_of_thumb dbr:Bertrand_Russell dbr:Bounded_rationality dbr:John_Searle dbr:Decision_theory dbr:Information_Processing_Language dbr:Information_processing dbr:Intractability_(complexity) dbr:Combinatorial_explosion dbr:General_Problem_Solver dbr:Natural_selection dbr:Christopher_Strachey dbr:Claude_Shannon dbr:George_Pólya dbr:Lisp_(programming_language) dbr:Stanford dbr:Cliff_Shaw dbr:How_to_Solve_It dbr:Proposition dbr:Logistics dbr:Alfred_North_Whitehead dbr:Allen_Newell dbr:Dartmouth_workshop dbr:Nobel_Prize dbr:Pamela_McCorduck dbr:Daniel_Crevier dbr:Carnegie_Institute_of_Technology dbr:Mathematical_proof dbr:Herbert_A._Simon dbr:Heuristics dbr:Hypothesis dbr:Arthur_Samuel dbr:Artificial_intelligence dbc:History_of_artificial_intelligence dbr:Chinese_room dbr:John_McCarthy_(computer_scientist) dbr:Automated_reasoning dbr:Marvin_Minsky dbr:Bureaucracy dbc:Theorem_proving_software_systems dbr:Organization_theory dbr:Mind-body_problem dbr:Nathaniel_Rochester_(computer_scientist) dbr:RAND_Corporation dbr:Pattern_matching dbr:Oliver_Selfridge dbr:Soar_(cognitive_architecture) dbr:Unified_theory_of_cognition dbr:Exponential_growth dbr:The_Journal_of_Symbolic_Logic dbr:Political_scientist dbr:Search_tree dbr:Proof_(logic) dbr:19_century dbr:Physical_symbol_systems_hypothesis dbr:20_century dbr:Computationalism |
| dbp:wikiPageUsesTemplate | dbt:Efn dbt:Notes dbt:Reflist dbt:Sfn dbt:Short_description dbt:Tone dbt:Crevier_1993 dbt:McCorduck_2004 dbt:Russell_Norvig_2003 |
| dcterms:subject | dbc:History_of_artificial_intelligence dbc:Theorem_proving_software_systems |
| gold:hypernym | dbr:Program |
| rdf:type | dbo:Work |
| rdfs:comment | 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. (es) 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. (fr) 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 は、1955年から1956年にかけてアレン・ニューウェル、ハーバート・サイモン、J・C・ショーが開発したコンピュータプログラム。人間の問題解決能力を真似するよう意図的に設計された世界初のプログラムであり、「世界初の人工知能プログラム」と称された。ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の冒頭の52の定理のうち38を証明してみせ、一部については新たなもっと洗練された証明方法を発見している。 (ja) 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. (sv) 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. (pt) 逻辑理论家（英語：Logic Theorist）是由艾伦·纽厄尔、司马贺和于1955年和1956年间编写的计算机程序，是首个可以自动进行推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。 (zh) |
| rdfs:label | Logic Theorist (es) Logic Theorist (fr) Logic Theorist (en) Logic Theorist (ja) Logic Theorist (pt) Logic Theorist (sv) 逻辑理论家 (zh) |
| owl:sameAs | freebase:Logic Theorist wikidata:Logic Theorist dbpedia-es:Logic Theorist dbpedia-fr:Logic Theorist dbpedia-ja:Logic Theorist dbpedia-pt:Logic Theorist dbpedia-sv:Logic Theorist dbpedia-zh:Logic Theorist https://global.dbpedia.org/id/44Hqx |
| prov:wasDerivedFrom | wikipedia-en:Logic_Theorist?oldid=1100341740&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Logic_Theorist |
| is dbo:knownFor of | dbr:Herbert_A._Simon dbr:Allen_Newell__Allen_Newell__1 |
| is dbo:wikiPageDisambiguates of | dbr:LT |
| is dbo:wikiPageRedirects of | dbr:Logic_theorist dbr:Logic_Theory_Machine |
| is dbo:wikiPageWikiLink of | dbr:Carnegie_Mellon_University dbr:History_of_artificial_intelligence dbr:History_of_psychology dbr:Personal_information_management dbr:Information_Processing_Language dbr:Intelligent_tutoring_system dbr:Timeline_of_artificial_intelligence dbr:Computer-assisted_proof dbr:General_Problem_Solver dbr:Cognitive_science dbr:Cliff_Shaw dbr:Allen_Newell dbr:Herbert_A._Simon dbr:Artificial_intelligence dbr:AI_winter dbr:Chinese_room dbr:Symbolic_artificial_intelligence dbr:Automated_reasoning dbr:Soar_(cognitive_architecture) dbr:Logic_theorist dbr:LT dbr:Logic_Theory_Machine |
| is dbp:knownFor of | dbr:Allen_Newell dbr:Herbert_A._Simon |
| is foaf:primaryTopic of | wikipedia-en:Logic_Theorist |