Logikk teoretiker
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.
Daniel Crevier, AI: The Tumultuous Search for Artificial Intelligence , New York, NY, BasicBooks,1993( ISBN 0-465-02997-3 ), s. 44–46 .