🤖 AI

Plausible Reasoning and First-Order Plausible Logic

تقدم هذه الورقة المنطق المعقول (PL)، وهو منطق من الدرجة الأولى غير احتمالي مصمم للاستدلال القابل للنقض، يلتزم بـ 17 مبدأً مقترحاً ويستخدم ثماني خوارزميات استدلال متميزة لاستخلاص استنتاجات منطقية من الحقائق والعبارات القابلة للنقض.

المؤلفون الأصليون: David Billington

نُشر 2026-04-22

📖 6 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: David Billington

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك تحاول التنقل في مدينة خريطتها غير مكتملة، وعلامات المرور فيها خاطئة أحياناً، والطقس فيها لا يمكن التنبؤ به. لا يمكنك الاعتماد على اليقين الرياضي المثالي (مثل "ستشرق الشمس في الساعة 6:03 صباحاً"). بدلاً من ذلك، عليك تقديم تخمينات معقولة بناءً على ما هو صحيح عادةً، وما هو محتمل، وما تشير إليه الأدلة.

هذه الورقة البحثية لـ ديفيد بيلينغتون (David Billington) تدور حول بناء "كتيب قواعد" رسمي لتقديم تلك الأنواع من التخمينات دون استخدام الأرقام (مثل النسب المئوية أو الاحتمالات). إنها تتعلق بإنشاء منطق لـ "المنطق السليم" (Common Sense).

إليك تفصيل الورقة باستخدام تشبيهات بسيطة:

1. المشكلة: فخ الـ "عادةً"

في الرياضيات القياسية أو منطق الحاسوب، الأشياء إما أبيض أو أسود. إذا كان (أ) صحيحاً، فإن (ب) صحيح. لكن في الحياة الواقعية، نقول أشياء مثل:

"الطيور تطير عادةً."
"تويتي طائر."
"لذلك، من المحتمل أن يطير تويتي."

ولكن ماذا لو كان تويتي بطريقاً؟ المنطق سينهار إذا عاملنا "عادةً" بنفس طريقة معاملة "دائماً". يجادل المؤلف بأننا بحاجة إلى نوع خاص من المنطق يتعامل مع عبارات "عادةً" هذه دون تحويلها إلى حقائق صلبة أو تخصيص درجة احتمالية لها بنسبة 90%.

2. القواعد الـ 17 للعبة

يقترح المؤلف 17 "مبدأ" (قاعدة) يجب أن يتبعها أي نظام "استدلال معقول" جيد. فكر في هذه كقوانين الفيزياء للمنطق السليم.

الحقيقة مقابل التخمين: يجب أن تكون قادراً على التمييز بين الحقيقة الصلبة ("الماء مبلل") والتخمين ("من المحتمل أن تمطر").
لا معلومات سحرية: لا يمكنك استحضار حقائق جديدة من العدم. لا يمكن لاستنتاجك أن يحتوي على معلومات أكثر مما كانت عليه أدلتك الأولية.
تغيير الرأي (عدم الرتابة - Non-Monotonicity): هذا أمر بالغ الأهمية. في الرياضيات العادية، إذا أثبتت (أ)، فإن إضافة المزيد من الحقائق لن تجعل (أ) خاطئة أبداً. أما في الاستدلال المعقول، فإن إضافة معلومات جديدة يمكن أن تجعلك تغير رأيك.
- تشبيه: تعتقد أن "نانسي رأس قدمي (cephalopod)، لذا فمن المحتمل ألا يكون لها صدفة." (وهذا صحيح بالنسبة للأخطبوطات). ولكن بعد ذلك تعلم أن "نانسي نوتيلوس (nautilus)." الآن يجب أن تغير رأيك: "نانسي لديها صدفة." يجب أن يسمح نظام المنطق الجيد بالتراجع عن الاستنتاجات عند وصول أدلة جديدة.
لغز "الغموض": أحياناً تكون الأدلة متوازنة تماماً.
- تشبيه: لديك شاهدان. أحدهما يقول "الإشارة كانت خضراء"، والآخر يقول "الإشارة كانت حمراء". كلاهما موثوق بنفس القدر. هل تستنتج أن الإشارة كانت خضراء؟ لا. بل تستنتج أن الموقف غامض. تجادل الورقة بأن نظام المنطق الجيد يحتاج إلى وضعين: وضع يقول "توقف، الوضع غامض" (حذر)، ووضع يقول "امضِ مع أفضل رهان" (مغامر).

3. الحل: المنطق المعقول (PL)

يبني المؤلف نظاماً محدداً يسمى المنطق المعقول (Plausible Logic - PL). فكر في هذا كأنه محكمة متطورة أو وكالة تحريات.

الأنواع الثلاثة للقواعد

