ABD: Default Exception Abduction in Finite First Order Worlds
تقدم هذه الورقة ABD، وهو معيار للاستدلال الاستنباطي للواقعات الاستثنائية الافتراضية في عوالم منطقية أولية منتهية، والذي يقيم عشرة نماذج لغوية كبيرة رائدة في قدرتها على توليد صيغ متفرقة ومستوفية للشرط عبر ثلاثة أنظمة رصد، كاشفاً أنه بينما تحقق النماذج صلاحية عالية، إلا أنها تعاني من نقص في الإيجاز وتظهر إخفاقات تمييزية في التعميم.