यांत्रिक या "औपचारिक" तर्क का अध्ययन गणितज्ञों के साथ प्राचीन काल में शुरू हुआ। गणितीयतर्क के अध्ययन ने "एलन ट्यूरिंग" (जो एक कंप्यूटर वैज्ञानिक थे) के "कंप्यूटर सिद्धांत" का जन्म दिया। इस सिद्धांत का मन्ना है की मशीन, "०" और "१" जैसे सरल चिह्न, को जोड़-तोड़ के कोई भी बोधगम्य गणना कर सकते हैं। वह यह भी कहता है की आज के साधारण कंप्यूटर ऐसे मशीन हैं। यह दृष्टि, कि कंप्यूटर औपचारिक तर्क की किसी भी प्रक्रिया को अनुकरण कर सकते हैं, जिसे चर्च-ट्यूरिंग थीसिस के नाम से जाना जाता है। न्यूरबायोलॉजी (दिमाग का जीवविज्ञान), सूचना का विज्ञानं और साइबरनेटिक में खोजों ने शोधकर्ताओं को इलेक्ट्रॉनिक मस्तिष्क बनाने की संभावना पर विचार करने के लिए प्रेरित किया। ट्यूरिंग (एक कंप्यूटर वैज्ञानिक) ने प्रस्तावित किया कि "यदि कोई मनुष्य मशीन और मानव से प्रतिक्रियाओं के बीच अंतर नहीं कर सकता है, तो मशीन को "मानव की तरह बुद्धिमान" माना जा सकता है। पहला काम जिसे आम तौर पर एआई के रूप में पहचाना जाता है वह "मैकुलचच" और "पिट्स" के 1943 औपचारिक डिजाइन "ट्यूरिंग-पूर्ण" "कृत्रिम न्यूरॉन्स" के लिए था। एक "ट्यूरिंग-पूर्ण" मशीन कोई भी बोधगम्य गणना कर सकते हैं।

अनुप्रयोगों
सामान्य बुद्धि
इतिहास
ज्ञान प्रतिनिधित्व