1956麥卡錫將人工智能定義為達特茅斯會議的主題，這是第壹次專題討論會議。第壹次運行了人工智能的演示程序，卡內基理工學院編纂出版了邏輯理論方面的書籍，科學家提出了人工智能。
20世紀50年代後，IBM編寫了第壹個棋子遊戲程序。此外，在1958中，IBM提出了壹個幾何定理，以典型案例的形式使用語義模型。在英國召開的會議上，提出了麥卡錫的常識計劃、塞維奇的理論、明斯基的啟發式編程和人工智能的壹些方法。
人工智能發展簡史
20世紀五六十年代，劍橋引入了機器翻譯設計的語義網，1961年，麻省理工學院編寫了壹個符號集成程序來解決微積分問題。
另外需要註意的是，60年代以後，第壹家工業機器人公司Unimation成立於1962。當埃文斯在麻省理工學院時，他提出機器可以解決與智商測試有關的類比問題。1965年，Robinson發明了機械證明程序，讓程序在形式邏輯中有效工作。