速報 Tile 模組化框架：用 Soda 語言打造可驗證的行動推理管線 傳統的行動與變化推理方法大多依賴邏輯程式系統，雖然語義表達力強，但實作上往往缺乏模組化與可驗證性。一篇來自 ArXiv 的新研究提出一套基於 Tile 的模組化框架，並以高效能函數式語言 Soda 實作。該框架將狀態、行動、轉換與規則視為可組合的函數元件，透過型別化的執行管線進行驗證，確保管線終止且流程透明。
