狀態化推理演算法