5.7 非单调推理