深度分析 R-DTLGN：Kleene 三值邏輯與軌跡蒸餾驅動的 STL 在線監測與降級保證 面對有界時序邏輯(STL)監測的因果缺口，本文提出可在推論時硬化為三值邏輯電路的R-DTLGN。該模型以多項式代理在Kleene三值域訓練，並以軌跡蒸餾轉為精確門電路，能在感測或謂詞缺失時使輸出退回「未知」，同時維持預測能力。對安全監測具體應用具備價值
