• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Programming and Verifying Subgame-Perfect Mechanisms
【24h】

Programming and Verifying Subgame-Perfect Mechanisms

机译：编程和验证子游戏完美机制

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

An extension of the WHILE-language is developed for programming game-theoretic mechanisms involving multiple agents. Examples of such mechanisms include auctions, voting procedures, and negotiation protocols. A structured operational semantics is provided in terms of extensive games of almost perfect information. Hoare-style partial correctness assertions are proposed to reason about the correctness of these mechanisms, where correctness is interpreted as the existence of a subgame-perfect equilibrium. Using an extensional approach to pre- and postconditions, we show that an extension of Hoare's original calculus is sound and complete for reasoning about subgame-perfect equilibria in game-theoretic mechanisms. We use the calculus to verify some simple mechanisms like the Dutch auction.
机译：WHILE语言的扩展是为编程涉及多个代理的游戏理论机制而开发的。这种机制的示例包括拍卖，投票程序和协商协议。根据几乎完美的信息的广泛游戏，提供了结构化的操作语义。提出了Hoare型的部分正确性断言，以推理这些机制的正确性，其中正确性被解释为存在子博弈完美均衡。使用扩展的前提条件和后置条件方法，我们证明了Hoare原始演算的扩展是合理且完整的，可用于推理游戏理论机制中的子博弈完美平衡。我们使用演算来验证一些简单的机制，例如荷兰式拍卖。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号