Un punto di svolta della materia si
ha con un famoso articolo di Alan Turing sulla rivista Mind nel 1950.
Nell'articolo viene indicata la possibilità di creare un programma al fine di
far comportare un computer in maniera intelligente. Quindi la progettazione di
macchine intelligenti dipende fortemente dalle possibilità di rappresentazione
simbolica del problema.
Il test di Turing -così viene chiamata la condizione che la macchina dovrebbe
superare per essere considerata intelligente- è stato più volte superato da
programmi e più volte riformulato, tanto che queste teorie hanno ricevuto
diverse confutazioni. Il filosofo Searle ne espose una famosa, chiamata "la
stanza cinese".
Nello stesso anno dell'articolo di Turing sull'omonimo test per le macchine pensanti, Arthur Samuel presenta il primo programma capace di giocare a Dama, un risultato molto importante perché dimostra la possibilità di superare i limiti tecnici (il programma era scritto in Assembly e girava su un IBM 704) per realizzare sistemi capaci di risolvere problemi tradizionalmente legati all'intelligenza umana. Per di più, l'abilità di gioco viene appresa dal programma scontrandosi con avversari umani.
Nel 1956, alla conferenza di Dartmouth (la stessa conferenza a cui l'IA deve il suo nome), viene mostrato un programma che segna un'altra importante tappa dello sviluppo dell'IA. Il programma LT di Allen Newell, J. Clifford Shaw e Herb Simon rappresenta il primo dimostratore automatico di teoremi.
La linea seguita dalla giovane IA si basa quindi sulla ricerca di un automatismo nella creazione di un'intelligenza meccanica. L'approccio segue essenzialmente un'euristica di ricerca basata su tentativi ed errori oltre che investigare su tecniche di apprendimento efficaci.