Logikk teoretiker

Logikk teoretiker

Informasjon
Utviklet av Allen Newell , Herbert Simon og Cliff Shaw
Skrevet i Informasjonsbehandlingsspråk
Type Dataprogram

The Logic Theorist er et dataprogram skrevet i 1955 og 1956 av Allen Newell , Herbert Simon og Cliff Shaw . Det ble designet for å gjenskape et menneskes problemløsningsferdigheter og regnes som det fremste kunstige intelligensprogrammet. Han var i stand til å bevise 38 av de 52 setningene til Principia Mathematica of Whitehead og Russell .

Den ble presentert i 1956 på Dartmouth-konferansen , betraktet fødselsattesten for kunstig intelligens som et felt for autonom forskning.

Merknader

  1. Logikkteoretiker blir allment ansett som det første ekte kunstige intelligensprogrammet, selv om Arthur Samuel skrev et korrekturkontrollprogram tidligere. Christopher Strachey skrev også et beviskontrollprogram i 1951.

Sitater

  1. Crevier 1993 , s.  44.
  2. Jacques Henno, "  1956: og kunstig intelligens ble en vitenskap  " , på Les Échos ,21. august 2017(åpnet 30. januar 2019 ) .

Referanser

Daniel Crevier, AI: The Tumultuous Search for Artificial Intelligence , New York, NY, BasicBooks,1993( ISBN  0-465-02997-3 ), s.  44–46 .

Relaterte artikler