استدلال منطقی و مدل‌های تصمیم‌گیری در سامانه‌های هوشمند