博弈中的逻辑 Logic in Games
Game logic is a new subject of study agent' s reasoning in our interaction with game theory developing rapidly and belongs to action logic. There are deductive reasoning and inductive reasoning in games.
博弈逻辑是随着博弈论的迅速发展而形成的一门新的学科，它属于行动逻辑。
参考来源 - 互动中的理性人的归纳推理研究The first part of this paper researchs the major game logic systems, for example:ATL, ATEL, ATL-A/ATEL-A, MMAL, and found that these game logic system model the status of game agent with fixed state machine.
本文首先对主要的博弈逻辑：ATL逻辑、ATEL逻辑、ATL-A／ATEL-A逻辑、多代理逻辑等,进行了研究,发现他们对博弈主体的状态转移的建模方式采用固定的步骤。
参考来源 - 电子商务协议安全性的形式化分析方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
博弈逻辑是博弈论与逻辑学相交叉的一门崭新的学科，它属于行动逻辑。
Game logic, which belongs to the action logic, is a new interdisciplinary subject intersected with game theory and logic.
引入一种新的基于博弈逻辑的AT L分析方法，能够对日益复杂的多方电子商务协议进行建模与分析。
A new ATL analysis method based on game logic was inducted, and it can model and analyze Multi-electronic commerce protocol.
此外，由于量子博弈中基本的逻辑门可以直接构造，方案相对简单。
In addition, since the basic logic gates of the quantum game can be constructed straightforward, the scheme is quite simple.
应用推荐