TL;DR
- چکیده:.
- در این مقاله،.
- ما یک معناشناسی مبتنی بر طبقهبندی برای منطق زمانی سیگنال (STL) ایجاد میکنیم که در آن هر محمول.
چه اتفاقی افتاد
چکیده:. در این مقاله،.
ما یک معناشناسی مبتنی بر طبقهبندی برای منطق زمانی سیگنال (STL) ایجاد میکنیم که در آن هر محمول. اتمیبهعنوان آزمون عضویت در یک فضای طبقهبندی شده تفسیر میشود.
این دیدگاه یک اصل تطابق جدید بین نظریه طبقهبندی و STL را نشان میدهد،. که نشان میدهد بیشتر فرمولهای STL را میتوان بهعنوان القای طبقهبندی فضا-زمان مشاهده کرد.
اهمیت این تفسیر دوچندان است. اول،.
یک چارچوب نظری تازه برای تجزیه و تحلیل ساختار فضای تعبیه شده ایجاد شده توسط یادگیری تقویت عمیق. (DRL) ارائه میدهد و آن را به هندسه فضای تصمیمگیری محیطی مرتبط میکند.
دوم،. چارچوبی اصولی را فراهم میکند که هم استفاده مجدد از ابزارهای تجزیه و تحلیل با ابعاد بالا را.
امکانپذیر میکند و هم انگیزه ایجاد تکنیکهای محاسباتی جدید را ایجاد میکند. برای پایهگذاری نظریه،.
ما (1) نقش را نشان میدهیم تئوری طبقهبندی در بازیهای Minigrid و (2) تکنیکهای عددی را برای جاسازیهای. نهفته یک عامل DRL که چنین بازیای را بازی میکند،.
اعمال میکند که در آن از استحکام فرمولهای STL بهعنوان پاداش استفاده میشود. در این فرآیند،.
ما امضاهای محاسباتی کارآمدی را پیشنهاد میکنیم که بر اساس شواهد اولیه،. برای کشف ساختار طبقهبندی چنین فضاهای تعبیهشده امیدوارکننده به نظر میرسند.
صفحه، 13 شکل یادگیری ماشین (cs. LG)؛ منطق در علوم کامپیوتر (cs.
LO); سیستمها و کنترل (eess. SY)؛ توپولوژی جبری (math.
AT) کلاسها MSC: 58A35 استناد بهعنوان: (یا v1 [cs. LG] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) تاریخچه ارسال از:. جاستین کری [مشاهده ایمیل] [v1] دوشنبه،.
6 آوریل 2026،. 17:.
58:. 58 UTC (3,.
594 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.