استدلال
تمثیل سرایت دادن حکم یک موضوع به موضوع دیگر به دلیل مشابهت آن دو به یکدیگر است. واژهٔ تمثیل در این بافت به معنای تشبیه کردن یا مانند کردن چیزی به چیزی دیگر به‌کار رفته‌است. در استدلال تمثیلی می‌کوشیم تا براساس همانندی بین دو چیز، حُکمی را که برای یکی از آن‌ها درست می‌دانیم برای دیگری هم درست بدانیم. نکتهٔ درخورِ توجه در این استدلال آن است که این استدلال برپایهٔ همانندی است نه محتوا. استدلال تمثیلی برپایهٔ وجه‌شبه بین دو چیز است؛ برای نمونه گُمان می‌کنیم شخصی به‌نام حسین تیزهوش است. حسین برادری به‌نام حسن دارد. وجه‌شبه حسین و حسن برادری آن‌ها نسبت به یکدیگر است؛ ازهمین‌رو، می‌گوییم چون حسن برادر حسین است، حسن هم تیزهوش است. چنین استدلالی تنها براساس برادری بین حسین و حسن پایه‌گذاری شده‌است.
ابزارهای محاسباتی برای هوش مصنوعی
بسیاری از مشکلات در هوش مصنوعی می‌توانند از نظر تئوری با جستجوی هوشمندانه در میان بسیاری از راه حل‌های ممکن حل شوند: استدلال را می‌توان به انجام یک جستجو کاهش داد. به عنوان مثال، اثبات منطقی را می‌توان جستجوی مسیری دانست که از مقدمات به نتیجه می‌رسد، که هر مرحله، استفاده از یک قانون استنتاج است. الگوریتم‌های برنامه‌ریزی در درختان اهداف و اهداف فرعی جستجو کرده، تلاش می‌کنند برای یافتن راهی برای رسیدن به یک هدف، که فرایندی به نام تجزیه و تحلیل معنی و هدف است. الگوریتم‌های رباتیک برای حرکت دادن اندام‌ها و گرفتن اشیا از جستجوهای محلی در فضای پیکربندی استفاده می‌کنند. بسیاری از الگوریتم‌های یادگیری از الگوریتم‌های جستجو مبتنی بر بهینه‌سازی استفاده می‌کنند.