Ch3确定性推理是指按照某种策略从已知事实出发去推出结论的过程。推理策略主要解决推理方向、冲突消解等问题，如推理方向控制策略、求解策略、限制策略、冲突消解策略等搜索策略主要解决推理线路、推理效果、推理效率等问题。推理的逻辑基础解释：对于谓词公式\(P\)，如果