حلّال المشكلات العام: نمذجة التفكير البشري

يُمثّل برنامج حلّال المشكلات العام محطةً مفصلية في تاريخ علم النفس المعرفي والذكاء الاصطناعي، بوصفه المحاولة الرائدة الأولى لصياغة نظرية صورية ومحوسبة تُحاكي العمليات المعرفية العليا التي يُوظفها الإنسان أثناء مواجهة المهام المعقدة. انطلق هذا النموذج في أواخر خمسينيات القرن العشرين ليُحدث ثورةً إبستمولوجية غيرت مسار دراسة العقل البشري، ناقلاً سيكولوجيا التفكير من إطار التجريد التأملي السلوكي إلى فضاء النمذجة الحاسوبية القائمة على معالجة المعلومات والبحث الإرشادي الموجه نحو الأهداف. وعبر الدمج الفريد بين المنطق الرياضي والتحليل التجريبي لبروتوكولات التفكير الصوتي، شكّل البرنامج جسراً متيناً لا يزال يغذي بحوث حل المشكلات وصنع القرار إلى اليوم.

حلّال المشكلات العام (General Problem Solver)

1. التعريف الموجز والدقيق

يُعرَّف برنامج حلّال المشكلات العام (المعروف اختصاراً بـ GPS) بأنه أول برنامج حاسوبي صُمم خصيصاً لمحاكاة استراتيجيات التفكير البشري العامة في حل المشكلات، وهو نظام استدلالي طوّره كل من هربرت سايمون وألن نيويل وكليفورد شو في عام 1957. يقوم البرنامج على مبدأ فصل آليات الاستدلال المستقلة عن معرفة النطاق الخاصة بالمشكلة، بحيث يستند إلى صياغة المشكلات في هيئة فضاء حالات والانتقال من الحالة الراهنة إلى الحالة المنشودة عبر تطبيق حزمة من الإجراءات والعمليات العقلية المنظمة.

في جوهره المعرفي، لا يتعامل هذا النموذج مع الحل بوصفه تطبيقاً لخوارزمية عمياء تضمن الحل عبر مسح شامل لجميع الاحتمالات الرياضية، وإنما بوصفه نشاطاً معرفياً إرشادياً يعتمد على ما يُعرف باسم تحليل الغايات والوسائل. تهدف هذه الآلية إلى تحديد الفروق الجوهرية القائمة بين الوضع الراهن للمشكلة والهدف النهائي، ثم استدعاء وتطبيق العمليات المناسبة لتقليص تلك الفروق خطوة بخطوة عبر بناء أهداف فرعية متسلسلة تحاكي ما يفعله العقل الإنساني في سياقات التفكير المنهجي الواقعي.

2. التأثيل والاشتقاق اللغوي

يأتي المصطلح في اللغة الإنجليزية بصيغة (General Problem Solver)، حيث تُشير كلمة (General) المشتقة من الجذر اللاتيني (generalis) إلى الشمول والعمومية وعدم التقيد بنطاق أحادي، مما يعكس طموح المصممين في بناء آلة تستطيع التعامل مع فئات شتى من المسائل دون الحاجة إلى إعادة برمجتها من الصفر لكل مجال على حدة. أما كلمة (Problem) فتعود جذورها إلى الكلمة الإغريقية (problēma)، والتي تعني حرفياً ما يُطرح في المسار أو العائق المعترض الذي يتطلب التجاوز والالتفاف. وتعود كلمة (Solver) إلى الجذر اللاتيني (solvere) الدال على الحل والفك والإطلاق.

في الاصطلاح النفسي واللساني العربي، تُترجم العبارة إلى “حلّال المشكلات العام” أو “مُحل المشكلات العام”؛ ويُفضل استخدام صيغة المبالغة والفاعلية “حلّال” للدلالة على الصفة الوظيفية الراسخة للبرنامج وأداته المعالجة. وقد دخل هذا المصطلح إلى الأدبيات النفسية العربية في سبعينيات وثمانينيات القرن العشرين مع انتشار مراجع علم النفس المعرفي ونظريات تجهيز ومعالجة المعلومات، حيث ارتبط عضوياً بنماذج محاكاة الإدراك والتفكير المنطقي التوليدي.

