حلالشجرة العامّة المُتماشية مع المعنى لمشاكل الكلمات الرياضية

يجب أن يكون مُحلّل مسائل الرياضيات النصية (MWPs) التلقائي العملي قادرًا على حل أنواع متنوعة من مسائل الرياضيات النصية، في حين أن معظم الدراسات الحالية ركزت فقط على مسائل الرياضيات الخطية ذات المجهول الواحد. ولهذا، نقترح طريقة بسيطة ولكن فعالة تُسمى "شجرة التعبير الشاملة" (UET) لإجراء أول محاولة لتمثيل المعادلات الخاصة بأنواع مختلفة من مسائل الرياضيات النصية بشكل موحد. ثم نُقدّم مُحلّلًا شجريًا شاملاً مُتماسكًا مع المعنى (SAU-Solver) يعتمد على إطار عمل مشفر-مُفكّك (encoder-decoder) لحل عدة أنواع من مسائل الرياضيات النصية ضمن نموذج موحد، مستفيدًا من تمثيلنا باستخدام UET. يُولّد نموذج SAU-Solver شجرة تعبير شاملة صراحةً من خلال تحديد الرموز التي يجب إنتاجها بناءً على المعاني الدلالية للرموز المُنتجة، تمامًا كما يفعل الإنسان عند حل مسائل الرياضيات النصية. بالإضافة إلى ذلك، يحتوي نموذج SAU-Solver على ت régularization جديد على مستوى الفرع الشجري، يُعزز التزامن الدلالي مع المعلومات السياقية، مما يُعزز قيود المعنى وعقلانية الشجرة الناتجة. وأخيرًا، لاختبار كفاءة الحلّال الشامل وتوسيع حدود البحث في مجال مسائل الرياضيات النصية، نقدّم مجموعة بيانات جديدة صعبة تُسمى "مسائل الرياضيات المختلطة" (HMWP)، والتي تتضمّن ثلاثة أنواع من مسائل الرياضيات النصية. أظهرت النتائج التجريبية على عدة مجموعات بيانات لمسائل الرياضيات النصية أن نموذجنا قادر على حل أنواع متعددة من مسائل الرياضيات النصية، ويتفوّق على عدة نماذج حديثة متطورة.