《人工智能与专家系统(第二版)》第4章 逻辑推理