هوش مصنوعی و سیستم‌های استنتاج منطقی