专家系统中引入非单调推理的算法描述