4 第四章 确定性推理