semantic coherence

後決定性分散系：自治基礎設施新框架

這篇論文主張，自治代理的分散系統不必要求每次執行軌跡都一模一樣，只要行為與推理落在可接受集合內就算正確。