FORESEER: Recognize and Utilize Uncertainties by Integrating Data-Based Learning and Symbolic Feedback