استدلال خودکار

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

استدلال خودکار در علوم رایانه به جنبه‌های گوناگون استدلال می‌پردازد تا از این راه امکان ساخت نرم‌افزاری که بتواند کاملاً خودکار یا تقریباً خودکار استدلال کند فراهم شود. با این تعریف استدلال خودکار معمولاً شاخه‌ای از هوش مصنوعی به شمار می‌آید، اما همچنین به مقدار زیادی به علوم رایانه نظری و حتی فلسفه مربوط است. شایان ذکر است که این استدلال در حال حاضر عمدتاً از نوع استدلال ریاضی است.

در حال حاضر توسعه‌یافته‌ترین زیرشاخه این علم اثبات قضیه خودکار و بررسی برهان خودکار هستند. نرم‌افزارهای اثبات قضیه خودکار قادرند برخی مسائل و قضایای ریاضی را اثبات نمایند و حتی در مواردی موفق به کشف اثبات‌های کوتاهتر برای برخی از قضایای ریاضی شده‌اند.

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