[论文解读] A static theory of promises

J.A. Bergstra, Mark Burgess|arXiv (Cornell University)|Oct 18, 2008

Psychology of Social Influence参考文献 16被引用 20

一句话总结

本文提出了一种静态的承诺理论，作为减少多智能体系统中不确定性的义务的更简单、更实用的替代方案。该理论将承诺建模为显式的、局部的承诺，可进行形式化分析与验证，证明承诺在逻辑上先于义务，且在分布式系统和组织情境中更有效地实现协调。

ABSTRACT

We discuss for the concept of promises within a framework that can be applied to either humans or technology. We compare promises to the more established notion of obligations and find promises to be both simpler and more effective at reducing uncertainty in behavioural outcomes.

研究动机与目标

• 确立承诺作为多智能体系统中与义务截然不同的基本独立概念。
• 证明由于其局部性和可验证性，承诺比义务更能有效减少不确定性。
• 为技术、法律和组织行为中的承诺建模提供一个形式化框架。
• 论证承诺在分布式系统工程与协调中比义务更简单、更实用。
• 将承诺理论定位为非形式逻辑与系统建模的基础，适用于计算、经济学和管理科学。

提出的方法

• 将承诺建模为智能体对未来行为或状态的明确、书面意图。
• 区分隐式承诺与显式承诺，强调源级别上的可验证性与控制力。
• 引入包含意图、承诺和承诺内容的形式化结构。
• 通过将承诺分配给组件（如路由器、逻辑门、帮助台）将承诺理论应用于技术系统。
• 运用非形式逻辑与哲学分析，探讨承诺的估值、信任与欺骗。
• 通过逻辑与实践分析比较承诺与义务，表明承诺在设计上具有一致性，而义务可能在多个来源间产生冲突。

实验结果

研究问题

• RQ1 如何在多智能体系统中将承诺形式化建模为一种静态、可验证的构造？
• RQ2 为何承诺在减少智能体行为的不确定性方面比义务更有效？
• RQ3 承诺、意图与承诺之间在逻辑与实践上的关系是什么？
• RQ4 承诺能否作为系统理论中独立于义务的基础性概念？
• RQ5 承诺的局部性如何相比义务的非局部性提升协调效率？

主要发现

• 承诺在减少多智能体交互中的不确定性方面，比义务更简单、更有效。
• 当智能体对其承诺行为拥有控制权时，承诺在本质上是一致的，而义务可能在多个来源间不一致。
• 承诺的来源是局部的，可在智能体层面实现验证与冲突解决，而义务则不具备这种特性。
• 承诺可被独立于伦理或法律义务进行形式化记录与验证，使其适用于技术系统。
• 承诺理论支持一种去中心化、基于信任的协调模型，在分布式计算与组织设计中优于基于义务的模型。
• 本文结论认为，承诺在逻辑与实践优先性上先于义务，挑战了义务更基础的传统观点。