中英▼
go top

game semantics 添加释义

网络释义英英释义

  博弈语义

Mocha可以使用交替时态逻辑Alternating-time temporal logic (ATL)来描述属性,而ATL的博弈语义(game semantics)使ATL可以用竞赛树(winning strategies)的方式进行模型检测。这使得我们可以更为直观的理解MPCS协议关键属性的验证过程。

基于2468个网页-相关网页

短语

Game-theoretical semantics 博弈论语义学

Game semantics

  • abstract: Game semantics (, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes. In the late 1950s Paul Lorenzen was the first to introduce a game semantics for logic, and it was further developed by Kuno Lorenz.

以上来源于: WordNet

双语例句

  • What Apple has done by introducing its "post-PC" language into the vernacular is almost more a game of semantics.

    苹果将后PC带入现有语境的做法更像是一场文字游戏。

    youdao

  • Hintikka applied some cardinal concepts of game theory to language game and thus got game-theoretical semantics.

    芬兰哲学家及逻辑学家辛迪加将博弈论的基本概念应用到语言游戏论中，得到了博弈沦语义学。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定