软件工程的问题和ai的问题是一样的。
我先说一个我还没有能力阐述的哲学论断，就是meaning本质上只有game-theoretical的定义；打个比方是：我实在找不到证明你这个论断为假的证据了，那么先接受你为真吧，这个可以看作是真的定义。
++++
另一个简单的例子是围棋里的一手棋；如果我们能穷尽围棋的变化，那么每一手棋的meaning就是由最终的全部变化（绝对正确的）决定的，并且可以reduce到一些简单的特征，比如能赢，比如在多少种变化中赢率，等等。
实际上围棋我们没有能力穷尽；那就只有up-to-date的best effort，但即使如此，我们仍然可以给它一个meaning，基于包括人和电脑自动推演「对抗」的已知结果的总结。
++++
在更加宽泛的领域里，在规则远比棋类游戏复杂，在动用多种perspective理解问题，动用各种数学工具，从高维到高阶，实际上不管你使用多少种方法，最终的结果仍然还只能是best effort，因为你无法穷举所有的对抗。
对于ai而言，这是人怎么使用ai，对于软件工程而言，这是用户如何使用软件；也就是那个所谓的software requirement specification，这个东西可以固化一
登录后可查看完整内容，参与讨论！
立即登录