引入一种新的基于博弈逻辑的AT L分析方法，能够对日益复杂的多方电子商务协议进行建模与分析。
A new ATL analysis method based on game logic was inducted, and it can model and analyze Multi-electronic commerce protocol.
博弈逻辑是博弈论与逻辑学相交叉的一门崭新的学科，它属于行动逻辑。
Game logic, which belongs to the action logic, is a new interdisciplinary subject intersected with game theory and logic.
应用推荐