دسته: arXiv AI (cs.AI)

اگر در حوزه مدل‌سازی رسمی و سیستم‌های منطقی فعالیت می‌کنید، خبر خوبی برایتان داریم! ابزار ProB که به عنوان یک حل‌کننده محدودیت (Constraint Solver)…

شطرنج همیشه یکی از میدان‌های اصلی برای تست قدرت هوش مصنوعی بوده است. حالا محققان چارچوب جدیدی به نام «Chess_db» معرفی کرده‌اند که کار…

محققان در یک آزمایش جذاب، قدرت «Claude» را در حل مسائل کلاسیک برنامه‌نویسی پرولوگ (P-99) محک زدند. نکته جالب اینجاست که آن‌ها فقط به…

محققان در مطالعه جدیدی به سراغ حل یکی از چالش‌های بزرگ «تحرک هوایی شهری» (UAM) رفته‌اند: جلوگیری از برخورد پهپادها و تاکسی‌های هوایی در…

محققان در یک پژوهش جدید، راهکاری نوآورانه برای رفع یکی از بزرگترین دغدغه‌ها در سیستم‌های هوشمند معرفی کرده‌اند: «شکاف اعتماد در مرحله Grounding». 🔹…

تا به حال برای سیستم‌های استدلالی هوش مصنوعی، محدودیت در بیان «نفی صریح» (Classical Negation) یک چالش بزرگ بوده است. محققان در مطالعه اخیر…

یکی از چالش‌های بزرگ در دنیای هوش مصنوعی، «جعبه سیاه» بودن تصمیمات است. حالا محققان چارچوب جدیدی را معرفی کرده‌اند که به ایجنت‌های هوشمند…

در دنیای پیشرفته هوش مصنوعی، یکی از چالش‌های بزرگ، نحوه تعامل و هم‌سوسازی باورها بین چندین عامل (Multi-Agent) است. معمولاً فرض بر این است…

محققان در یک پژوهش جدید، به سراغ تحلیل زبان عامیانه (Slang) یونانی رفته‌اند که به دلیل ماهیت غیررسمی و تغییرات سریعش، همیشه برای مدل‌های…

محققان به تازگی معماری جدیدی به نام «pAI-Econ-claude» معرفی کرده‌اند که فرآیند تحقیق در علوم اقتصادی را هوشمندتر می‌کند. این سیستم با استفاده از…