نظام رمزي (في الغالب) للاستدلال الرخيصي مع أشكال منطقية غير مستقرة

نقوم بتطبيق إضفاء الطابع الرسمي على الاستدلال الطبيعي الذي يشبه المنطق الطبيعي باستخدام أشكال منطقية غير مستقرة غير مستقرة (ULFS) بواسطة كيم وآخرون.(2020).نوضح قدرة هذا النظام على التعامل مع مجموعة متنوعة من الظواهر الدلالية الصعبة باستخدام DataSet Fracas (Cooper et al.، 1996).تعطي هذه النتائج أدلة تجريبية للمطالبات السابقة أن ULF هو تمثيل مناسب للتوسط في استنتاجات من المنطق الطبيعي.

We implement the formalization of natural logic-like monotonic inference using Unscoped Episodic Logical Forms (ULFs) by Kim et al. (2020). We demonstrate this system's capacity to handle a variety of challenging semantic phenomena using the FraCaS dataset (Cooper et al., 1996). These results give empirical evidence for prior claims that ULF is an appropriate representation to mediate natural logic-like inferences.