هوش مصنوعی
مدلی برای ساختن نظریه‌های ریاضی از محیط‌های ناشناخته
چارچوب Algebraic World Model با آزمون فرضیه‌های اجرایی در برابر مشاهده‌ها، می‌کوشد تعامل با محیط ناآشنا را به مدلی صریح و مناسب استدلال رسمی تبدیل کند.
پژوهشگران در پیش‌چاپی در arXiv چارچوبی به نام Algebraic World Model (AWM) معرفی کرده‌اند که هدفش استدلال دقیق دربارهٔ محیط‌های ناشناخته است؛ مسئله‌ای متفاوت از حل مسائل ریاضی با تعریف‌ها و مشخصات رسمیِ ازپیش‌تعیین‌شده.
AWM محیط را بررسی می‌کند و فرضیه‌هایی اجرایی به زبان Python می‌سازد، سپس آن‌ها را پیوسته با مشاهده‌ها می‌آزماید و اصلاح می‌کند. در ادامه، فرضیه‌ها به اشیای نوع‌دار و قواعد مشترک سامان داده می‌شوند و با تبدیل‌هایی مبتنی بر نظریهٔ رده‌ها ساده‌سازی می‌شوند. چکیدهٔ در دسترس در منبع در میانهٔ توضیح فرایند رسمی‌سازی پایان می‌یابد؛ بنابراین جزئیات بیشتر دربارهٔ این مرحله در اطلاعات ارائه‌شده مشخص نیست.
این گزارش به کمک هوش مصنوعی تهیه شده است. مطالب براساس منابع درج‌شده تنظیم شده‌اند؛ صحت مستقل همه ادعاها تضمین نمی‌شود.
منبع: arXiv · AI (پیش‌چاپ) — مشاهده منبع اصلی ↗
پیش‌چاپ پژوهشی در arXiv؛ انتشار در این مخزن به معنی داوری همتا نیست
رد این داستان در رادار
خبرهای مرتبط از آرشیو منتشرشده