预测与逻辑分析