استدلال عقلانی
تئوری اقدام، رخدادها و تغییر، طیف دیگری از استدلال مبتنی بر قضاوت عقلانی است. روش‌های استدلال منطقی برای دامنه‌هایی که محدودیت‌های ذکر شده در زیر را برآورده می‌کنند وجود دارد:
استدلال خودکار
Logic Theorist (LT) اولین برنامهٔ استدلال خودکار بود که در سال ۱۹۵۶ با عنوان «شبیه‌سازی استدلال انسان» برای اثبات تئوری‌ها ارائه شد و برای ۵۲ قضیه از کتاب مبادی ریاضیات اجرا شد که در ۳۸ مورد از آن‌ها به درستی عمل کرد و توانست آن‌ها را اثبات کند. علاوه بر این، این برنامه توانست برای یکی از قضایا اثباتی ارائه دهد که از اثبات ارائه شده در کتاب به مراتب بهتر و کوتاه‌تر بود. نویسندگان این کتاب پس از آن نوشته‌اند: ""در دنیای کنونی، ماشین‌ها فکر می‌کنند. ماشین‌ها یادمی‌گیرند و می‌سازند. این توانایی آن‌ها به سرعت رو به رشد است، تا جایی که در آینده بتوانند به اندازه‌ی یک انسان در حل مسائل پیشرفت کنند.""