🤖 AI

Where Reasoning Diverges: Localized Multi-Agent Debate

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

Weijun Gao, Xiang Ding, Tiancheng Xing, Haoyang Liu2026-08-04
💻 computer science

Alternating-Time Temporal Logic with Mean-Payoff Guarantees

تقدم هذه الورقة البحثية ATLmp\text{ATL}^*_{mp}، وهي امتداد لمنطق الزمن المتبادل (Alternating-Time Temporal Logic) يجمع بين الاستدلال الاستراتيجي وقيود متوسط العائد طويل الأمد على هياكل الألعاب المتزامنة الموزونة، حيث تثبت أن فحص النموذج (model checking) هو مسألة كاملة من فئة 2EXPTIME2\text{EXPTIME} في الحالات أحادية الأبعاد ومتعددة الأبعاد، مع توصيف الهيكل الصارم لمتطلبات الذاكرة والقدرة التعبيرية للمنطق من أجل التوليف المضمون للأداء والتحقق التعاوني العقلاني.

Muhammad Najib2026-08-04
🤖 AI

Securing Agentic AI: From Per-Action Checks to Trajectory Assurance

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

Alireza Lotfi, Subangkar Karmaker Shanto, Imtiaz Karim, Elisa Bertino2026-08-04
🤖 AI

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO

تتناول هذه الورقة تحدي تخطيط مسار الوكلاء المتعددين في ظل قيود مكانية-زمانية وطوبولوجية معقدة من خلال اقتراح طريقتين للترميز السليم تعتمدان على البرمجة بالصيغ المختلطة (Mixed-Integer Programming) ونظرية التبعية المنطقية (Satisfiability Modulo Theories) لصيغة STL-GO، واللتين تم التحقق من صحتهما عبر واجهة موحدة وتقييمهما على معايسات البحث والإنقاذ متعددة الطائرات بدون طيار الديناميكية.

Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan, Lars Lindemann, Alberto Speranzon, Jyotirmoy V. Deshmukh2026-08-03
💻 computer science

The AnyLog Edge Data Fabric

تقدم هذه الورقة "AnyLog Edge Data Fabric"، وهي منصة قائمة على الوكلاء تعمل على إنشاء نظام منطقي موحد لموارد البيانات والعمليات الموزعة، مما يتيح اتخاذ قرارات مدعومة بالذكاء الاصطناعي عند الحافة تتميز بانخفاض زمن الاستجابة والمرونة والقابلية للتوسع دون الاعتماد على البنية التحتية المركزية.

Roy Shadmon, Mark Davidson, Eric Aquaronne, Massimiliano Pinto, Ori Shadmon, Moshe Shadmon2026-08-03
💬 NLP

Adjudicated Captioning: Multi-Agent Alignment Scoring and Consensus-Distilled Beam Arbitration for Strict Zero-Shot Image Captioning

تقترح الورقة البحثية "التعليق التوضيحي المُحكّم" (Adjudicated Captioning)، وهو إطار عمل للاستدلال متعدد الوكلاء لا يتطلب تدريباً، يعمل على تعزيز التعليق التوضيحي للصور بنمط الصفر الحقيقي الصارم من خلال دمج مشفرات استرجاع مجمدة ومحققات انتباه متقاطع مع أعيد ترتيب (rerankers) مستخلصة بالاتفاق الذاتي، وذلك لتحقيق أداء رائد في مجموعتي بيانات COCO وFlickr30k دون إعادة تدريب النموذج المولد للتعليقات.

Duy Tran Thanh, Thien-Phuc Doan, Long Nguyen-Vu, Ngo Tan Vu Khanh2026-08-03
🤖 machine learning

Procedural Fairness in Multi-Agent Bandits

تقدم هذه الورقة العدالة الإجرائية باعتبارها "تساوي الصوت" في مسأونات متعددة الوكلاء ومتعددة الأذرع من خلال صياغة هدف رفاهية ناش المستقر جوهرياً بناءً على التمثيل، مبرهنةً على أن مقاييس العدالة القائمة على النتائج غالباً ما تضحي بهذا المبدأ بينما تتحمل السياسات العادلة إجرائياً تكلفة ضئيلة على الأهداف التقليدية، مما يدفع للقول بضرورة منح الأولوية للشرعية الإجرائية في أطر العدالة.

Joshua Caiata, Carter Blair, Kate Larson2026-07-31
💻 computer science

Auditing Emergent LLM-Agent Collaboration through Cooperation-Obligation Coupling

تقدم هذه الورقة iCORE، وهو إطار عمل تدقيق موحد يدمج رسوم التعاون البيانية، ورسوم الالتزامات البيانية، وخريطة التدقيق لاعتماد سلامة العمل واستقرار تعيين الوكلاء في أنظمة الوكلاء القائمة على النماذج اللغوية الكبيرة الناشئة، مما يحسن بشكل كبير أداء المسار والأداء النهائي من خلال اكتشاف وتصحيح العمل غير المكتمل والمسؤوليات الموزعة بشكل خاطئ.

Zuyuan Zhang, Hanqing Yang, Carlee Joe-Wong, Tian Lan2026-07-31
💻 computer science

Skill Use or Skill Theater? Evaluating the Reasoning Backroom in Skill-Augmented Language Agents

تقدم هذه الورقة إطار عمل BACKTRACE ومقياس BACKROOMBench للكشف عن "غرفة خلفية للاستنتاج" (Reasoning Backroom) متفشية في الوكلاء اللغويين المعززين بالمهارات، مما يكشف أن عزو المهارات الملحوظة وآثار النصوص هي مؤشرات غير موثوقة للاعتماد السببي الفعلي، والذي لا يمكن قياسه بدقة إلا من خلال تدخلات مضادة للواقع ومنظمة.

Jinwei Hu, Yi Qi, Xinmiao Huang, Youcheng Sun, Yi Dong, Xiaowei Huang2026-07-31
💬 NLP

Belief Coevolution in a Social Network of Generalist and Specialist Large Language Models

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

Germans Savcisens, Samantha Dies, Courtney Maynard, Tina Eliassi-Rad2026-07-31