يستخدم (PL) ثلاثة أنواع من "القوانوان" لمعالجة المعلومات:

القواعد الصارمة (القوانين الحديدية): "إذا كان مثلثاً، فله 3 أضلاع." هذه لا تنكسر أبداً.
القواعد القابلة للنقض (القواعد العامة): "إذا كان طيراً، فهو يطير." هذه تعمل ما لم تكن هناك أدلة على عكس ذلك (مثل البطريق).
قواعد التحذير (علامات "كن حذراً"): "إذا كان سماناً خائفاً، فقد يطير." هذا لا يثبت أنه سيطير، ولكنه يحذرك من أن تستنتج أنه لن يطير بالتأكيد. إنه يمنعك من الثقة الزائدة في النفي.

"المحققون" الثمانية (الخوارزميات)

هذا هو الجزء الأكثر تميزاً في الورقة. أدرك المؤلف أنه اعتماداً على الموقف، قد ترغب في مستويات مختلفة من الحذر. لذا، فإن (PL) لا يمتلك "عقلاً" واحداً فقط؛ بل لديه 8 خوارزميات استدلال مختلفة (محققون)، مرتبة في تسلسل هرمي من حيث الصرامة:

مدقق الحقائق (φ): يتعامل فقط مع الحقائق الصلبة. موثوق بنسبة 100%، ولكنه محدود جداً.
محقق "أفضل رهان" (π): يحاول إثبات الأشياء إذا كانت الأدلة قوية. هو يمنع الغموض. إذا كانت الأدلة ضدك قليلاً، فقد يظل يقول "نعم، انطلق".
المحقق الحذر (ψ): أكثر حذراً قليلاً. لن يقفز إلى الاستنتاجات إذا كان هناك شك ضئيل.
المحقق "المعيق" (θ): أكثر حذراً. يوقف الاستنتاجات إذا كان هناك أي احتمال للخطأ.
المحقق "المانع" (β): الأكثر حذراً. ينشر الغموض. إذا كان هناك أي شك، فإنه يرفض إعطاء إجابة.
(بالإضافة إلى ثلاث نسخ أخرى من هذه الخوارزميات لاحتياجات تقنية محددة).

التشبيه: تخيل هيئة محلفين.

الخوارزمية φ هي القاضي (يتبع القانون فقط).
الخوارزمية π هي هيئة محلفين في قضية مدنية ("رجحان الأدلة" – إذا كان الاحتمال 51%، نقول نعم).
الخوارزمية β هي هيئة محلفين في قضية جنائية ("بما لا يدع مجالاً للشك المعقول" – إذا كان هناك أي شك، نقول غير مذنب).

تجادل الورقة بأن نظام المنطق الواحد يجب أن يكون قادراً على التبديل بين هؤلاء "المحلفين" اعتماداً على حجم المخاطر.

كيف يعمل: "شجرة" الفكر

لإثبات استنتاج ما، يبني النظام رسماً بيانياً موجهاً غير حلقي (Rooted Acyclic Digraph - RAD).

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

قيم الحقيقة

في المنطق العادي، تكون العبارة إما صحيحة أو خاطئة. في المنطق المعقول، يقدم المؤلف 4 قيم للحقيقة:

صحيح (t): هو صحيح عادةً.
خاطئ (f): هو خاطئ عادةً.
غامض (a): الأدلة المؤيدة والمعارضة متساوية. (لا نعرف).
غير محدد (u): ليس لدينا أدلة كافية في كلا الاتجاهين.

هذا يحل مشكلة "الوسط المستبعد". في الحياة الواقعية، الأشياء ليست مجرد أبيض وأسود؛ يمكن أن تكون "ربما" أو "لا نعرف".

الملخص

لقد أنشأ ديفيد بيلينتون كتيب قواعد رسمي للمنطق السليم.

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

باخت-الكلمات، إنه نظام منطقي يفهم أن أن تكون على صواب هو أمر جيد، ولكن أن تكون متأكداً عندما لا ينبغي لك ذلك هو أمر خطير.

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

1. بيان المشكلة

تتناول الورقة حدود المنطق الكلاسيكي في التعامل مع الاستدلال المعقول (Plausible Reasoning)—وهي الحالات التي تتضمن عبارات "مرجحة"، أو "صحيحة عادةً"، أو "محتمل حدوثها" ولكنها ليست يقينية. المنطق الكلاسيكي هو منطق رتيب (إضافة المعلومات لا تبطل الاستنتاجات السابقة أبداً) وثنائي (صواب/خطأ)، مما يجعله غير مناسب لـ:

الاستدلال القابل للإبطال (Defeasible reasoning): حيث يمكن للأدلة الجديدة أن تقلب الاستنتاجات السابقة (مثال: "الطيور تطير" مقابل "البطاريق لا تطير").
عدم اليقين غير الكمي: الحالات التي يفتقر فيها التحديد إلى الدقة، ولكن دون توفر احتمالات عددية (مثال: "معظم الثدييات لها فراء").
الغموض (Ambiguity): السيناريوهات التي يكون فيها الدليل المؤيد والمنفي متوازنين، مما يتطلب استراتيجيات استدلال مختلفة (مثل "حجب الغموض" مقابل "نشر الغموض").

غالباً ما تفشل المنطقات الموجودة في استيفاء مجموعة شاملة من المبادئ الحدسية المطلوبة للاستدلال المعقول، مثل عدم الرتابة، والتعامل المحدد مع الروابط (الوصل/الفصل)، والقدرة على التمييز بين الحقائق والحقائق المعقولة.

2. المنهجية

يستخدم المؤلف منهجية صارمة قائمة على المبادئ لتعريف منطق جديد:

صياغة المبادئ: يحدد المؤلف 17 مبدأً يجب أن يستوفيها أي منطق للاستدلال المعقول.
- 14 مبدأً ضرورياً: إذا فشل المنطق في هذه المبادئ، فلا يمكنه إجراء الاستدلال المعقول (مثل: التمثيل، عدم الرتابة، عدم الربط، والاتساق القوي للدرجة الثانية).
- 3 مبادئ مرغوبة: إذا فشل المنطق في هذه المبادئ، فإنه يظل محدوداً ولكنه قد يظل يعمل (مثل: الحسم، وعدم وجود حلقات مفرغة).
التعريفات الرسمية:
- التمثيلات المعقولة (Plausible-Representations): تُنمذج المواقف كـ $R = (Fact(R), Plaus(R))$، مع التمييز بين الجمل الحقائقية والجمل المعقولة.
- الأوصاف المعقولة ( $D$ ): بنية رسمية $(Ax, R, >)$ تتكون من البديهيات ( $Ax$ )، ومجموعة من القواعد ( $R$ )، وعلاقة أولوية ( $>$ ).
- أنواع القواعد:
  - القواعد الصارمة ( $\to$ ): الاستلزام المادي (الحقائق).
  - القواعد القابلة للإبطال ( $\Rightarrow$ ): عبارات "عادةً" (مثل: $A \Rightarrow C$ ).
  - قواعد التحذير ( $;$ ): تمنع الاستنتاجات المحفوفة بالمخاطر دون دعم نفيها.
