الاستدلال غير الرتيب
يُضفي الاستدلال غير الرتيب طابعًا رسميًا على الاستنتاج الذي يمكن فيه إضافة معلومات جديدة أن تسحب استنتاجات سابقة، مما يجسد الطابع القابل للإلغاء والمحمل بالافتراضات الافتراضية للتفكير المنطقي السليم.
Definition
يكون نظام الاستدلال غير رتيب عندما لا تنمو مجموعة الاستنتاجات بشكل رتيب مع المقدمات: يمكن أن يؤدي تعلم حقيقة جديدة إلى إبطال استنتاج سابق، كما هو الحال عند اكتشاف أن طائرًا معينًا هو بطريق يسحب الاستنتاج الافتراضي بأنه يستطيع الطيران.
Scope
يغطي هذا الموضوع المنطق والأساليب الخاصة بالاستدلال باستخدام معلومات غير كاملة وافتراضات افتراضية، حيث تكون الاستنتاجات مؤقتة وقد يتم سحبها: منطق الافتراض (default logic)، التحديد (circumscription)، افتراض العالم المغلق (closed-world assumption)، النفي كفشل (negation as failure)، والفكرة الأوسع للاستدلال القابل للإلغاء (defeasible inference). ويتناول سبب عدم كفاية رتابة المنطق الكلاسيكي للتفكير المنطقي السليم وكيف تستعيد الصياغات غير الرتيبة القدرة على القفز إلى الاستنتاجات ومراجعتها لاحقًا. تُعالج المقاربات الاحتمالية لعدم اليقين ضمن موضوع الاستدلال في ظل عدم اليقين.
Core questions
- لماذا المنطق الكلاسيكي رتيب، ولماذا يتطلب التفكير المنطقي السليم عدم الرتابة؟
- كيف تسمح القواعد الافتراضية باستنتاجات مؤقتة في غياب الأدلة المعارضة؟
- كيف يقلل التحديد من امتداد محمولات الشذوذ (abnormality predicates) لالتقاط الافتراضات الافتراضية؟
- كيف يتم حل التعارضات بين الافتراضات الافتراضية والاستثناءات عند وصول معلومات جديدة؟
Key concepts
- الرتابة مقابل عدم الرتابة
- القواعد الافتراضية والامتدادات
- التحديد
- افتراض العالم المغلق
- النفي كفشل
- الاستدلال القابل للإلغاء
- محمولات الشذوذ
- مراجعة المعتقدات
Key theories
- منطق الافتراض
- يعزز منطق الافتراض لرايتر المنطق الكلاسيكي بقواعد افتراضية على شكل 'إذا كانت A صحيحة وكان من المتسق افتراض B، فاستنتج B،' مما ينتج مجموعات من الاستنتاجات (الامتدادات) التي ترخص الافتراضات الافتراضية المنطقية السليمة مع بقائها قابلة للسحب.
- التحديد
- تحديد مكارثي هو استدلال غير رتيب يقلل من امتداد محمولات مختارة (الشذوذ)، مما يضفي طابعًا رسميًا على افتراض أن الأمور طبيعية قدر الإمكان وفقًا للحقائق المعروفة، وبالتالي يبرر الاستنتاجات الافتراضية.
- افتراض العالم المغلق والنفي كفشل
- معالجة غياب حقيقة من قاعدة المعرفة كدليل على زيفها (افتراض العالم المغلق، الذي يتحقق عمليًا كالنفي كفشل) هي آلية غير رتيبة مستخدمة على نطاق واسع، وهي أساسية للبرمجة المنطقية وقواعد البيانات.
Clinical relevance
تظهر الآليات غير الرتيبة حيثما يجب على الأنظمة الاستدلال بمعلومات غير كاملة وافتراضات افتراضية معقولة: البرمجة المنطقية وقواعد البيانات الاستنتاجية (عبر النفي كفشل)، أنظمة الخبراء القائمة على القواعد مع الاستثناءات، برمجة مجموعة الإجابات للاستدلال التوافقي، والنماذج الرسمية للتفكير المنطقي السليم والتفكير القانوني.
History
أطلقت مجموعة من الأوراق التأسيسية في العدد الخاص لعام 1980 من مجلة الذكاء الاصطناعي، بما في ذلك منطق الافتراض لرايتر (Reiter's default logic) وتحديد مكارثي (McCarthy's circumscription)، الدراسة الرسمية للاستدلال غير الرتيب استجابة لمشكلة الإطار (frame problem) وعدم كفاية المنطق الكلاسيكي للتفكير المنطقي السليم. وقد غذى هذا المجال لاحقًا برمجة مجموعة الإجابات (answer set programming) ومراجعة المعتقدات (belief revision).
Key figures
- Raymond Reiter
- John McCarthy
- Drew McDermott
- Jon Doyle
- Robert C. Moore
Related topics
Seminal works
- reiter1980
- mccarthy1980
Frequently asked questions
- ماذا يعني 'غير رتيب'؟
- في المنطق الكلاسيكي، لا تؤدي إضافة المقدمات أبدًا إلى إزالة الاستنتاجات: مجموعة النظريات تنمو فقط، وهذا ما يسمى بالرتابة. يكون الاستدلال غير رتيب عندما يمكن أن تتسبب المعلومات الجديدة في سحب استنتاجات سابقة، كما يحدث مع الافتراضات الافتراضية التي يتبين أن لها استثناءات.
- لماذا لا يستطيع المنطق الكلاسيكي التعامل مع الافتراضات المنطقية السليمة؟
- المنطق الكلاسيكي رتيب، لذا لا يمكن صياغة افتراض مثل 'الطيور عادة ما تطير' كقاعدة صارمة دون أن تصبح خاطئة بالنسبة للاستثناءات مثل البطاريق. تسمح المنطق غير الرتيبة لهذه الافتراضات بالصمود مؤقتًا ويتم تجاوزها عندما تُعرف حقائق محددة معاكسة.