3. النطق والصيغة الصرفية والنحوية

يُنطق المصطلح باللغة العربية على النحو التالي: حَلاّلُ المُشْكِلاتِ العَامّ (Hallal al-Mushkilat al-Aam)، ويُرمز له اختصاراً بالحروف اللاتينية (GPS). من الناحية النحوية والصرفية، تتكون العبارة من مركب إضافي متبوع بنعت؛ فكلمة “حَلاّل” هي صيغة مبالغة على وزن “فَعّال” مشتقة من الفعل الثلاثي المجرد “حَلَّ” (أي فكّ العقدة وبسط الملتبس)، وتعمل هنا كاسم مضاف يدل على الكيان المؤدي للفعل بدقة واستمرار.

تأتي كلمة “المُشكلات” مضافاً إليه مجروراً، وهي جمع مؤنث سالم للاسم المشتق “مشكلة” من الفعل الخماسي “أَشْكَلَ” الدال على الالتباس والتداخل المحتاج إلى استيضاح. أما لفظ “العام” فهو اسم فاعل مشتق من “عَمَّ” ويعمل نعتاً تابعاً لكلمة “حلّال” مرفوعاً مثله، دلالة على عمومية القدرة والفاعلية الاستدلالية لتشمل مجالات معرفية ورياضية ومنطقية متعددة. وفي التداول الأكاديمي، يُستخدم المصطلح مفرداً ومذكراً، ويُعامل كنظام أو برنامج حاسوبي محدد الهوية النظرية.

4. الشرح المفاهيمي التفصيلي

ينبني المفهوم النظري لحلّال المشكلات العام على رؤية ثورية مفادها أن حل المشكلات هو نشاط استكشافي داخل بيئة رمزية مجردة، حيث يُعرّف الكائن البشري المشكلة من خلال تحديد ثلاث ركائز بنيوية: الحالة الابتدائية التي تبدأ منها المسألة، والحالة الهدفية المنشودة التي تمثل الغاية والحل، ومجموعة الشروط والعمليات المتاحة التي يُسمح باللجوء إليها للانتقال بين الحالات المتتابعة. إن الفضاء الذي تتشكل فيه كل هذه الحالات المحتملة معاً يُعرف باسم “فضاء المشكلة”، وتتمثل المهمة الكبرى للنظام المعرفي في إيجاد مسار حركي آمن واقتصادي يربط بين البداية والنهاية وسط تشعبات واسعة من الاحتمالات المربكة.

ولأن فضاء المشكلة في معظم المهام الإنسانية المعقدة يتسم بالاتساع الهائل الذي يجعل الاستقصاء الشامل أمراً مستحيلاً ومستنزفاً للموارد الذهنية، يفترض حلّال المشكلات العام أن العقل الإنساني يتجنب الفحص الأعمى، ويلجأ بدلاً من ذلك إلى الاستراتيجيات الإرشادية التوجيهية المسماة بالهيورستيات (Heuristics). تعمل هذه الاستراتيجيات بوصفها قواعد عملية وتوجيهات حدسية ذكية تسمح بانتقاء المسارات الأكثر وعداً بالوصول إلى الحل، وتقليص مجالات الاحتمالات الرديئة دون الحاجة إلى ضمانات قطعية، مما يعكس مبدأ العقلانية المقيدة الذي صاغه سيمون.

تتمحور التقنية المركزية داخل هذا المفهوم حول بناء هرمية متسلسلة من الغايات والأهداف التابعة؛ فحين يعجز النظام عن بلوغ الهدف النهائي مباشرة نتيجة وجود عائق بيئي أو شرط منطقي غير مستوفى، يقوم بإنشاء هدف فرعي يهدف تحديداً إلى إزالة ذلك العائق المعترض. وبهذه الطريقة، يتحول المسار المعقد ذو العقبات الكبيرة إلى شبكة متناغمة من المشكلات الصغيرة القابلة للحل الذاتي المتتابع، مما يسمح للفاعل المعرفي بتفكيك المعضلات الكبرى إلى مهام جزئية تقع ضمن حدود طاقة الذاكرة العاملة وسعتها المحدودة.

