Softened Symbol Grounding for Neuro-symbolic Systems