TL;DR
- چکیده:.
- Grassroots Logic Programs (GLP) یک زبان برنامهنویسی منطقی چندعاملی،.
- همزمان و منطقی است که برای پیادهسازی پلتفرمهای مردمیمبتنی بر گوشیهای هوشمند،.
چه اتفاقی افتاد
چکیده:. Grassroots Logic Programs (GLP) یک زبان برنامهنویسی منطقی چندعاملی،.
همزمان و منطقی است که برای پیادهسازی پلتفرمهای مردمیمبتنی بر گوشیهای هوشمند،. بدون سرور طراحی شده است.
در اینجا،. ما از GLP و maGLP - به ترتیب معناشناسی عملیاتی غیرقطعی انتزاعی همزمان و چندعاملی برای GLP،.
- و از آنها dGLP و madGLP - معنای عملیاتی قطعی آماده برای هر دو را استخراج می. کنیم - و درستی آنها را با توجه به همتایان انتزاعی خود ثابت میکنیم.
dGLP توسط AI (Claude) بهعنوان یک مشخصات رسمیاستفاده شد که از آن یک پیادهسازی مبتنی بر. ایستگاه کاری از GLP در دارت را توسعه داد.
madGLP توسط هوش مصنوعی بهعنوان یک مشخصات رسمیاستفاده میشود که از طریق آن یک پیادهسازی. چندعاملی مبتنی بر گوشی هوشمند GLP در دارت را توسعه میدهد.
بینش کلیدی این است که جفتهای متغیر مشترک maGLP که عوامل پوشاننده را پوشش میدهند،. میتوانند بهعنوان متغیر محلی پیادهسازی شوند.
جفتهایی که توسط پیوندهای سراسری به هم متصل میشوند،. با صحت ناشی از جابهجایی جایگزینی غیرمتمرکز (از نامتغیر تک رخدادی GLP) و پایداری.
ما ثابت میکنیم که هم madGLP و هم maGLP مردمیهستند. زبانهای برنامهنویسی (cs.
PL)؛ هوش مصنوعی (cs. AI)؛ محاسبات توزیع شده، موازی و خوشهای (cs.
DC)؛ منطق در علوم کامپیوتر (cs. LO); سیستمهای چندعاملی (cs.
MA) استناد بهعنوان: (یا v3 [cs. PL] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite تاریخچه ارسال از:. Ehud Shapiro [مشاهده ایمیل] [v1] جمعه،.
6 فوریه 2026،. 18:.
30:. 11 UTC (200 KB) [v2] چهارشنبه،.
11 فوریه 2026،. 11:.
26:. 16 UTC (200 KB) [v3] دوشنبه،.
6 آوریل 2026،. ساعت 21:.
41:. 37 UTC (217 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.