...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International game theory review >A GENERAL NOTION OF UNIFORM STRATEGIES
【24h】

A GENERAL NOTION OF UNIFORM STRATEGIES

机译：统一策略的一般概念

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

摘要

We consider two-player turn-based game arenas for which we investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not μ-calculus definable. Typically, we can represent constraints on allowed strategies, such as being observation-based. We propose a formal language to specify uniformity properties, involving an original modality called R, meaning "for all related plays". Its semantics is given by some binary relation between plays. We demonstrate the relevance of our approach by rephrasing various known problems from the literature. We also study an automated procedure to synthesize strategies subject to a uniformity property, which strictly extends existing results based on, say standard temporal logics. We exhibit a generic solution for the synthesis problem provided the binary relation that defines the sets of related plays is recognizable by a finite state transducer. This solution yields a nonelementary procedure.
机译：我们考虑基于两人回合的游戏竞技场，我们将针对这些竞技场研究策略的一致性。这些属性涉及一组游戏，以表达对无法微积分定义的策略的有用约束。通常，我们可以表示对允许策略的约束，例如基于观察。我们提议一种正式的语言来指定均匀性，涉及一个称为R的原始模态，意思是“对于所有相关戏剧”。它的语义是通过戏剧之间的某种二元关系给出的。我们通过改写文献中的各种已知问题来证明我们的方法的相关性。我们还研究了一种自动程序，该程序可以根据统一性属性合成策略，该策略严格地扩展了基于标准时间逻辑的现有结果。我们提供了一个综合问题的通用解决方案，前提是该有限状态换能器可以识别定义相关戏剧集的二元关系。该解决方案产生了一个非基本过程。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号