محققان با معرفی سیستم جدیدی به نام «ADVENT»، راهکار جذابی برای حل یکی از چالشهای بزرگ در برنامهنویسی منطقی استقرایی (ILP) پیدا کردهاند: «ابداع پیشفرض» (Predicate Invention).
🔹 ADVENT چیست؟
این سیستم با ترکیب قدرت مدلهای زبانی (LLM) و دقت زبان برنامهنویسی «پرولوگ»، به هوش مصنوعی اجازه میدهد الگوهای پنهان در دادهها را شناسایی کرده و مفاهیم و قوانین جدیدی با قابلیت درک انسانی ایجاد کند.
✅ چرا این خبر مهم است؟
در حالی که روشهای سنتی در این حوزه با شکست مواجه میشدند، سیستم ADVENT توانسته نرخ موفقیت را به شکل چشمگیری افزایش دهد. قابلیت استفاده مجدد از دانش آموخته شده در کارهای مختلف، این دستاورد را به گامی بزرگ در جهت خودکارسازیِ استدلالهای پیچیده تبدیل کرده است.
این پیشرفت نشان میدهد که تعامل بین مدلهای زبانی و منطق ریاضی، آینده درخشانی برای سیستمهای هوشمند منطقمحور رقم میزند.
نویسی_منطقی
منبع: arXiv AI
