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