ولا يقتصر المفهوم على إيجاد الحل النهائي فحسب، بل يمتد إلى دراسة التفاعل بين بنية المعرفة الداخلية للنظام ومحددات البيئة الخارجية للمشكلة. إن حل المشكلات وفق هذا المنظور ليس نتاج إلهام غيبي مفاجئ أو ومضة غامضة لا يمكن قياسها، وإنما هو تدفق استدلالي منظم قابل للتوصيف الدقيق والتحليل الرياضي والتكرار المخبري، مما أضفى على دراسات الفكر الإنساني طابع العلمية التجريبية والموضوعية الرصينة.

5. التطور التاريخي والمسار الزمني

تعود الإرهاصات الأولى لظهور البرنامج إلى المؤتمر التاريخي المشهور في كلية دارتموث صيف عام 1956، وهو المؤتمر الذي شهد الولادة الرسمية لمجال الذكاء الاصطناعي وبلورة أطروحات مدرسة معالجة المعلومات المعرفية. كان هربرت سيمون وألن نيويل وكليفورد شو قد أنجزوا للتو برنامجاً أولياً يُدعى “مُنظر المنطق” (Logic Theorist) عام 1955، استطاع إثبات براهين رياضية مستقاة من كتاب “أصول الرياضيات” لبرتراند راسل وألفريد نورث وايتهيد، لكنهم وجدوا أن البرنامج يفتقر إلى محاكاة الطريقة الطبيعية التي يفكر بها البشر حقاً عندما يعجزون عن تطبيق القواعد الصورية الخالصة.

في عام 1957، بدأ الفريق بتطوير البنية الهيكلية لبرنامج حلّال المشكلات العام في مؤسسة راند وجامعة كارنيغي ميلون، متبنين استراتيجية جديدة قائمة على الجمع المنهجي بين نمذجة برامج الحاسوب والتسجيل الدقيق لبروتوكولات التفكير البصوت العالي لدى أفراد يحلون ألغازاً منطقية. نُشر التقرير التأسيسي الأول للبرنامج عام 1959 تحت عنوان “تقرير حول برنامج حل المشكلات العام”، وتلته أوراق علمية فارقة في مطلع الستينيات أثبتت كفاءة النموذج في حل مسائل متباينة مثل حساب التفاضل والتكامل، وألغاز نقل الأشياء، وتحويل الرموز اللوجستية، ومسائل الكلمات الرياضية.

خلال العقد اللاحق، شهد النموذج تعديلات متلاحقة لترقية بناه الإجرائية وتوسيع فضاء مشكلاته حتى وصل إلى نسخته المتقدمة عام 1972، وهو العام الذي شهد نشر الكتاب المرجعي الخالد لنيويل وسيمون بعنوان “حل المشكلات البشري” (Human Problem Solving). ومع ذلك، كشفت سبعينيات القرن العشرين عن حدود جوهرية في بنية النموذج؛ إذ تبيّن أن تجريده من المعرفة التخصصية الكثيفة جعله عاجزاً عن مواجهة مشكلات العالم الحقيقي غير المنظمة جيداً، مما مهد الطريق لظهور حركة الأنظمة الخبيرة القائمة على قواعد المعرفة، والتي طورت لاحقاً أبنية معرفية متقدمة مثل نظام (SOAR) ونظام (ACT-R).

6. الأسس النظرية والأطر المعرفية

يرتكز برنامج حلّال المشكلات العام على نظرية “معالجة المعلومات الإنسانية” (Human Information Processing Framework)، وهي النظرية التي صاغت مماثلة جذرية بين طريقة عمل الحاسوب الرقمي والبنية الوظيفية للدماغ البشري؛ حيث يمتلك كلاهما وحدات إدخال وتخزين وتشغيل للمعلومات وذاكرة عاملة ذات سعة مقيدة وقنوات تواصل تعتمد على التشفير الرمزي والتسلسل الحسابي.

