https://3rabica.org/index.php?action=history&feed=atom&title=%D9%84%D8%BA%D8%A9_%D9%81%D8%B9%D9%84%D9%8A%D8%A9لغة فعلية - تاريخ المراجعة2026-06-12T06:41:00Zتاريخ التعديل لهذه الصفحة في الويكيMediaWiki 1.43.7https://3rabica.org/index.php?title=%D9%84%D8%BA%D8%A9_%D9%81%D8%B9%D9%84%D9%8A%D8%A9&diff=2215197&oldid=prevعبد العزيز: بوت: إصلاح أخطاء فحص أرابيكا من 1 إلى 1042023-03-19T03:24:47Z<p>بوت: إصلاح أخطاء فحص أرابيكا من 1 إلى 104</p>
<p><b>صفحة جديدة</b></p><div>{{أنماط البرمجة}}<br />
<br />
'''اللغة الإجرائية''' أو '''الفعلية''' {{إنج|Action language}} في [[علم الحاسوب|علوم الحاسوب]] هي لغة لتحديد [[نظام حالة الانتقال]]، حيث تُستخدم بشكل شائع لإنشاء [[لغة شكلية|نماذج شكلية]] لتأثيرات الإجراءات على العالم.<ref>Michael Gelfond, Vladimir Lifschitz (1998) "[http://www.ep.liu.se/ea/cis/1998/016/ Action Languages]", ''Linköping Electronic Articles in Computer and Information Science'', vol '''3''', nr ''16''. {{Webarchive|url=https://web.archive.org/web/20220812015204/https://ep.liu.se/ea/cis/1998/016/|date=2022-08-12}}</ref> تُستخدم لغات الحركة بشكل شائع في مجالات [[ذكاء اصطناعي|الذكاء الاصطناعي]] و[[روبوتية|الروبوتات]]، حيث تصف كيف تؤثر الإجراءات على حالات الأنظمة بمرور الوقت، كما يمكن إستخدامها أيضاً [[التخطيط الآلي والجدولة|للتخطيط الآلي]].<br />
<br />
تنقسم لغات الإجراء إلى فئتين:{{وإو|لغة وصف الإجراء|Action description language|نص=لغات وصف الإجراء}} ولغات الإستعلام الإجرائي. تتضمن الأمثلة علي لغات وصف الإجراء {{وإو|حلال المشكلات معهد ستانفورد|Stanford Research Institute Problem Solver|نص=ستريبس}} و{{وإو|لغة تعريف مجال التخطيط|Planning Domain Definition Language|نص=بيديل}} واللغة آيه (تعميم لـ ستريبس، جُزء مُقترح من قبل بيدنو و[[لغة وصف الإجراء]]) واللغة بي (امتداد للغة آيه لإضافة تأثيرات غير مباشرة وتمييز القوانين الثابتة والديناميكية) واللغة سي (تُضيف تأثيرات غير مباشرة أيضًا، حيث أن كل عنصر يحتمل «[[قصور ذاتي|القصور الذاتي]]» تلقائيًا). توجد أيضًا لغات الاستعلام الإجرائي باي وكيو وآر. توجد عدة خوارزميات مختلفة لتحويل لغات الإجراء، وعلى وجه الخصوص، لغة الإجراء سي، العاملة بـ{{وإو|برمجة بمجموعة الإجابة|Answer set programming|نص=مجموعة الإجابة}}.<ref>Vladimir Lifschitz and Hudson Turner, (1998) "[http://www.d.umn.edu/~hudson/papers/rtslp9.pdf Representing Transition Systems by Logic Programs]". {{Webarchive|url=https://web.archive.org/web/20160825132304/http://www.d.umn.edu/~hudson/papers/rtslp9.pdf|date=2016-08-25}}</ref><ref>{{استشهاد بدورية محكمة|citeseerx=10.1.1.185.4622|عنوان=Coala: a compiler from action languages to ASP|مؤلف1-الأخير=Gebser|مؤلف1-الأول=Martin|مؤلف2-الأخير=Grote|مؤلف2-الأول=Torsten|مؤلف3-الأخير=Schaub|مؤلف3-الأول=Torsten|سنة=2010}}</ref> نظرًا لأن أدوات البرمجة بمجموعة الإجابة تستخدم خوارزميات [[مسألة قابلية الإرضاء المنطقية|قابلية الإرضاء المنطقية]] للوصول [[قابلية الإرضاء|لقابلية الإرضاء]] بسرعة كبيرة، فإن هذا يعني أن اللغات الإجرائية يمكن أن تستفيد أيضًا بالتقدم الذي يتم إحرازه في مجال [[مسألة قابلية الإرضاء المنطقية]].<br />
<br />
== المراجع ==<br />
{{مراجع}}<br />
<br />
{{شريط بوابات|روبوتيات}}<br />
<br />
{{بذرة حوسبة}}<br />
<br />
[[تصنيف:التخطيط الآلي والجدولة]]<br />
[[تصنيف:تصنيف لغات البرمجة]]<br />
[[تصنيف:لغات برمجة الروبوت]]</div>عبد العزيز