بناء نظرية الإثبات:
- يستخدم المنطق 8 خوارزميات تمييزية ( $\phi, \pi, \psi, \theta, \theta', \beta, \psi', \pi'$ ).
- الخوارزميات:
  - $\phi$ : إثبات حقيقي (كلاسيكي).
  - $\pi, \psi, \theta, \theta', \beta$ : خوارزميات معقولة ذات مستويات قوة متفاوتة فيما يتعلق بالتعامل مع الغموض (الحجب مقابل النشر).
  - $\pi', \psi'$ : خوارزميات مساعدة (Co-algorithms) لتقييم الأدلة ضد استنتاج ما.
- الآلية: تُعرف البراهين عبر دالة تكرارية $P(\alpha, H, f)$ $P (α, H, f)$ تعيد $+1$ $+ 1$ (تم إثباته) أو $-1$ (تم نفيه).
  - الدليل: يتم إثبات الصيغة إذا وجد دليل عليها (مثال لقاعدة) وتم إبطال جميع الأدلة ضدها (إما عن طريق قاعدة متفوقة أو بإظهار أن مقدمات القاعدة المعارضة غير قابلة للإثبات).
  - التاريخ ( $H$ ): لمنع الحلقات اللانهائية، تتبع عملية الإثبات تاريخ الخوارزميات المستخدمة ونماذج القواعد.
- البنية: تُنمذج البراهن كـ رسوم بياسية موجهة غير حلقية (Radical Acyclic Digraphs - Rads)، مما يسمح بهياكل تبعية معقدة ومسارات لانهائية (رغم أن الحسم النهائي مطلوب).

3. المساهمات الرئيسية

المنطق المعقول (PL): تعريف منطق معقول من الدرجة الأولى يستوفي جميع الـ 14 مبدأً ضرورياً و13 من الـ 14 مبدأً مرغوباً (فشل فقط في مبدأين محددين يتعلقان بمنع الحلقات في الحالات اللانهائية، رغم معالجتها عبر التاريخ). يزعم المؤلف أن هذا هو المنطق الوحيد المعروف الذي يستوفي هذه المجموعة المحددة من المعايير.
المبادئ الـ 17: إطار عمل شامل يميز الاستدلال المعقول، بما في ذلك:
- مبدأ عدم الربط (Non-Conjunctive): عطف جملتين معقولتين لا يعني بالضرورة أن العطف نفسه معقول.
- مبدأ عدم صحة الفصل (Not Right Disjunctive): إذا كان الفصل معقولاً، فهذا لا يعني أن أحد الأجزاء المفصولة معقول.
- مبدأ الوسط المستبعد (Included Middle): تتطلب نظرية الحقيقة للاستدلال المعقول ثلاث قيم حقيقية على الأقل (صواب، خطأ، و"غير محدد/غامض").
التسلسل الهرمي الخطي للخوارزميات: تقديم 8 خوارزميات تشكل تسلسلاً هرمياً خطياً من الموثوقية.
- $\phi$ (حقيقي) > $\pi$ (أقوى معقول) > $\psi$ > $\theta$ > $\beta$ (أضعف معقول).
- يسمح هذا التسلسل للمستخدمين باختيار المستوى المناسب من الحذر (مثل: "ما وراء الشك المعقول" مقابل "توازن الاحتمالات").
نظرية الحقيقة: نظام حقيقة مكون من 4 قيم $\{t, f, a, u\}$ (صحيح عادةً، خاطئ عادةً، غامض، غير محدد) مشتق مباشرة من خوارزميات الإثبات.
براهين قائمة على الـ Rads: طريقة استقراء هيكلي مبتكرة على الرسوم البياسية الموجهة غير الحلقية (Rads) لتعريف وتحليل البراهين، بما يتناسب مع الهياكل غير الطبقية والمسارات اللانهائية.

4. النتائج

استيفاء المبادئ: تثبت الورقة من خلال البناء والنظريات أن المنطق المعقول (PL) يستوفي مبادئ: التمثيل، المعلومات، تحت-الكلاسيكية الحقيقية، الدليل، عدم الرتابة، عدم الربط، الربط المعقول، عدم صحة الفصل، عدم صحة الفصل الحقيقي الأيسر، التوسيع الأيمن المعقول، الاتساق القوي للدرجة الثانية، عدم الاتساق للدرجة الثالثة، تعدد خوارزميات الإثبات، ومبدأ الوسط المستبعد.
التماسك والاتساق: تثبت النظرية 5.6 أن الخوارزميات متماسكة (لا يمكن إثبات صيغة ونفيها في آن واحد بواسطة نفس الخوارزمية). وتثبت النظرية 5.7 الاتساق القوي للدرجة الثانية (أي صيغتين مثبتتين هما قابلتان للتحقق معاً مع الحقائق).
التعامل مع الغموض: ينجح المنطق في نمذجة "لغز الغموض" (المثال 3.27)، حيث يميز بين الخوارزميات التي تحجب الغموض (تستنتج نتيجة إذا كان الدليل يرجح قليلاً على الدليل المضاد) وتلك التي تنشر الغموض (ترفض الاستنتاج إذا كان الدليل متوازناً).
الصحة: يعطي المنطق إجابات "صحيحة" لأمثلة العلامات القياسية (مثل: يانصيب الثلاثة، مثال الناوتيلوس/السيفابود) حيث تفشل المنطقات الأخرى.

5. الأهمية

التقدم النظري: يوفر المنطق المعقول (PL) حلاً رياضياً كاملاً ومنظماً لمنطق الدرجة الأولى المصمم خصيصاً للاستدلال غير الرتيب والمعقول دون الاعتماد على الاحتمالات العددية، مما يسد الفجوة بين المنطق الكلاسيكي والاستدلال القابل للإبطال.
القابلية للتطبيق العملي: يسمح التسلسل الهرمي للخوارزميات بالتطبيق المرن في المجالات التي تتطلب معايير مختلفة للإثبات (مثل الاستدلال القانوني، التشخيص الطبي، واتخاذ القرار في الذكاء الاصطناعي).
الوضوح التأسيسي: من خلال سرد 17 مبدأً صراحةً، تقدم الورقة معياراً لتقييم أنظمة الاستدلال الحالية والمستقبلية.
التعامل مع الحلقات واللانهاية: يوفر استخدام "التاريخ" في دالة الإثبات وهيكل الـ Rad آلية قوية للتعامل مع سلاسل الاستدلال التي قد تكون لانهائية دون حدوث انهيار، وهي مشكلة شائعة في المنطقات غير الرتيبة.

باختصار، تقدم هذه الورقة المنطق المعقول (PL) كحل شامل وصارم رياضياً لمشكلة الاستدلال باستخدام معلومات معقولة وقابلة للإبطال، ويتميز بالتزامه بمجموعة صارمة من 17 مبدأً منطقياً وتسلسله الهرمي الفريد متعدد الخوارزميات.