استدلال خودکار
From Wikipedia, the free encyclopedia
استدلال خودکار (به انگلیسی: automated reasoning) حوزهای از علوم کامپیوتر و منطق ریاضی است که مربوط به درک جنبههای مختلف از استدلال است. استدلال خودکار منجر به تولید برنامههایی میشود که کمک میکند کامپیوترها بهطور کامل و مستقل توانایی استدلال داشته باشند. با این تعریف، استدلال خودکار معمولاً شاخهای از هوش مصنوعی بهشمار میآید، اما به مقدار زیادی به علوم رایانه نظری و حتی فلسفه مربوط است.
در حال حاضر توسعهیافتهترین زیرشاخه این علم اثبات قضیه خودکار و بررسی برهان خودکار هستند. نرمافزارهای اثبات قضیه خودکار قادرند برخی مسائل و قضایای ریاضی را اثبات نمایند و حتی در مواردی موفق به کشف اثباتهای کوتاه تر برای برخی از قضایای ریاضی شدهاند.