第三章人工智能经典逻辑推理作业