<正>In the history of artificial intelligence research,machine learning and logical reasoning have almost been separately developed. It is often argued that advanced intelligent technologies would emerge when machine learning and logical reasoning are seamlessly integrated as human beings generally perform problem-solving based on the