下列说法正确的有()。A. 平滑是给定已知证据序列,计算过去某一状态的后验概率分布过程,使用前向后向算法。B. 预测是计算信念状态,使用前向算法。C. 滤波是给定已知证据序列,计算未来状态的后验概率分布,通过前向算法和转移模型计算。D. 最可能解释是找到最可能产生观测结果的状态序列,可以使用维特比算法。