那套符号系统，包括数学中的公式，其实背后也是按照模式匹配的方式运作的。

比如你实现一个按照逻辑符号系统严格推理的程序。最终结果看来。它就是在按照 A·B·C==> D  D*F=> E 这种模式匹配来工作的。

或者我就纯粹定义一套毫无意义的规则。a*b=c a-b=cd  a+b=xy 。。。然后想知道 a-b*xy*yeg=hgyt? 这就是一个证明。这套推理程序是有可能证明对错的。它的工作过程就是一系列基于abc和几个中间运算符的模式匹配。

人比较模糊一点，但是当人分析思考问题的时候，也有相当大的比例是依靠匹配到固定的模式作为前提，然后推出结果。比如：如果这个人嘴上带着油，那就是他偷吃的。这就是一个经验带来的模式。更高级一点的。a*b=b*a，e=mc2 这也是一种提炼出来的模式。还有一种模式是天生的。比如物体离开桌子会往下掉。不会往上飞。

唯一神奇的地方就是不知道灵感或者说创意是怎么个产生方式。


【 在 lvsoft 的大中提到: 】
: 逻辑不是模式匹配，应该反过来说，模式匹配也可以具有逻辑性。
: 模式匹配是人类进化过程中诞生出来的一种天然直觉能力，它最大的价值就是避险。
: 避险以及很多其他用途（识别伙伴）都有自然的逻辑性，因为不符合逻辑的都挂掉了...
: ...................
--
修改:chunhui FROM 114.241.3.*
FROM 114.241.3.*