كما يعتمد النموذج بصورة وثيقة على أطروحة “العقلانية المقيدة” (Bounded Rationality) التي ابتكرها سيمون، وتفترض أن الكائن البشري لا يتصرف ككائن اقتصادي كامل العقلانية يمتلك وصولاً لا نهائياً للمعلومات والقدرة التحليلية المطلقة، بل يبحث عن حلول “مُرضية ومقبولة” (Satisficing) في ضوء موارده المعرفية المحدودة والوقت المتاح. ومن هنا، كانت الاستعانة بالهيورستيات الإرشادية ضرورة نفسية وبيولوجية فرضتها قيود الذاكرة البشرية العاملة.

يستند البرنامج فلسفياً إلى “فرضية النظم الرمزية الفيزيائية” (Physical Symbol System Hypothesis) التي طرحها ألن نيويل وهربرت سايمون؛ وتؤكد هذه الفرضية أن أي نظام رمزي فيزيائي يملك الشروط الضرورية والكافية لإنتاج السلوك الذكي المستقل. وفقاً لهذه الرؤية، فإن كل عمل فكري، من حل مسألة شطرنج بسيطة إلى التأليف الإبداعي، ما هو إلا عمليات تشغيل وتعديل وربط بين وحدات رمزية تمثل عناصر البيئة، وهو ما قدم التبرير الوجودي للبرنامج كنموذج حقيقي للتفكير البشري وليس مجرد محاكاة شكلية سطحية.

7. المكونات والأنماط والأبعاد الأساسية

يتألف الهيكل المعماري لبرنامج حلّال المشكلات العام من عناصر وظيفية متضافرة تعمل معاً لمعالجة فضاء المشكلة، وتشمل الأبعاد والمكونات الآتية:

• كائنات البيئة (Objects): الكيانات الرياضية أو الرمزية أو الفيزيائية التي تتشكل منها المسألة في حالتها الراهنة، مثل الأقراص في برج هانوي أو الرموز الجبرية في المعادلات المنطقية.
• العمليات والتحويلات (Operators): حزمة القواعد الإجرائية المصرح بها لتغيير حالة الكائنات من نمط إلى آخر، مع وجود شروط محددة مسبقاً يجب استيفاؤها قبل السماح بتطبيق كل عملية.
• فاحص الفروق (Difference Evaluator): الوحدة التحليلية المسؤولة عن مقارنة الحالة الراهنة بالحالة الهدفية ورصد التباينات البنيوية بينهما بدقة كمية ونوعية.
• جدول الصلات والوسائل (Table of Connections): مصفوفة معرفية داخلية تربط كل فرق مرصود بمجموعة العمليات الأكثر فعالية وقدرة على محو ذلك الفرق المحدد أو تقليصه.
• محرك تنظيم الأهداف (Goal Mechanism): الهيكل الديناميكي المسؤول عن صيانة وتنظيم هرمية الأهداف في الذاكرة، ويشمل ثلاثة أنماط رئيسية من الغايات: تحويل كائن إلى آخر، ومحو فرق محدد بين كائنين، وتطبيق عملية تحويلية مشروطة على كائن قائم.

8. أمثلة وحالات توضيحية وتطبيقية

تُعد معضلة أحجية برج هانوي (Tower of Hanoi) من أشهر النماذج التي تُجلي آلية عمل برنامج حل المشكلات العام بصورة بصرية واضحة. تتألف هذه المعضلة من ثلاثة أعمدة ومجموعة أقراص مدرجة الحجم، وتتمثل الحالة الابتدائية في تراكم الأقراص فوق العمود الأول، بينما الحالة الهدفية هي نقلها كاملة إلى العمود الثالث مع شرط حاسم: عدم وضع قرص أكبر فوق قرص أصغر مطلقاً. حين يُطلب من البرنامج حل هذه المسألة، يقارن الحالة الراهنة بالحالة الهدفية، فيجد أن الفارق الجوهري هو وجود القرص الأكبر في أسفل العمود الخطأ، وتطبيق العملية المباشرة لنقله مستحيل لوجود أقراص أصغر تغطيه؛ ومن هنا يولد البرنامج هدفاً فرعياً يتمثل في إخلاء السطح بنقل الأقراص الأصغر، وهكذا يستمر في إنتاج أهداف وسيطة حتى يُفضي تراكمها إلى الحل الكامل بأقل حركات ممكنة.

