展开 举例说明逻辑推理在人工智能中的应用