دنیای هوش مصنوعی فقط مدلهای زبانی نیست! در تحقیقات جدیدی که روی مسائل استنتاج و «استدلال غیریکنواخت» (Non-monotonic reasoning) انجام شده، محققان به سراغ سوالات پیچیدهای درباره فضای راهحلها رفتهاند.
این مقاله به بررسی این موضوع میپردازد که آیا میتوان مجموعهای از تبیینها را به گونهای انتخاب کرد که سایر راهحلها را نیز پوشش دهد یا خیر. این تحقیق نه تنها پیچیدگیهای کلاسیک این مسئله را دستهبندی کرده، بلکه ارتباط جالبی بین «نظریه کدگذاری» و «استدلال منطقی در هوش مصنوعی» پیدا کرده است که میتواند به درک بهتر چگونگی استنتاج در مدلهای پیشرفته کمک کند.
این پژوهش نشان میدهد که پرسشهای پیچیده درباره فضای راهحلها، افقهای جدیدی را در محاسبات منطقی باز میکنند.
منبع: arXiv AI