شو العوامل اللي ساهمت في تراجع أبحاث الذكاء الاصطناعي في السبعينات؟
Context:أول شتاء 1974-1980 في السبعينات، كان الذكاء الاصطناعي موضوع للانتقادات والانتكاسات المالية. باحثو الذكاء الاصطناعي ما قدرتش صعوبة المشاكل اللي واجهوها. التفاؤل المفرط ليهم رفع التوقعات عالية بشكل مستحيل، وعندما فشلت النتائج الموعودة في التحقق، اختفى التمويل للذكاء الاصطناعي. في نفس الوقت، تم إغلاق مجال الربط (أو الشبكات العصبية) بالكامل لعشر سنين من خلال انتقاد مارفن مينسكي المدمر للبرسبترونات. بالرغم من الصعوبات في إدراك الجمهور للذكاء الاصطناعي في أواخر السبعينات، تم استكشاف أفكار جديدة في برمجة المنطق، التفكير السليم، و كتير مجالات تانية.  المشاكل بداية السبعينات، كانت قدرات برامج الذكاء الاصطناعي محدودة. حتى الأكتر إثارة للإعجاب كانو قادرين على التعامل بس مع نسخ تافهة من المشاكل اللي كان من المفروض يحلوها؛ كل البرامج، بمعنى ما، كانت "لعب". الباحثين في الذكاء الاصطناعي بيبدؤو يواجهوا شوية حدود أساسية ما كان ممكن يتغلبوا عليها في السبعينات. بالرغم من إن شوية من هذه الحدود كانو رح يتغلبوا عليها في العقود اللي بعدين، إلا إن شوية أخرى لسة بتعيق الحقل لليوم.  قوة كمبيوتر محدودة: ما كان في ما يكفي من الذاكرة أو سرعة المعالجة لإنجاز أي شي مفيد. مثلاً، عمل روس كويليان الناجح على اللغة الطبيعية ظهرت بمفردة عشرين كلمة بس، عشان هيدا كل اللي بيحل بالذاكرة. هانز مورافيك جادل سنة 1976 إن الكمبيوترات لسه ضعيفة بملايين المرات عشان تظهر ذكاء. اقترح تشبيه: الذكاء الاصطناعي بيحتاج قوة كمبيوتر بنفس الطريقة اللي الطائرات بيحتاج قوة حصان. تحت عتبة معينة، مستحيل، بس، مع زيادة القوة، في نهاية المطاف ممكن يصير سهل. بالنسبة لرؤية الكمبيوتر، قدرت مورافيك إن مجرد مطابقة قدرات اكتشاف الحواف والحركة للشبكية البشرية في الوقت الفعلي بتحتاج كمبيوتر عام قادر على 109 عملية في الثانية (1000 MIPS). بحلول سنة 2011، التطبيقات العملية للرؤية بالكمبيوتر بتحتاج من 10,000 ل1,000,000 MIPS. بالمقارنة، أسرع كمبيوتر فائق في سنة 1976، كراي-1 (بتبيع بالتجزئة بسعر خمسة ملايين دولار إلى ثمانية ملايين دولار) ، كان قادر بس على حوالي 80 إلى 130 ميلي بثانية، وكمبيوتر سطح المكتب المعتاد في الوقت ده حقق أقل من ميلي بثانية. القابلية للإنكماش والانفجار المشترك. سنة 1972، ريتشارد كارب (بناء على نظرية ستيفن كوك سنة 1971) بيوضح إن في كتير مشاكل ممكن تحلها بس بالوقت الأسي (بالحجم من المدخلات). لإيجاد الحلول المثلى لهذه المشاكل بيحتاج كمية كبيرة من وقت الكمبيوتر ما عدا لما تكون المشاكل تافهة. معناه أكيد إن كتير من الحلول "اللعبة" اللي بيستعملها الذكاء الاصطناعي ما رح يتوسع أبدًا عشان يصيروا أنظمة مفيدة. معرفة و منطق عادي. كتير من التطبيقات المهمة للذكاء الاصطناعي زي الرؤية أو اللغة الطبيعية بتحتاج ببساطة كمية هائلة من المعلومات عن العالم: البرنامج لازم يكون عنده فكرة عالشيء اللي ممكن يتفرج عليه أو اللي بيتكلم عنه. هيدا بيحتاج البرنامج يعرف أكتر من نفس الحاجات عن العالم اللي بيعرفها الطفل. الباحثين بسرعة اكتشفوا إن هذي كمية كبيرة من المعلومات. في واحد في 1970 ما كان بيعمل قاعدة بيانات كتير كبيرة، و في واحد ما عرف كيف برنامج بيعرف كتير معلومات. مفارقة مورافيك: إثبات النظريات وحل مشاكل الهندسة سهلة نسبياً بالنسبة للكمبيوترات، بس مهمة مبينة بسيطة زي التعرف على وجه أو عبور الغرفة من غير إصطدم بأي شي صعبة جداً. هيدا بيفسر ليه البحث في الرؤية والروبوتات عمل شوي شوي شوي بحلول منتصف السبعينات. مشاكل الإطار والتأهيل. باحثي الذكاء الاصطناعي (زي جون مكارثي) اللي استخدموا المنطق اكتشفوا إنو ما بيقدروا يمثلو استنتاجات عادية بتتضمن التخطيط أو التفكير الافتراضي من دون إدخال تغييرات على بنية المنطق بحد ذاته. طوروا منطق جديد (زي منطق غير متجانس ومنطق مودال) عشان يحاولوا يحلوا المشاكل. نهاية التمويل شوف كمان: الشتاء الوكالات اللي بتمول أبحاث الذكاء الاصطناعي (زي الحكومة البريطانية، داربا والمركز الوطني للاستقصاء) صارت محبطة من غياب التقدم وأخيرا قطعت كل التمويل تقريبًا للأبحاث غير الموجهة في الذكاء الاصطناعي. النموذج بيبدأ من سنة 1966 لما ظهر تقرير ألباك اللي بيحرج جهود الترجمة الآلية. بعد إنفاق عشرين مليون دولار، وقف المجلس الوطني للتنمية كل الدعم. في سنة 1973، تقرير لايثيل عن حالة أبحاث الذكاء الاصطناعي في إنجلترا انتقد الفشل الكامل للذكاء الاصطناعي في تحقيق "أهدافه العظيمة" وأدى إلى تفكيك أبحاث الذكاء الاصطناعي في البلد دي. (التقرير ذكر تحديداً مشكلة الانفجار المشترك كسبب لفشل الذكاء الاصطناعي). داربا كانت مخيبة للآمال بشدة مع الباحثين اللي بيعملوا على برنامج أبحاث فهم الكلام بجامعة سي إم يو وألغوا منح سنوية بثلاثة ملايين دولار. بحلول سنة 1974، كان صعب العثور على تمويل لمشاريع الذكاء الاصطناعي.  هانز مورافيك بيعزو الأزمة على التنبؤات الغير واقعية لزملائه. "كثير من الباحثين انخرطوا في شبكة من التباهي المتزايد". ومع كدا، كان في مشكلة تانية: من بعد إقرار تعديل مانسفيلد سنة 1969، داربا كانت تحت ضغط متزايد عشان تمول "بحوث مباشرة موجهة للمهمة، بدل من البحث الأساسي غير الموجه". التمويل للاستكشاف الإبداعي الحر اللي جرى في الستينات ما كان بيجي من داربا. بدلًا من كدا، تم توجيه الأموال لمشاريع محددة مع أهداف واضحة، زي الدبابات المستقلة وأنظمة إدارة المعركة.  انتقادات من كل الحرم الجامعي شوف كمان: فلسفة الذكاء الاصطناعي كتير من الفلاسفة كان عندهم اعتراضات قوية على الادعاءات اللي بيقدروها باحثو الذكاء الاصطناعي. واحد من الأوائل كان جون لوكاس، اللي قال إن نظرية غوديل غير المكتملة بيوضح إن نظام رسمي (زي برنامج كمبيوتر) ما بيقدرش يشوف صحة بعض البيانات، في حين إن الإنسان بيقدر. هوبرت درايفوس سخر من الوعود المكسورة في الستينات وانتقد افتراضات الذكاء الاصطناعي، وجادل إن التفكير البشري في الحقيقة بيشتمل على "معالجة رموز" قليلة جدًا وكتير من "الخبرة" المتجسدة والغريزية واللا واعية. حجة الغرفة الصينية لجون سيرل، اللي تمت عرضها سنة 1980، حاولت تبين إن البرنامج ما بيقدر يقال إنه "يفهم" الرموز اللي بيستخدمها (نوعية بتتسمى "التعمد"). إذا الرموز ما ليها معنى للآلة، بحج سيرل، فإذن ما يمكن وصف الآلة بأنها "تفكر".  هالإنتقادات ما اتخذت بجدية من قبل باحثي الذكاء الاصطناعي، في الغالب عشان بدت بعيدة عن النقطة. مشاكل زي الصعوبة والمعرفة السليمة بدت أكتر إلحاح و خطورة. ما كان من الواضح أي فرق بين "معرفتك" أو "القصد" في برنامج كمبيوتر فعلي. مينسكي قال عن درايفوس وسيرل "إنهم فهموا غلط، ويجب يتجاهلو". درايفوس، اللي كان بيعلم بمعهد ماساتشوستس للتكنولوجيا، تلقب كتف بارد: بعدين قال إن باحثي الذكاء الاصطناعي "مش بيجرؤو يتشافوا وهم بتتغدا معي". جوزيف فايزنباوم، مؤلف كتاب "إليزا"، حسّ إن تعامل زملائه مع درايفوس كان غير مهني و طفولي. بالرغم من إنه كان ناقد صريح لمواقف درايفوس، "بيردع عمداً إنه ما كان طريقتهم في التعامل مع البشر".  ويزنباوم بيبدا يكون عنده شكوك أخلاقية خطيرة عن الذكاء الاصطناعي لما كتب كينيث كولبي "برنامج كمبيوتر يقدر يدير حوار علاج نفسي" مبني على إليزا. ويزنباوم كان مضطرب إن كولبي شاف برنامج عديم عقل كأداة علاجية خطيرة. بدأ الخلاف، والموقف ما اتخلى عن حاله لما كولبي ما اعترف بفيزنباوم عن مساهمته في البرنامج. في سنة 1976، نشر وايزنباوم قوة الحاسوب والعقل البشري واللي بيقول إن سوء استخدام الذكاء الاصطناعي ليه القدرة على تخفيض قيمة الحياة البشرية.  البيرسبترون والهجوم على الربطية بيرسبترون كان شكل من أشكال الشبكة العصبية اللي قدمها فرانك روزنبلت سنة 1958، واللي كان زميل مارفن مينسكي في مدرسة برونكس العلمية الثانوية. زي أغلب الباحثين في الذكاء الاصطناعي، كان متفائل بقدرتهم، وتوقع إن "البيرسبتون ممكن يكون في نهاية المطاف قادر على يتعلم، يتخذ قرارات، ويعرف يترجم اللغات". برنامج بحث نشط في النموذج تم تنفيذه خلال الستينيات بس توقف فجأة مع نشر كتاب مينسكي و بابرت 1969 بيرسبترونز. هيدا بيقترح إن في قيود شديدة على إمكانات البيرسبترون وإن تنبؤات فرانك روزنبلت كانت مبالغ فيها بشكل كبير. تأثير الكتاب كان مدمراً: عملياً ما عملت أية أبحاث على الإطلاق عن التواصل لمدة 10 سنين. بعدين، جيل جديد من الباحثين رح يحيي المجال وبعدين رح يصير جزء حيوي ومفيد من الذكاء الاصطناعي. روزنبلات ما عاشت ليشوف هيك، عشان مات في حادث قارب بعد وقت قصير من نشر الكتاب.  المنطق والمنطق الرمزي: "النبلاء" التفسير المنطقي تم إدخاله في أبحاث الذكاء الاصطناعي بداية من سنة ١٩٥٩، من قبل جون مكارثي في اقتراحه لصحي. سنة 1963، جي آلان روبنسون إكتشف طريقة بسيطة لتطبيق الخصم على الحواسيب، خوارزمية القرار والوحدة. ومع كدا، التنفيذات البسيطة، زي اللي حاولها مكارثي وطلابه في أواخر الستينيات، كانت صعبة بشكل خاص: البرامج بتحتاج أعداد فلكية من الخطوات لإثبات النظريات البسيطة. نهج أكتر مثمر للمنطق طوره روبرت كوالسكي في السبعينيات من جامعة إدنبرة، وسرعان ما أدى هذا إلى التعاون مع الباحثين الفرنسيين آلان كولمراور وفيليب روسل اللي خلقوا لغة البرمجة المنطقية الناجحة برولوغ. برولوغ بيستخدم مجموعة فرعية من المنطق (بندات هورن، مرتبطة ارتباطًا وثيقًا بـ "القواعد" و "قواعد الإنتاج") اللي بتسمح بحساب قابل للتعامل. القواعد بقيت مؤثرة، وقدموا أساس لأنظمة الخبراء لإدوارد فايجنباوم والعمل المستمر من قبل ألين نيويل وهربرت أ. سيمون اللي هويؤد لسوار ونظرياتهم الموحدة للمعرفة.  منتقدي النهج المنطقي لاحظوا، زي درايفوس، إن البشر نادراً بيستخدموا المنطق لما يحلوا المشاكل. تجارب علماء النفس زي بيتر وسون، إليانور روش، آموس تفرسكي، دانيال كانيمان وآخرين عطوا دليل. جاوب مكارثي إن اللي بيعملو الناس مش مهم. قال إن اللي لازم فعلاً هو آلات بتقدر تحل المشاكل، مش آلات بتفكر زي الناس.  الإطارات والسيناريوهات: "المكابح" من بين منتقدي نهج ماكارثي كانوا زملائه من جميع أنحاء البلاد في معهد ماساتشوستس للتقنية. مارفن مينسكي، سيمور بابرت وروجر شانك كانو بيحاولوا يحلوا مشاكل زي "فهم القصة" و "تعرف على الكائنات" اللي بدو من آلة تفكر زي شخص. عشان يستخدموا مفاهيم عادية زي "كرسي" أو "مطعم" لازم يستخدموا نفس الافتراضات الغير منطقية اللي بيستخدمها الناس عادة. لسوء الحظ، مفاهيم غامضة زي هيدا صعب تمثيلها بالمنطق. جيرالد سوسمان لاحظ إن "استخدام لغة دقيقة لوصف مفاهيم مش دقيقة بشكل أساسي ما بيجعلها أكتر دقة". شنك وصف نهجهم "المضاد للمنطق" على إنه "غير مرتب"، عكس النماذج "النظيفة" المستخدمة من قبل ماكارثي وكوالسكي وفايجنباوم ونيويل وسيمون.  في سنة 1975، في ورقة أساسية، لاحظ مينسكي إن كتير من زملائه الباحثين "الغير محترفين" كانو بيستخدموا نفس نوع الأداة: إطار يلتقط كل افتراضات الحس السليم عنا عن شي. مثلاً، إذا استخدمنا مفهوم الطير، في مجموعة حقائق بتجي فوريًا لعقلنا: ممكن نفترض إنو بيطير، بيأكل ديدان وهلم جرا. من بعرف إنو هالحقائق مش صحيحة دايماً، وإنو الحكمات اللي بتستخدم هالحقائق مش رح تكون "منطقية"، بس هالمجموعات المنظمة من الافتراضات هيي جزء من سياق كل شي نقول ونفكر فيه. سمي هالمبنى "إطارات". شنك استخدم نسخة من الأطر اللي سماها "سيناريو" للإجابة بنجاح على الأسئلة عن القصص القصيرة باللغة الإنجليزية.
التوقعات اللي مش واقعية، نقص التمويل، التحدي في إنتاج نتائج مهمة، واكتشاف عدد من القيود الأساسية اللي علماء الذكاء الاصطناعي ما كانو قادرين يتغلبوا عليها في السبعينيات كل هيك ساهم في تراجع أبحاث الذكاء الاصطناعي في هالعقد.