| Property |
Value |
| dbo:abstract
|
- 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)
- 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)
|
| dbo:developer
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1583 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- 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)
- 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)
|
| rdfs:label
|
- Logic Theorist (fr)
- Logic Theorist (ja)
- Logic Theorist (fr)
- Logic Theorist (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