مثال آخر يبرز في مسائل الحساب المنطقي أو ما يُعرف بتشفير الكلمات (Cryptarithmetic)، مثل اللغز الشهير: (SEND + MORE = MONEY)، حيث يُطلب من الفرد استبدال كل حرف برقم فريد من (0 إلى 9) بحيث تصح المعادلة الحسابية. يواجه الإنسان هنا فضاء حالات ضخماً يتضمن آلاف التباديل الممكنة؛ غير أن البرنامج، شأنه شأن المفكر البشري الخبير، يُحدد فوراً فروقاً جزئية حاسمة كأن يستنتج أن الحرف الأول (M) يجب أن يساوي بالضرورة الرقم (1) نظراً لطبيعة الجمع المحمول المحدود. هذا الاستنتاج يُقلص فضاء البحث بصورة فورية، ويولد أهدافاً فرعية مستمرة لمعالجة الأعمدة الحسابية التالية واحداً تلو الآخر.

وعلى صعيد التحويلات الرياضية، نجح البرنامج في حل براهين منطقية صورية عبر إدخال تعابير رمزية معقدة ومحاولة إيصالها إلى صيغة بديهية عبر تطبيق قواعد الاستبدال المنطقي، متفادياً الوقوع في الدوران العشوائي عبر الالتزام الصارم بجدول الفروق الذي يمنع العودة إلى حالات تم استكشاف عدم جدواها في مراحل سابقة.

9. القياس والتقييم والملاحظة التجريبية

ارتبط تقييم وملاحظة أداء حلّال المشكلات العام بمنهجية سيكولوجية مبتكرة أسسها نيويل وسيمون عُرفت باسم “تحليل بروتوكولات التفكير الصوتي” (Think-Aloud Protocol Analysis). في هذا الإجراء المخبري، يُطلب من المفحوص البشري النطق الحر بكل ما يدور في ذهنه من أفكار وتخمينات ومخاوف أثناء مواجهة المسألة، حيث يتم تسجيل وتفريغ تلك الملاحظات بدقة وتحويلها إلى متوالية زمنية من العمليات الإدراكية.

تتم بعد ذلك مقارنة الخطوات العقلية المستخلصة من تفكير المفحوص البشري خطوة بخطوة مع مسار المعالجة الذي يتبعه برنامج الحاسوب أثناء حل المشكلة ذاتها. وإذا أظهر البرنامج تسلسلاً متماثلاً في توليد الأهداف الفرعية، وتوقف عند العقبات ذاتها، واستدعى نفس مسارات التراجع (Backtracking) التي لجأ إليها الإنسان، اعتُبر ذلك دليلاً سيكومترياً وتجريبياً قوياً على صدق النموذج وقدرته التفسيرية للنشاط النفسي البشري الداخلي.

كذلك شملت مقاييس التقييم تحليل كثافة مسارات البحث، ومعدل استهلاك الذاكرة، وعدد الأهداف الفرعية التي تم توليدها مقارنة بالمسار الأمثل، ومدى مرونة النظام في الخروج من المآزق المنطقية المغلقة. وفّرت هذه المقاييس الموضوعية معايير دقيقة لمقارنة أداء المبتدئين بالخبراء في أداء المهام الذهنية المتنوعة.

10. التطبيقات والأهمية العملية في علم النفس والذكاء الاصطناعي

