choreographic-programming

深度分析

Pact 編排語言：把通訊協議編譯為可推演的形式化博弈以支援理論心智分析

在大型語言模型驅動的代理生態中，自治代理會在開放、多方場域與未受信任對手互動。Pact 是一種將編排語言擴展為具策略性與效用宣告的語言，新增「選擇」、「效用」與「nature／先驗變數」等語法，讓每個協議可確定性地對應為形式化遊戲。