محققان به تازگی نسخه سوم EZSMTV3 را معرفی کردهاند که یک فریمورک فوقالعاده برای «برنامهنویسی مجموعهپاسخ محدودیتدار» (CASP) است. این سیستم با ترکیب قدرت ASP و SMT، به هوش مصنوعی اجازه میدهد مسائل پیچیده ترکیبی را با دقت بسیار بالاتری حل کند. 🧠
نکته جذاب این نسخه، استفاده از SMT سالورهای پیشرفته مثل Z3 و CVC5 در کنار پشتیبانی از بهینهسازی «محدودیتهای ضعیف» است. این یعنی حالا میتوان مسائل پیچیدهتر در حوزههای اعداد صحیح و اعشاری را با انعطافپذیری بیشتری حل کرد. یک گام مهم دیگر برای بهینهتر کردن قدرت استدلال سیستمهای هوشمند! ⚙️
نویسی
منبع: arXiv AI