ترك حلّال المشكلات العام أثراً بالغاً في الممارسات التطبيقية لعلم النفس المعرفي والإرشاد التربوي وصياغة المناهج التعليمية؛ فمن خلال الكشف عن مركزية تجزئة الأهداف، استطاع علماء النفس التربوي تصميم استراتيجيات تعليمية متطورة تُدرب الطلاب على مهارات التفكير ما وراء المعرفي، وكيفية تفكيك المشكلات الأكاديمية والرياضية العويصة إلى خطوات جزئية يسيرة التناول، وهو ما خفف من حدة القلق المعرفي وعزز كفاءة حل المسائل.

وفي مجالات العلاج النفسي القائم على حل المشكلات (Problem-Solving Therapy)، استُعيرت البنية المفاهيمية لتقليص الفروق بين الحالة القائمة وحالة الاستقرار النفسي المنشودة؛ حيث يتم تدريب المسترشدين على تعريف مشكلاتهم الحياتية بدقة، وتحديد العوائق بدلاً من اجترار المشاعر السلبية العامة، ووضع خطوات سلوكية متسلسلة تؤدي إلى تفكيك الأزمات الشخصية وتحقيق التكيف الفعال.

أما على صعيد الذكاء الاصطناعي وهندسة البرمجيات، فقد أرسى البرنامج قواعد المنطق الاستدلالي الذي قامت عليه المحركات التخطيطية المؤتمتة (Automated Planners) المستخدمة في روبوتات الفضاء واللوجستيات والتوجيه الذاتي، كما أسس لفكرة عزل المنطق الحسابي عن المعرفة الميدانية، وهو المبدأ الذي تبلورت حوله لاحقاً بنية لغات البرمجة الصورية وتقنيات التمثيل المعرفي الحديثة.

11. الأبحاث والأدلة التجريبية

تتابعت الأدلة التجريبية التي أكدت القيمة العلمية للنموذج عبر دراسات كلاسيكية ومستحدثة؛ لعل أبرزها أبحاث هربرت سايمون ووليام تشيس (Chase & Simon, 1973) حول الإدراك لدى لاعبي الشطرنج، حيث أثبتت الدراسات أن الخبراء يستعينون بتمثيلات ذهنية واسعة تُشبه التوليد الإرشادي للأهداف الفرعية في حلّال المشكلات، مما يمنعهم من التشتت في فحص الحركات غير المجدية، ويجعل استرجاعهم للمواقف مستنداً إلى مجموعات بنيوية ذات مغزى (Chunks).

وفي الثمانينيات، أجرى باحثون مثل كينيث كوتوفسكي (Kotovsky et al., 1985) دراسات معمقة حول العوامل النفسية التي تؤثر في صعوبة المشكلات المنطقية المتطابقة بنيوياً، وتوصلوا إلى أن تمثيل المسألة وصياغتها اللغوية يغيران جذرياً من سهولة تشغيل فاحص الفروق وتطبيق العمليات، مما برهن على أن كفاءة البرنامج لا ترتبط فقط بالخوارزمية الإرشادية، بل بكيفية بناء فضاء المشكلة داخل النسق الإدراكي.

كما ساهمت أبحاث النمذجة العصبية المعاصرة في تقديم شواهد تدعم فرضية أن القشرة الجبهية الأمامية للإنسان تعمل كمنظم حيوي للأهداف الفرعية وموازنة الوسائل بالغايات، متطابقة في ذلك مع البنية الوظيفية لآليات التحكم المركزي في حلّال المشكلات العام، وهو ما يؤكد العمق البيولوجي للآليات التي افترضها سيمون وزملاؤه قبل عقود من توفر تقنيات الرنين المغناطيسي الوظيفي.

12. الاعتبارات الثقافية وسياقات التنوع المعرفي

