التحليل الزمني التطبيقي: تشغيل كامل من جناح اختبار FRACAS

في هذه الورقة، نقترح تنفيذ الدلالات الزمنية التي تترجم أشجار بناء الجملة إلى الصيغ المنطقية، ومناسبة للاستهلاك من قبل مساعد دليل COQ.يدعم التحليل مجموعة واسعة من الظواهر بما في ذلك: المراجع الزمنية والظروف الزمنية والفصول الجوفية والتقدميين.يتم بناء الدلالات الجديدة على رأس نظام سابق يتعامل مع جميع أقسام جناح اختبار FRACAS باستثناء القسم المرجعي الزمني، والحصول على دقة قدرها 81 في المائة عموما و 73 في المائة للمشاكل التي تحملها صراحة فيما يتعلق بالرجوع الزمني.على حد علمنا، هذا هو أفضل أداء للنظام المنطقي على كامل Fracas.

In this paper, we propose an implementation of temporal semantics that translates syntax trees to logical formulas, suitable for consumption by the Coq proof assistant. The analysis supports a wide range of phenomena including: temporal references, temporal adverbs, aspectual classes and progressives. The new semantics are built on top of a previous system handling all sections of the FraCaS test suite except the temporal reference section, and we obtain an accuracy of 81 percent overall and 73 percent for the problems explicitly marked as related to temporal reference. To the best of our knowledge, this is the best performance of a logical system on the whole of the FraCaS.