تشهد التقنيات الحديثة تطورات ملحوظة، لا سيما في عالم الذكاء الاصطناعي (AI)، حيث تبرز أنظمة جديدة تُعرف بالوكلاء (agents) الذين ينفذون مهامًا بقدر متزايد من الاستقلالية، ويتفاعلون مع أطراف متعددة ضمن بيئات مفتوحة. في هذا السياق، ظهرت باكت (Pact) كحل مبتكر يساهم في تصميم بروتوكولات تفاعلية تأخذ في الاعتبار خيار الوكلاء وتفضيلاتهم.


باكت هي لغة برمجة تنقلية (Choreographic Programming) معززة بعمليات تمكن من وصف اختيارات الوكلاء وأولوياتهم، مستفيدة بذلك من ثراء أدب نظرية الألعاب. هذه اللغة لا تتعامل فقط مع المشاركين المتعاونين، بل تتناول أيضًا مفهوم المصلحة الذاتية، مما يتيح لوكلاء محددين اتخاذ قراراتهم بناءً على تفضيلاتهم ومصالحهم.

تقوم تصميم البروتوكولات في باكت على أساس تحويل كل بروتوكول إلى لعبة формальная، مما يمكن المصممين من التفكير في الخصائص النظرية للألعاب وتأثير ذلك على قراراتهم. علاوة على ذلك، تم تقديم تطبيق أولي لباكت، وهو محلل محدود العقل طور خصائص قرارات على بروتوكولات باكت، ويسهم في تنسيق فعال بين المشاركين القائمين على المصالح الذاتية.

من خلال باكت، تتجه الأنظمة الذكية إلى توفير بيئة تفاعلية أكثر تسمح بتحقيق التوازن بين المصالح الفردية والتعاون بين الأطراف، ما يفتح آفاقًا جديدة للابتكار في مجال البرمجة والتفاعل التكنولوجي.