本文提出了一種基於量化指標來衡量多代理系統中代理責任的方法，並探討了不同指標在不同情境下的適用性。
本文探討如何在有限軌跡線性時態邏輯 (LTLf) 的框架下，為策略責任的推理提供計算基礎，特別關注與責任密切相關的主導策略和盡力策略。
