محققان در مقاله جدیدی، متد جدیدی برای بهبود «استدلال زمانی» (Temporal Reasoning) در زبان DatalogMTL ارائه دادهاند که تحول بزرگی در سرعت و کارایی آن ایجاد میکند.
تکنیک جدید با استفاده از متد «Magic Sets»، به مدلهای هوش مصنوعی اجازه میدهد تا محاسبات پیچیده را با دقت و سرعت بسیار بیشتری انجام دهند. این دستاورد میتواند در تحلیلهای صنعتی و مالی که نیاز به منطقبندی دقیق دارند، بسیار کاربردی باشد و نتایج بهتری نسبت به روشهای فعلی ارائه دهد.
منبع: arXiv
منبع: arXiv AI