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