An introduction to mechanized reasoning

استدلال مکانیکی از رایانه برای تأیید مدارک و کمک به کشف قضیه جدید استفاده می کند. دانشمندان کامپیوتر، استدلال مکانیکی را به مشکلات اقتصادی اعمال کرده اند، اما تا به امروز- این کار هنوز در مجلات علمی به درستی ارائه نشده است. استدلال مکانیکی را به اقتصاددانان در سه راه معرفی می کنیم. اولا، ما استدلال مکانیکی را به طور کلی معرفی می کنیم، که هر دو تکنیک ها و برنامه های کاربردی موفق آنها را توصیف می کنند. دوم، ما توضیح می دهیم که چگونه استدلال مکانیکی در مورد مشکلات اقتصادی به کار رفته است، تمرکز بر دو حوزه مهم ترین توجه: نظریه انتخاب اجتماعی و نظریه حراج. در نهایت، ما یک مثال دقیق از استدلال مکانیکی را در عمل با استفاده از اثبات قضیه آشنا ویکری در مزایده های دوم قیمت ارائه می دهیم.