Inter-GPS: حل المشكلات الهندسية القابل للتفهم باستخدام اللغة الرسمية والمنطق الرمزي

حل المشكلات الهندسية قد جذب اهتمامًا كبيرًا في مجتمع معالجة اللغات الطبيعية مؤخرًا. تعتبر هذه المهمة صعبة نظرًا因为她 تتطلب فهمًا مجردًا للمشكلة وعمليات استدلال رمزية باستخدام المعرفة البديهية. ومع ذلك، فإن البيانات الحالية إما صغيرة الحجم أو غير متاحة للجمهور. لذلك، قمنا ببناء معيار جديد على نطاق واسع يُسمى Geometry3K، يتكون من 3,002 مشكلة هندسية مع توثيق كثيف باللغة الرسمية. علاوة على ذلك، اقترحنا طريقة جديدة لحل المشكلات الهندسية باستخدام اللغة الرسمية والاستدلال الرمزي، تُعرف باسم حل المشكلات الهندسية القابل للتفسير (Inter-GPS). يقوم Inter-GPS أولاً بتحليل نص المشكلة والرسم التوضيحي إلى اللغة الرسمية تلقائيًا عبر تقنيات تحليل النص القائمة على القواعد والكشف العصبي عن الأشياء، على التوالي. بخلاف التعلم الضمني في الطرق الموجودة حاليًا، يدمج Inter-GPS معرفة المقاييس كقواعد شرطية ويقوم بالاستدلال الرمزي خطوة بخطوة. بالإضافة إلى ذلك، تم تصميم محرك تنبؤ المقاييس لاستنتاج تسلسل تطبيق المقاييس الذي يتم تقديمه إلى المحلل الرمزي لتحقيق مسار البحث الأكثر كفاءة ومعقولية. أظهرت التجارب الواسعة التي أجريت على مجموعتي بيانات Geometry3K وGEOS أن Inter-GPS حقق تحسينات كبيرة مقارنة بالطرق الموجودة حاليًا. يمكن الوصول إلى المشروع مع الكود والبيانات عبر الرابط: https://lupantech.github.io/inter-gps.