الذكاء الاصطناعي ومشكلات العالم الصعبة · علوم الحاسوب النظرية · arXiv · 2026-10-20

التحقق من مراجع الاستدلال المكتوبة بيد البشر

العنوان الأصلي: Verifying Human-Written Reasoning References

كثيرًا ما تُستخدم سلاسل الاستدلال التي يكتبها البشر مرجعًا للحكم على استدلال الذكاء الاصطناعي، لكن الدعم المنطقي لخطواتها نادرًا ما يُفحص. يستخدم المؤلفون نموذجًا لغويًا كبيرًا لترجمة نتائج الخطوات إلى منطق الدرجة الأولى، ومحلِّل Z3 للتحقق من الاستلزام، وطبّقوا ذلك على 386 اشتقاقًا من P-FOLIO. ومن بين هذه، استوفى 202 (52.3%) جميع المعايير، وأصبحت 191 من أصل 230 خطوة غير مستلزمة من دعمها المعلن مستلزمة عند فحصها مقابل المقدمات الكاملة.

اقرأ المصدر الأصلي ↗

جميع العناصر →