深度分析 一階進展在 BAT-LE 下的規模界與 FO2/UTC 可判定性研究 研究起點是讓智能代理在不完全資訊與無界物件域中行動。本文在SituationCalculus框架下，將局部效應、正常與無環作用的進展形式化為一階邏輯，並分析其表示大小與可判定性。結果指出在合理條件下，進展可維持多項式或線性規模，且在FO2與UTC等可判定片段內閉合，便於實務查詢評估。
