في السنوات الأخيرة، حقق تخطيط مفهوم الشبكات التسلسلية العالية (HTN) تقدمًا ملحوظًا، لكن دعمه للتفكير العددي كان محدودًا للغاية. من خلال ورقتنا البحثية، نقوم بالتحقيق في تخطيط HTN الرقمي الكلي (TOHTN)، نستعرض كيفية توسيع الترميزات القائمة على SAT بشكل طبيعي باستخدام SMT (تحليلات المنطق الفكري) للتعامل مع المتغيرات العددية.

قمنا أيضًا بتقديم مجموعة معيارية جديدة لتخطيط TOHTN الرقمي، مما يوفر قاعدة شائعة لتقييم الأداء في هذا السياق. تظهر النتائج التجريبية أن هذا الترميز البسيط يشكل بالفعل أساسًا تنافسيًا.

هذه الأعمال تفتح الأبواب أمام أساليب أكثر تعبيرًا في تخطيط HTN، مما قد يغير طريقة تعاملنا مع التحديات العددية في المستقبل.