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