رزولوشن (منطق)

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

رزولوشن (به انگلیسی: Resolution) در منطق ریاضی راهی است برای اثبات قضیه خودکار که در حساب گزاره‌ای و منطق مرتبه اول کاربرد دارد.

اهمیت رزولوشن در این است که الگوریتم‌هایش کامل است یعنی با دریافت واقعیت‌هایی از جهان یا مسئله مورد نظر می‌تواند راه حل یا پاسخ را در صورت وجود بیابد.

منابع[ویرایش]

مشارکت‌کنندگان ویکی‌پدیا، «Resolution (logic)»، ویکی‌پدیای انگلیسی، دانشنامهٔ آزاد.