المنطق غير الرتيب

المنطق غير الرتيب هو المنطق الرسمي الذي لا تكون العلاقة الاستنتاجية فيه رتيبة. بمعنى آخر، تم تصميم المنطق غير الرتيب لالتقاط وتمثيل الاستدلالات غير القابلة للتنفيذ (راجع الاستدلال غير قابل للتنفيذ ) ،نوع من الاستدلال حيث يستخلص المنطقون استنتاجات مبدئية، مما يمكّن المنطقين (المفكرين) من التراجع عن استنتاجاتهم بناءاً على مزيد من الأدلة. معظم المنطق الرسمي المدروس له علاقة استنتاجية رتيبة، مما يعني أن إضافة صيغة إلى نظرية لا ينتج عنها أبداً تشذيب لمجموعة استنتاجاتها. بديهياً، تشير الرتابة إلى أن تعلم جزء جديد من المعرفة لا يمكن أن يقلل من مجموعة ما هو معروف .لا يمكن للمنطق الرتيب التعامل مع مختلف المهام المنطقية مثل التفكير الافتراضي (يمكن استخلاص الاستنتاجات فقط بسبب عدم وجود دليل على عكس ذلك) ، والتفكير الاستباقي (ولا يمكن استخلاص الاستنتاجات إلا بسبب عدم وجود أدلة على العكس)، وبعض التوجهات المهمة للاستدلال حول المعرفة (يجب التراجع عن الجهل بالاستنتاج عندما يصبح الاستنتاج معروفا ) ، كذلك، مراجعة الاعتقاد (المعرفة الجديدة قد تتناقض مع المعتقدات القديمة ).
المنطق الاستبادي
الاستدلال الاستنتاجي هو عملية استنباط تفسير كافٍ للحقائق المعروفة. يجب ألا يكون منطق الاستباقي رتيباً لأن التفسيرات المحتملة ليست بالضرورة صحيحة. على سبيل المثال، التفسير المحتمل لرؤية العشب المبلل هو أنه أمطرت؛ ومع ذلك، يجب التراجع عن هذا التفسير عند معرفة أن السبب الحقيقي لتبلل العشب هو الرش . بما أن التفسير القديم (لقد أمطرت)قد تراجع عنه بسبب إضافة جزء من المعرفة (كان الرشاش نشطًا)، فإن أي منطق يقوم على نماذج التفسيرات ليس منطقياً.
التفكير في المعرفة
إذا تضمن المنطق صيغاً تعني أن شيئاً ما غير معروف، فلا ينبغي أن يكون هذا المنطق رتيباً. بالفل، فإن تعلم شيء لم يكن معروفًا من قبل يؤدي إلى إزالة الصيغة التي تحدد أن هذا الجزء من المعرفة غير معروف. هذا التغيير الثاني (الإزالة الناتجة عن إضافة) يخالف شرط الرتابة. إن منطق الاستدلال عن المعرفة هو منطق الوباء الذاتي .
مراجعة المعتقدات
مراجعة الاعتقاد هي عملية تغيير المعتقدات لاستضافة معتقد جديد قد يتعارض مع المعتقدات القديمة. لنفترض أن المعتقد الجديد صحيح، يجب التراجع عن بعض المعتقدات القديمة من أجل الحفاظ على التناسق . هذا التراجع استجابةً لإضافة اعتقاد جديد يجعل أي منطق لمراجعة المعتقدات لتكون غير رتيبة . سياسة مراجعة المعتقدات هي بديل للمنطق غير المتناسق، الذي يتساهل مع التناقض بدلاً من محاولة إزالته.
انظر أيضاً
البرمجة المنطقية
النفي كإخفاق
دلالات نموذج مستقر
علاقة النتيجة العقلانية
ملحوظات
مراجع
N Bidoit and R. Hull (1989) " Minimalism، justification and non-monotonicity in الاستنتاجي قواعد البيانات "، Journal of Computer and System Sciences 38 : 290-325.
بروكا (1991). الاستدلال غير الرئوي: الأسس المنطقية لـ Commonsense . صحافة جامعة كامبرج.
بروكا، ج.ديكس، ك.كونوليج (1997). الاستدلال غير الرئوي - نظرة عامة . منشورات CSLI ، ستانفورد.
M. Cadoli and M. Schaerf (1993) " مسح لنتائج التعقيد للمنطق غير الرتيب " مجلة البرمجة المنطقية 17 : 127-60.
إف إم دونيني، إم لينزيريني، د. ناردي، إف بيري، وإم شايرف (1990) " التفكير غير الرئي ،" مراجعة الذكاء الاصطناعي 4 : 163-210.
DM Gabbay (1985). الأسس النظرية للاستدلال غير الرتيب في الأنظمة الخبيرة . في: Apt KR (ed) منطق ونماذج الأنظمة المتزامنة. سلسلة الناتو ASI (السلسلة F: علوم الكمبيوتر والأنظمة) ، المجلد 13. سبرينغر، برلين، هايدلبرغ، ص. 439-457.
ML Ginsberg، ed. (1987) قراءات في الاستدلال اللا رئوي . لوس ألتوس كاليفورنيا: مورغان كوفمان.
Horty، JF، 2001، "Nonmonotonic Logic،" in Goble، Lou، ed.، The Blackwell Guide to Philosophical Logic . بلاكويل.
W. Lukaszewicz (1990) الاستدلال غير الرتيب . إليس-هوروود، شيشستر، وست ساسكس، إنجلترا.
CG Lundberg (2000) " المنطق والمعنى الذي نتذكره: صناعة الحواس من خلال الاختطاف " ، مجلة علم النفس الاقتصادي : 21 (6) ، 691-709.
د. ماكينسون (2005) الجسور من المنطق الكلاسيكي إلى غير المنطق ، منشورات الكلية.
دبليو ماريك وم. Truszczynski (1993) المنطق غير الرئوية: الاستدلال المعتمد على السياق . سبرينغر فيرلاغ.
نايت عبد الله (1995) منطق المعلومات الجزئية . سبرينغر فيرلاغ.
روابط خارجية
استنتاج
منطق