أثار تطبيق النموذج في سياقات إنسانية متنوعة تساؤلات إبستمولوجية حول مدى عالمية البنية المنطقية المفترضة لحل المشكلات. يفترض حلّال المشكلات العام نسقاً خطياً واستدلالاً تحليلياً غربي الطابع، ينظر إلى المسألة بوصفها عائقاً مستقلاً عن الذات يجب تقسيمه وتجاوزه والسيطرة عليه بواسطة خطوات رياضية متصلبة؛ بينما تُظهر الدراسات الأنثروبولوجية والنفسية المقارنة أن بعض الثقافات غير الغربية تميل إلى أساليب التفكير الشمولي (Holistic Thinking) التي ترى المشكلات كأجزاء من سياق بيئي واجتماعي أوسع لا يقبل التفكيك المجرد دون فقدان المعنى.

علاوة على ذلك، يتأثر مفهوم “الحالة المنشودة” بالقيم الثقافية السائدة؛ فبينما يركز النموذج على الكفاءة والسرعة والحلول المادية المباشرة، تتطلب بعض المشكلات الإنسانية والاجتماعية في ثقافات مغايرة مراعاة الأبعاد العلائقية والانسجام الجمعي وتجنب المواجهة المباشرة، وهي جوانب لا يُعيرها فاحص الفروق الصوري وزناً داخل مصفوفاته المنطقية.

ومع ذلك، أثبتت الدراسات المعرفية عبر الثقافية أن الآلية الأساسية لتقليص المسافة الإدراكية وتوليد أهداف وسيطة تُعد سمة عصبية ونفسية عالمية لدى الجنس البشري عند مواجهة العوائق الفيزيائية والميكانيكية المجردة، وأن الاختلاف الثقافي يبرز بصورة أساسية في نوعية المعرفة الميدانية والموجهات القيمية التي تُحدد ما يُعتبر مشكلة تستحق الجهد الاستدلالي.

13. الانتقادات والمناظرات وحدود النموذج

على الرغم من إنجازاته الباهرة، واجه حلّال المشكلات العام انتقادات حادة من مدارس فكرية شتى؛ حيث كان من أشدها الانتقاد القائل بمشكلة “الانفجار التوافقي” (Combinatorial Explosion). فحين تزداد أبعاد المسألة اتساعاً وتتعدد المتغيرات المتشابكة، يتعرض النظام إلى بطء شديد وعجز تام عن تحديد الفروق ذات الأولوية، مما يُسقطه في دوامات الحسابات اللانهائية التي تعطل الوصول إلى الهدف.

وانتقد فلاسفة الإدراك مثل هوبرت دريفوس (Hubert Dreyfus) النموذج بشدة، معتبرين أن العقل البشري لا يعتمد في تفكيره الحقيقي والبديهي على التلاعب بالرموز وقواعد المنطق الشكلي، بل ينطلق من جسد مجسد في العالم (Embodied Cognition) وخبرة حدسية متراكمة لا يمكن حصرها في جداول الفروق والعمليات، مؤكدين أن الذكاء الإنساني يتجاوز الحسابات الصورية الخوارزمية.

كما اتضح أن النموذج مقيد بالمسائل “جيدة التحديد والتعريف” (Well-defined Problems)؛ وهي المسائل التي تكون بدايتها ونهايتها وقواعدها معلومة وصريحة مسبقاً كألعاب المنطق والألغاز الرياضية. أما في المسائل “سيئة التحديد” (Ill-defined Problems)، كالمعضلات السياسية والأخلاقية والإبداع الأدبي التي تتسم بالغموض وتعدد الغايات وتشابك المعطيات، فإن النموذج يقف عاجزاً عن تشكيل فضاء المشكلة ابتداءً، وهو ما كشف عن فجوة كبرى بين ذكاء الآلة الرمزي والذكاء الطبيعي التكيفي.

14. المصطلحات ذات الصلة والفروق الدقيقة

تتقاطع دراسة حلّال المشكلات العام مع عدة مفاهيم ومصطلحات معرفية وحاسوبية محددة يجب تمييزها بدقة لمنع التداخل واللبس المفاهيمي:

