اللغة الإجرائية أو الفعلية (بالإنجليزية: Action language)‏ في علوم الحاسوب هي لغة لتحديد نظام حالة الانتقال، حيث تُستخدم بشكل شائع لإنشاء نماذج شكلية لتأثيرات الإجراءات على العالم.[1] تُستخدم لغات الحركة بشكل شائع في مجالات الذكاء الاصطناعي والروبوتات، حيث تصف كيف تؤثر الإجراءات على حالات الأنظمة بمرور الوقت، كما يمكن إستخدامها أيضاً للتخطيط الآلي.

تنقسم لغات الإجراء إلى فئتين:لغات وصف الإجراء [English] ولغات الإستعلام الإجرائي. تتضمن الأمثلة علي لغات وصف الإجراء ستريبس [English] وبيديل [English] واللغة آيه (تعميم لـ ستريبس، جُزء مُقترح من قبل بيدنو ولغة وصف الإجراء) واللغة بي (امتداد للغة آيه لإضافة تأثيرات غير مباشرة وتمييز القوانين الثابتة والديناميكية) واللغة سي (تُضيف تأثيرات غير مباشرة أيضًا، حيث أن كل عنصر يحتمل «القصور الذاتي» تلقائيًا). توجد أيضًا لغات الاستعلام الإجرائي باي وكيو وآر. توجد عدة خوارزميات مختلفة لتحويل لغات الإجراء، وعلى وجه الخصوص، لغة الإجراء سي، العاملة بـمجموعة الإجابة [English].[2][3] نظرًا لأن أدوات البرمجة بمجموعة الإجابة تستخدم خوارزميات قابلية الإرضاء المنطقية للوصول لقابلية الإرضاء بسرعة كبيرة، فإن هذا يعني أن اللغات الإجرائية يمكن أن تستفيد أيضًا بالتقدم الذي يتم إحرازه في مجال مسألة قابلية الإرضاء المنطقية.

المراجع

  1. ^ Michael Gelfond, Vladimir Lifschitz (1998) "Action Languages", Linköping Electronic Articles in Computer and Information Science, vol 3, nr 16. نسخة محفوظة 2022-08-12 على موقع واي باك مشين.
  2. ^ Vladimir Lifschitz and Hudson Turner, (1998) "Representing Transition Systems by Logic Programs". نسخة محفوظة 2016-08-25 على موقع واي باك مشين.
  3. ^ Gebser، Martin؛ Grote، Torsten؛ Schaub، Torsten (2010). "Coala: a compiler from action languages to ASP". CiteSeerX:10.1.1.185.4622. {{استشهاد بدورية محكمة}}: الاستشهاد بدورية محكمة يطلب |دورية محكمة= (مساعدة)