مدل‌سازی و استنتاج در سامانه‌های هوشمند