策略表达式窗口应当如图 7 所示。

The policy expression window should now look like Figure 7.

youdao

这些策略断言自身可以包含策略表达式。

These policy assertions can themselves contain policy expressions.

youdao

标准形式策略表达式是冗长的，特别是如果它包含嵌套替代项。

The normal-form expression of a policy can be lengthy, especially if it involves nested alternatives.

youdao

So the best response for Player 1, as a function of what Player 2 chooses, q2, is just equal to the q1 hat in this expression and if I solve that out carefully, I will no doubt make a mistake, but let's try it.

这个就是参与人1的最佳对策,它是参与人2策略q2的一个函数,它和之前的q1帽那个表达式是相等的,虽然我是很仔细地计算的,还是有可能算错的,我来验证一下

耶鲁公开课 - 博弈论课程节选