展开 人工智能中的推理与离散数学中推理的关系