النظرية المبكرة
عقد ١٩٣٠–عقد ١٩٥٠ · تورينغ ومولد الحوسبة
قبل أن توجد الحواسيب الإلكترونية كان الرياضيون قد شرعوا في استكشاف سؤال عميق: هل تستطيع الآلات أن «تفكّر»؟ قاد هذا السؤال إلى ظهور أسس نظرية أرست القاعدة الرياضية والمنطقية لمولد الذكاء الاصطناعي لاحقًا. ورُوّاد هذه الحقبة — تورينغ وتشرتش وغودل — لم يكن عملهم استكشافًا رياضيًا فحسب، بل كان أيضًا مساءلة فلسفية لطبيعة العقل البشري.
يمكن تقسيم الاستكشاف النظري في هذه الحقبة إلى ثلاثة خيوط رئيسة: تطوّر نظرية الحوسبة (بدفع من تورينغ وتشرتش)، وحدود المنطق الصوري (عمل غودل)، ومولد نظرية المعلومات (إسهام شانون). وتتشابك هذه الاتجاهات الثلاثة فتؤلّف حجر الأساس النظري للذكاء الاصطناعي.
المحطات الرئيسة
مبرهنتا عدم الاكتمال لغودل
نشر كورت غودل مبرهنتي عدم الاكتمال، فأثبت أن كل نسق صوري قوي بما يكفي يتضمّن قضايا لا يمكن إثباتها ولا نفيها داخله. ولم يهزّ هذا الاكتشاف الأوساط الرياضية وحدها، بل كان له أثر عميق في نظرية الحوسبة وفي الذكاء الاصطناعي.
كورت غودل (١٩٠٦–١٩٧٨)
أطروحة Church-Turing
اقترح ألونزو تشرتش وآلان تورينغ كلٌّ على حدة أطروحة Church-Turing المشهورة. وتقول هذه الأطروحة إن كل دالة قابلة للحساب فعليًا هي قابلة للحساب بآلة تورينغ. وبهذا صار مفهوم القابلية للحساب الحدسي مصوغًا صوريًا، وصار أساسًا لعلم الحاسوب.
ألونزو تشرتش وآلان تورينغ
آلة تورينغ
قدّم آلان تورينغ مفهوم آلة تورينغ في ورقته المفصلية «On Computable Numbers, with an Application to the Entscheidungsproblem». وهذا نموذج حسابي مجرّد قادر على محاكاة أي عملية قابلة للحساب رياضيًا.
آلان تورينغ (١٩١٢–١٩٥٤)
حساب لامدا
اقترح ألونزو تشرتش حساب لامدا، وهو نسق صوري لتعريف الدوال وتطبيقها. ويُعدّ حساب لامدا الأساس النظري للبرمجة الدالّية. وكان حساب لامدا الأصلي لعام ١٩٣٦ بلا أنواع؛ ثم أضاف تشرتش الأنواع البسيطة عام ١٩٤٠ في «A Formulation of the Simple Theory of Types»، فصنع واحدًا من أقدم الأنساق ذات الأنواع الصريحة.
ألونزو تشرتش (١٩٠٣–١٩٩٥)
نموذج العصبون
نشر وارن مكولوك ووالتر بيتس ورقة «A Logical Calculus of the Ideas Immanent in Nervous Activity»، فقدّما أول نموذج للعصبون الاصطناعي (عصبون McCulloch-Pitts). واختزل هذا النموذج العصبون إلى مفتاح عتبي ثنائي، فأرسى أساس أبحاث الشبكات العصبية اللاحقة.
وارن مكولوك ووالتر بيتس
السيبرنطيقا
نشر نوربرت فينر كتاب «Cybernetics: Or Control and Communication in the Animal and the Machine»، فأسّس علم السيبرنطيقا الجديد. وكان لدراسة كيفية ضبط الأنساق لنفسها عبر آليات التغذية الراجعة أثر عميق في الذكاء الاصطناعي والروبوتات.
نوربرت فينر (١٨٩٤–١٩٦٤)
نظرية المعلومات عند شانون
نشر كلود شانون «A Mathematical Theory of Communication»، فأرسى أساس نظرية المعلومات. وصارت مفاهيم مثل الإنتروبيا والترميز وكمية المعلومات أدوات جوهرية لفهم البيانات ومعالجة المعلومات.
كلود شانون (١٩١٦–٢٠٠١)
اختبار تورينغ
في «Computing Machinery and Intelligence» استبدل تورينغ بالسؤال الملتبس عمّا إذا كانت الآلات تستطيع أن تفكّر لعبةَ المحاكاة، وكانت في أصلها لعبة بثلاثة أدوار — رجل وامرأة ومستجوِب — اقترح تورينغ أن يحلّ فيها جهاز محلّ أحد اللاعبين. وهو معيار سلوكي لا برهان على أن الآلة واعية.
آلان تورينغ
مقترح دارتموث لعام ١٩٥٥
في عام ١٩٥٥ استعمل جون مكارثي ومارفن مينسكي وناثانيال روتشستر وكلود شانون مصطلح «الذكاء الاصطناعي» في مقترح مشروع دارتموث الصيفي للبحث، ورسموا خطة بحث لصيف ١٩٥٦.
جون مكارثي وآخرون
الشخصيات الرئيسة
آلان تورينغ
أبو علم الحاسوب
لم يكن تورينغ مؤسس علم الحاسوب فحسب، بل كان أيضًا رائدًا لفكرة الذكاء الاصطناعي. أرسى نموذج آلة تورينغ أساس نظرية الحوسبة، وقدّم اختبار تورينغ معيارًا للآلات الذكية. وخلال الحرب العالمية الثانية أسهم عمله في فكّ شفرة Enigma الألمانية. وفي عام ١٩٥٤ مات تورينغ بعد أن اضطُهد بسبب مثليته. وفي عام ٢٠١٣ منحته الملكة إليزابيث الثانية عفوًا ملكيًا بعد وفاته.
ألونزو تشرتش
أبو حساب لامدا
كان تشرتش أستاذًا في جامعة Princeton. وحساب لامدا الذي وضعه هو الأساس النظري للبرمجة الدالّية. وكان تورينغ تلميذه، واقترحا معًا أطروحة Church-Turing التي تبقى محورية في نظرية الحوسبة.
كورت غودل
منطقي
تُعدّ مبرهنتا عدم الاكتمال لغودل من أهم الاكتشافات الرياضية في القرن العشرين. فهما تبيّنان أن حتى الأنساق الدقيقة كالرياضيات لها حدود ملازمة لها — وهي بصيرة فلسفية بالغة الأثر في تطوّر الذكاء الاصطناعي.
كلود شانون
أبو نظرية المعلومات
لم يكن شانون مؤسس نظرية المعلومات فحسب، بل كان أيضًا من أوائل مستكشفي الذكاء الاصطناعي. صنع فأرًا ميكانيكيًا (Theseus) يستطيع حلّ المتاهات — وهو عرض مبكر لآلة تتعلّم. وتُعدّ رسالته للماجستير عام ١٩٣٧ «A Symbolic Analysis of Relay and Switching Circuits» حجر أساس نظرية التبديل الرقمي.
نوربرت فينر
أبو السيبرنطيقا
كان فينر رياضيًا في MIT أسّس السيبرنطيقا، وهي حقل عابر للتخصصات. وأثّر مفهومه عن «التغذية الراجعة» في أبحاث الذكاء الاصطناعي المبكرة. وكان فينر أيضًا أول من حذّر من الأخطار التي قد يجلبها الذكاء الاصطناعي.
اقتباسات مختارة
أقترح النظر في هذا السؤال: هل تستطيع الآلات أن تفكّر؟
كل نسق صوري قوي بما يكفي هو نسق غير مكتمل.
خطر الآلات ليس في الآلات نفسها، بل في اعتماد الإنسان عليها.