سامانه استدلال
بسیاری از استدلال سیستم استخدام استدلال استقرایی به رسم استنتاج در دسترس دانش است. این استنتاج موتورهای پشتیبانی استدلالی هستند که به جلو یا رو به عقب برای پی بردن به نتیجه‌گیری از طریق وضع مقدم استدلال می‌کنند. این استدلال بازگشتی روش استخدام نامیده می‌شوند 'به جلو زنجیرهای «و»عقب مانده زنجیری'بود. اگر چه استدلال سیستم به‌طور گسترده‌ای پشتیبانی از استنتاج قیاسی در برخی از سیستم‌های استخدام abductive سلفیهای defeasible و انواع دیگر از استدلال است. ابتکارات نیز ممکن است به کار برای تعیین راه حل‌های قابل قبول به مشکلات مقاوماست.
اصل موضوع (منطق)
برایِ بیانِ این اصولِ موضوعه، به مفاهیمی مانندِ نقطه و خط نیاز داریم. همان‌طور که باید چند گزاره را بدونِ اثبات بپذیریم تا بقیهٔ گزاره‌ها استخراج شوند، لازم است چند مفهوم را نیز بدونِ تعریف بپذیریم. به این مفاهیم «تعریف‌نشده‌ها» می‌گویند. همان‌طور که دیده می‌شود اصولِ هندسهٔ اقلیدسی، به جز اصلِ پنجم، بسیار ساده و بدیهی به نظر می‌نمایند.