الملحق «ب»: المعرفة والمنطق

(١) منطق القضايا

لأغراضنا المُتعلِّقة بفهم إمكانات وآفاق الذكاء الاصطناعي، نرى أن هناك نوعَين مُهمَّين من المنطق: منطق القضايا، والمنطق الإسنادي. والفرق بين الاثنين جوهري لفهم الوضع الحالي للذكاء الاصطناعي والكيفية التي من المُنتظر أن يتطور بها.

بعبارة أخرى، لا تُوجَد قطعة لعب بيضاء ولا سوداء. يبدو هذا بسيطًا بالقدر الكافي. لكن لسوء الحظ، في منطق القضايا، يجب كتابة هذا على نحوٍ مُنفصل لكل موضع ولكل حركة في اللعبة. ولأنَّ هناك ٣٦١ موضعًا ونحو ٣٠٠ حركة في كلِّ مباراة، فهذا يعني أكثر من مائة ألف نسخة من القاعدة! وبالنسبة إلى القواعد الخاصة بالاستحواذ والتَّكرار، التي تتضمَّن قطع لعبٍ ومواضع مُتعدِّدة، الوضع أسوأ وسنملأ بسُرعة ملايين الصفحات.

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

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

(٢) المنطق الإسنادي

مع بعض المحاذير الإضافية وبعض الجُمل الأُخرى التي تعرف مواضع لوح اللعب واللونين ومعنى كلمة «خالٍ»، تكون لدينا بدايات القواعد الكاملة للعبة جو. وستجد أنَّ القواعد المكتوبة باستخدام المنطق الإسنادي ستشغل تقريبًا نفس المساحة التي تشغلها عند كتابتها باللغة الإنجليزية.

ومن ثم فأحد الدروس المستفادة المهمة من أول ثلاثين عامًا من البحث في مجال الذكاء الاصطناعي هو أنَّ أيَّ برنامج يعرف أشياء، بأيِّ نحوٍ مُفيد، سيحتاج قُدرة على التمثيل والتفكير يُمكن على الأقل مُقارنتها بتلك التي يُتيحها المنطق الإسنادي. وحتى الآن، نحن لا نعرف الشكل الدقيق الذي سيتَّخذُه ذلك؛ إنه يُمكن دمجُه في نُظم تفكيرٍ احتمالي أو نُظُم تعلُّم مُتعمِّق أو تصميمٍ ما هجين لم يظهر للنُّور بعد.