لغة الحركة

في علوم الحاسوب ، تُعرف لغة الأفعال بأنها لغة تُستخدم لتحديد أنظمة انتقال الحالة ، وتُستخدم عادةً لإنشاء نماذج رسمية لتأثيرات الأفعال على العالم. ^{[ 1 ]} تُستخدم لغات الأفعال بشكل شائع في مجالات الذكاء الاصطناعي والروبوتات ، حيث تصف كيفية تأثير الأفعال على حالات الأنظمة بمرور الوقت، ويمكن استخدامها للتخطيط الآلي .

تنقسم لغات الأفعال إلى فئتين: لغات وصف الأفعال ولغات استعلام الأفعال. من أمثلة الفئة الأولى: STRIPS و PDDL واللغة A (وهي تعميم للغة STRIPS؛ الجزء الافتراضي من لغة وصف الأفعال لبيدنولت )، واللغة B (وهي امتداد للغة A مع إضافة تأثيرات غير مباشرة ، وتمييز القوانين الثابتة عن القوانين الديناميكية)، واللغة C (التي تضيف تأثيرات غير مباشرة أيضًا، ولا تفترض أن كل لغة سلسة "قصورية" تلقائيًا). وهناك أيضًا لغات استعلام الأفعال P وQ وR. توجد عدة خوارزميات مختلفة لتحويل لغات الأفعال، وخاصة لغة الأفعال C، إلى برامج مجموعات الإجابات . ^{[ 2 ] [ 3 ]} وبما أن برامج حل مجموعات الإجابات الحديثة تستخدم خوارزميات SAT المنطقية للتحقق من قابلية الإرضاء بسرعة كبيرة ، فإن هذا يعني أن لغات الأفعال يمكنها أيضًا الاستفادة من التقدم المحرز في مجال حل SAT المنطقي.

تُكمل جميع لغات الحركة تعريف نظام انتقال الحالة بمجموعة F من المائعين ، ومجموعة V من القيم التي يمكن أن يأخذها المائعون، ودالة تربط S × F بـ V ، حيث S هي مجموعة حالات نظام انتقال الحالة.

• المنطق الزمني الخطي
• جولوج
• حساب التفاضل والتكامل بطلاقة
• حساب المواقف
• حساب الأحداث