game semantics的意思|示意
游戏语义
game semantics的网络常见释义
博弈语义 Mocha可以使用交替时态逻辑Alternating-time temporal logic (ATL)来描述属性,而ATL的博弈语义(game semantics)使ATL可以用竞赛树(winning strategies)的方式进行模型检测。这使得我们可以更为直观的理解MPCS协议关键属性的验证过程。
game semantics相关短语
1、 Game-theoretical semantics 博弈论语义学
game semantics相关例句
What Apple has done by introducing its "post-PC" language into the vernacular is almost more a game of semantics.
苹果将后PC带入现有语境的做法更像是一场文字游戏。
Hintikka applied some cardinal concepts of game theory to language game and thus got game-theoretical semantics.
芬兰哲学家及逻辑学家辛迪加将博弈论的基本概念应用到语言游戏论中，得到了博弈沦语义学。