تا به حال به این فکر کردهاید که چرا هوش مصنوعی گاهی در درک استدلالهای انسانی دچار مشکل میشود؟ در بحثهای روزمره، ما معمولاً بسیاری از پیشفرضها را ناگفته میگذاریم (چیزی که به آن «آنتیمِم» میگویند).
محققان به تازگی یک متدولوژی جدید معرفی کردهاند که با ترکیب سه ابزار هوشمند، این مشکل را حل میکند:
۱. استفاده از مدلهای زبانی برای شناسایی پیشفرضهای پنهان.
۲. ترجمه زبان طبیعی به فرمولهای منطقی دقیق.
۳. بهکارگیری یک «SAT Solver» برای اثبات منطقی ادعاها.
این پیشرفت یعنی ما یک گام به سمت هوش مصنوعی نزدیکتر میشویم که نه تنها متن میسازد، بلکه واقعاً «فکر» میکند و استدلالهایش بر پایه منطق استوار است! 🤖💡
منبع: arXiv AI