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