go top

game semantics 添加释义

网络释义英英释义

  博弈语义

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

基于2468个网页-相关网页

短语

Game-theoretical semantics 博弈论语义学

Game semantics

  • 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.

以上来源于: Wikipedia

双语例句

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

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

    dict.cnki.net

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

    苹果将后PC带入现有语境做法像是文字游戏

    article.yeeyan.org

  • Supreme confidence - It can be difficult to walk the thin line between confidence and arrogance, and sometimes this can become more of a game of semantics than anything else.

    高度自信-自信自傲只有一线有时甚至会成为主宰比赛关键词。

    fly198567.blog.163.com

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

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

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