مدل‌سازی احتمالی و استدلال منطقی در سیستم‌های هوشمند