棋类游戏是规则明确可形式化的封闭世界，跟开放世界中的问题有本质区别。

开放世界的规则经常根本是不可形式化的。简单的例子，有时你违反交规反倒更安全，例如高速服务区的出口你前边遇到了慢车，压着你没法提速并入主道。这时你观察到后边实际上没车，可以压实线提前并入主道。类似的情况，人知道该怎么选，但很难用一致且完备的形式系统形式化出来。

【 在 Myarmor 的大作中提到: 】
: 自动驾驶我不同意你的观点。
: 我既不会高估，也不会低估大数据的能力。
: AlphaFold， AlphaGo就是大数据有一定联想推理能力的例证。
: ...................
--
修改:qtpr FROM 111.167.232.*
FROM 111.167.232.*