实体
Fairbottom Bobs
Fairbottom Bobs
PulseAugur coverage of Fairbottom Bobs — every cluster mentioning Fairbottom Bobs across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
人工智能合作：只有一个FairBot吗？
通过其数学定义探讨了FairBot的概念，这是一种为博弈论场景下的合作而设计的理论人工智能代理。FairBot的核心逻辑用皮亚诺算术表示，通过遵循特定定理来确保与任何对手的合作。这个定义出现在多个背景下，包括Vladimir Slepnev和James Payor的工作，这引发了关于这种合作AI策略的唯一性的疑问。
-
AI公平性条件Löbian和Payorian被证明等价
一位研究人员证明了AI代理的两个不同公平性条件“Löbian公平性”和“Payorian公平性”在数学上是等价的。最初是在使用Peano算术编码的代理的基于证明的囚徒困境锦标赛的背景下提出的，“FairBot”代理在这两个公平性标准下进行了分析。通过两种方法证明了这种等价性：一种是使用可证性逻辑的基本证明，另一种是改编自现有定理的更复杂的证明。这种等价性表明，虽然在Peano算术这样的系统中这些条件可以互换，但在较弱的逻辑系统中，其中…