ايش العوامل اللي ساهمت في تراجع أبحاث الذكاء الاصطناعي في السبعينات؟
Context:الشتاء الاول من 1974 الى 1980 في السبعينات، كان الذكاء الاصطناعي عرضة للانتقادات والانتكاسات المالية. باحثو الذكاء الاصطناعي فشلوا في تقدير صعوبة المشاكل التي واجهوها. تفاؤلهم الهائل رفع التوقعات عالية بشكل مستحيل، وعندما فشلت النتائج الموعودة في التحقق، اختفى التمويل للذكاء الاصطناعي. في نفس الوقت، حقل التواصل (أو الشبكات العصبية) تم إغلاقه بالكامل تقريباً لمدة 10 سنوات من قبل انتقاد مروين مينسكي المدمر لـ perceptrons. بالرغم من الصعوبات في تصور الجمهور للذكاء الاصطناعي في أواخر السبعينات، تم استكشاف أفكار جديدة في برمجة المنطق والمنطق السليم والعديد من المجالات الأخرى.  المشاكل في بداية السبعينات، كانت قدرات برامج الذكاء الاصطناعي محدودة. حتى الأكثر إثارة للإعجاب كان بإمكانهم التعامل فقط مع نسخ تافهة من المشاكل التي كان من المفترض أن يحلوها؛ كل البرامج كانت، بمعنى ما، "ألعاب". الباحثين في الذكاء الاصطناعي بدأوا يواجهون عدة حدود أساسية لم يكن ممكن التغلب عليها في السبعينيات. وبالرغم من ان بعض هذه الحدود سوف تتغلب عليها في العقود اللاحقة، الا ان بعضها لا تزال تعرقل الحقل حتى اليوم.  قدرة كمبيوتر محدودة: ما كان هناك ما يكفي من الذاكرة أو سرعة المعالجة لإنجاز أي شيء مفيد حقا. على سبيل المثال، عمل روس كويليان الناجح على اللغة الطبيعية تم إظهاره بمفردة عشرين كلمة فقط، لأن هذا كل ما يمكن أن يتناسب مع الذاكرة. هانز مورافيك جادل في 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، في ورقة أساسية، لاحظ مينسكي أن العديد من زملائه الباحثين "المتهورين" كانوا يستخدمون نفس النوع من الأداة: إطار يلتقط كل افتراضاتنا المعقولة عن شيء ما. مثلًا، لو استخدمنا مفهوم الطير، هناك مجموعة من الوقائع التي تاتي على الفور إلى الاعتبار: قد نفترض أنها تطير، تأكل الديدان وهلم جرا. نعرف ان هذه الحقائق مش صحيحة دائماً وان الاستنتاجات باستخدام هذه الحقائق لن تكون "منطقية"، لكن هذه المجموعات المنظمة من الافتراضات هي جزء من سياق كل شيء نقوله ونفكر به. أطلق على هاته الهياكل "إطارات". استخدم شانك نسخة من الاطار التي أطلق عليها "النصوص" ليرجع بنجاح الى اسئلة عن القصص القصيرة باللغة الانجليزية.
التوقعات غير الواقعية، نقص التمويل، تحدي إنتاج نتائج مهمة، واكتشاف عدد من القيود الأساسية التي لم يتمكن علماء الذكاء الاصطناعي من التغلب عليها في السبعينيات كل هذا ساهم في تراجع أبحاث الذكاء الاصطناعي في ذلك العقد.