• مُنظر المنطق (Logic Theorist): هو البرنامج السابق لـ GPS؛ ركز تحديداً على إثبات البراهين المنطقية الصورية بالاعتماد على قواعد منطقية ثابتة، بينما صُمم حلّال المشكلات العام ليكون إطاراً عاماً يحل أنواعاً متعددة من المسائل عبر استراتيجيات سيكولوجية إرشادية.
• الخوارزميات (Algorithms): هي خطوات إجرائية تسلسلية صارمة تضمن الوصول إلى الحل الصحيح مئة بالمئة إذا ما تم تطبيقها حرفياً عبر مسح كل الاحتمالات، بخلاف الهيورستيات والحلول الإرشادية التي يعتمد عليها GPS والتي توفر مسارات مختصرة وسريعة للحل دون تقديم ضمانات قطعية بالنجاح.
• تحليل الغايات والوسائل (Means-Ends Analysis): هو الاستراتيجية الإرشادية الخاصة المعتمدة داخل البرنامج لرصد الفروق بين الوضع الراهن والهدف؛ فالبرنامج هو المنظومة الشاملة، بينما تحليل الوسائل هو التقنية الاستدلالية المطبقة في داخله.
• الأنظمة الخبيرة (Expert Systems): هي أنظمة ظهرت لاحقاً في سبعينيات وثمانينيات القرن العشرين تعتمد على حشد كميات هائلة من المعرفة التخصصية التفصيلية في مجال ضيق ومحدد (كالطب أو الجيولوجيا)، خلافاً لحلّال المشكلات العام الذي سعى عمداً إلى تجريد آليات التفكير من أي معرفة متخصصة لتبقى عامة ومطلقة.
• أبنية المعرفة المتقدمة (مثل SOAR و ACT-R): تمثل الامتداد التطوري الحديث لبرنامج GPS، حيث دمجت معالجة الأهداف الهرمية مع نماذج الذاكرة الدائمة والتعلم التلقائي والارتباط العصبي، متجاوزة قيود النموذج الأولي في التعامل مع البيئات الديناميكية والمهام الحياتية المعقدة.

15. ملخص وخلاصة ختامية

يُعد برنامج حلّال المشكلات العام (GPS) حجر الزاوية الذي غيّر النظرة العلمية نحو الذهن البشري، حيث نجح هربرت سايمون وألن نيويل وكليفورد شو في إثبات إمكانية نمذجة ومحاكاة التفكير العقلاني الإنساني عبر الحاسوب بالاعتماد على تحليل الغايات والوسائل والتوليد الديناميكي للأهداف الفرعية داخل فضاء المشكلات الرمزي.

ورغم الانتقادات المشروعة المتعلقة بعجزه عن التعامل مع المشكلات غير المنظمة جيداً ومحدودية كفاءته عند مواجهة الانفجار التوافقي المعرفي، فإن الإرث النظري والتجريبي لهذا البرنامج لا يزال يشكل الأساس المتين الذي انبثقت منه النماذج المعرفية المعاصرة، ونظريات صنع القرار في علم النفس، والأنظمة الذكية المستقلة في علوم الحاسوب؛ مُثبتاً أن العقل الإنساني يستمد عبقريته الاستدلالية من قدرته الفائقة على ترويض التعقيد وتجاوز محدوديته البيولوجية عبر التفكيك الذكي للغايات وتوجيه الموارد نحو الأهداف الأكثر جدوى.

المراجع

• Kotovsky, K., Hayes, J. R., & Simon, H. A. (1985). Why are some problems hard? Evidence from Tower of Hanoi. Cognitive Psychology, 17(2), 248-294. https://doi.org/10.1016/0010-0285(85)90009-X
• Newell, A., & Simon, H. A. (1972). Human problem solving. Prentice-Hall. https://archive.org/details/humanproblemsolv0000newe
• Newell, A., Shaw, J. C., & Simon, H. A. (1959). Report on a general problem-solving program. Proceedings of the International Conference on Information Processing, 256-264. https://dl.acm.org/doi/10.5555/272991.273014
• Simon, H. A. (1979). Models of thought. Yale University Press. https://yalebooks.yale.edu/book/9780300024326/models-of-thought/