深度学习人工智能剖析（十四）（6）

2019-03-23 15:43阅读：

http://blog.sina.cn/dpool/blog/u/1241881893

14.6 通用参照系
前两天，一架波音飞机在非洲失事，据说是因为仰角传感器故障反馈错误数据，误导自动驾驶系统压低机头俯冲坠机。虽然黑匣子结论还未出来，但是机器缺乏“常识”无疑是智能系统发展的要命缺陷。如今很多专业领域的专用人工智能已经显示超越人类的能力，那么象人类那样具备普通常识的通用AI到底有没有实现的可能性呢？

专用人工智能和通用人工智能主要区别在于，专用人工智能专注于点，缺乏全局的视野，只见树木、不见森林。通用人工智能因为能洞察整体全貌，所以具备通用“常识”视角。
比如，我们人类很容易判断猫和狗是近亲，相对于猫和鱼而言；容易判断猫和鱼更类似，相对于猫和苹果而言；容易判断猫和苹果关系更密切，相对于猫和石头而言。但是，现阶段的AI显然不具备这样的常识。
显而易见，如何量化猫和狗、猫和鱼、猫和花草、猫和石头的亲近关系是关键。在线性系统中，一般而言我们会通过两个向量的内积，来度量它们之间的关系。对于深度学习AI，能不能同样借用内积关系来标识对象与对象之间的亲近程度呢？理论而言好像也可以。因为深度学习模型是张量，无非就是线性空间的扩展，线性空间的内积概念在张量空间依然存在。然而，问题是计算量（维数灾难），n阶张量是一个‘n阶a维’特征空间，'n阶a维’特征空间的内积运算量可能爆表。
幸运的是，上帝给你关了一扇门,必然会为你开启另一扇窗。这扇新窗户就是“群”。通过群理论，‘n阶a维’特征属性张量将简化表达为‘m维’群生成元流形。

这里我们简要捋一捋，善于表达系统（子系统）整体特征属性的群，如何能成就“通用参照系”的。

最初，伽罗华群对于代数方程根域不变性的探索，创立了群论。
伽罗华群的要义在于，代数方程的特征解等于它的根域N经有限次扩充系数F域至扩域Ki
即： F = K0 ⊂ K1 ⊂ K2 ⊂ K3 ......⊂ Ks = N
伽罗华群G是使F中的数不变的、N的一切自同构变换所成的群；群G保持F域上特征属性不变性，即群G作用F域特征根还是F域特征根，群G作用只是使得F域不同特征根之间发生置换，G * F域特征根 → F域特征根
G的不变子群G1，是使K0中的数不变的、N的一切自同构变换所成的群；群G1保持K0域上特征属性不变性，即群G1作用K0域特征根还是K0域特征根，群G1作用只是使得K0域不同特征根之间发生置换，G1 * K0域特征根 → K0域特征根
G1的不变子群G2，是使K1中的数不变的、N的一切自同构变换所成的群；群G2保持K1域上特征属性不变性，即群G2作用K1域特征根还是K1域特征根，群G2作用只是使得K1域不同特征根之间发生置换，G2 * K1域特征根 → K1域特征根
G2的不变子群G3，是使K2中的数不变的、N的一切自同构变换所成的群；群G2保持K2域上特征属性不变性，即群G3作用K2域特征根还是K2域特征根，群G3作用只是使得K2域不同特征根之间发生置换，G3 * K2域特征根 → K2域特征根
............
Gs-1的不变子群Gs，是使Ks-1中的数不变的、N的一切自同构变换所成的群；群Gs保持Ks-1域上特征属性不变性，即群Gs作用Ks-1域特征根还是Ks-1域特征根，群Gs作用只是使得Ks-1域不同特征根之间发生置换，Gs * Ks-1域特征根 → Ks-1域特征根
有：
G ⊃ G1 ⊃ G2 ⊃ G3 ⊃...........⊃Gs=I

注意，
代数方程的特征解扩充根域Ki的方法，类似于深度学习模型扩充一层又一层的隐层，即把线性空间扩充称为多层流形（张量空间），这个空间的特征根是‘n阶a维’的，很难完备求解。伽罗华另辟蹊径，把解空间（流形）的群结构抽取出来，只需简单量化不同子群之间关系，即可判断解的存在性问题：
G的阶数/G1的阶数=r1
G1的阶数/G2的阶数=r2
G2的阶数/G3的阶数=r3
..........
如果r1、r2、r3.......rs都是素数，那么代数方程有完备解。

然后，erlangen纲领关于非欧几何不变性的探讨。
1872年, 23 岁的德国人克莱因在erlangen大学准备了一篇讲稿，这篇讲稿提出一个划时代的观点：每一种几何对应一个变换群, 每一种几何研究的对象是各形体在‘相应变换群下不变’的性质。
erlangen纲领最为人所知的是关于几何学的纲领，但是实际上远不止此，而是贯穿了几何、代数、复分析、群论和数学物理等多个方面。 erlangen纲领认为数学分成不同的领域、不同的逻辑方法论，只不过是表面的现象，因为数学的核心逻辑思维是统一的。不同学科的各种逻辑，只不过是不同群变化下的表现。比如，从数学上来讲狭义相对论是在lorentz变换群下的不变量理论，而广义相对论则是在一般点变换群下的不变量理论，在这个意义上相对论只是克莱因的《erlangen纲领》的一个应用事例而已。牛顿经典物理的参照系是比较简单的线性空间，爱因斯坦相对论的一层又一层线性空间参照系的系综是非常复杂的多层流形；非常复杂的多层流形，也就是‘n阶a维’高阶张量，无法再象传统物理那样度量完备的特征值，只能抽取最关键的子结构来分析；相对论研究的重点是一个参照系相对另一个参照系的变换，从一个参照系相对另一个参照系的变换，即群作用；所以相对论体系中必然包含群结构，从群结构入手分析多层流形是相对简单的常用办法。详见章节12.9 erlangen纲领

继而，诺特定理对于群与物理守恒量一一对应关系的研究。
艾米.诺特是德国女数学家，她天才地发现种种物理守恒定理都与某种对称变换有关，比如能量守恒对应时间平移对称、动量守恒对应空间平移对称、角动量守恒对应旋转对称等等。所谓对称变换，也就是群元作用。
群论的核心，是群作用（变换）对于某个子系统特征属性的不变性。
g对于系统M作用一个变换，M系统的特征属性保持不变，即 g*M → M
h对于系统M作用另一个变换，M系统的特征属性保持不变，即 h*M → M
则：
gg对于系统M作用一个复合变换，M系统的特征属性保持不变，即 gg*M → M
hh对于系统M作用一个复合变换，M系统的特征属性保持不变，即 hh*M → M
gh对于系统M作用一个复合变换，M系统的特征属性保持不变，即 gh*M → M
...............
ggghh对于系统M作用一个复合变换，M系统的特征属性保持不变，即 ggghh*M → M
ghhgghggghhhggh对于系统M作用一个复合变换，M系统的特征属性保持不变，即 ghhgghggghhhggh*M → M
如果我们把g、h、gg、hh、gh、ggghh、ghhgghggghhhggh等全体元素组成集合G，则G对于M是一个群，G作用M，保持M系统特征属性不变性，即 G*M → M （这里符号*表示‘作用’）

显而易见，群作用与守恒量（即特征属性保持不变）之间一一对应关系，并不局限于物理学领域，这是放之四海而皆准的基本原理，因为这个的实质内含就是“群”定义本身。

同样地道理，我们不仅可以通过群论量化猫图象平移变换、缩放变换、旋转变换，还能通过群参照系来大一统量化猫、狗、花草等等的界、门、纲、目、科、属、种，从而量化猫和狗、猫和鱼、猫和花草、猫和石头的亲近关系，赋予机器常识观念。

一只猫的特征属性有很多层级，设：
猫的动物界属性的特征根域为K0
猫的脊索动物门属性的特征根域为K1
猫的哺乳纲属性的特征根域为K2
猫的食肉目属性的特征根域为K3
猫的猫亚科属性的特征根域为K4
猫的猫属属性的特征根域为K5
猫的波斯猫种属性的特征根域为K6
.................................
有： K0 ⊂ K1 ⊂ K2 ⊂ K3 ⊂ K4 ⊂ K5 ⊂ K6 ......⊂ Ks

类似于伽罗华群，猫的不同层级特征属性的特征解等于其对应根域K0经有限次扩充系数至根扩域Ki
G的不变子群G1，是使K0中的数不变的、Ks的一切自同构变换所成的群；群G1保持猫的动物界属性在K0域上特征根不变性，即群G1作用K0域特征根还是K0域特征根，群G1作用只是使得K0域不同特征根之间发生置换，G1 * K0域特征根 → K0域特征根
G1的不变子群G2，是使K1中的数不变的、Ks的一切自同构变换所成的群；群G2保持猫的脊索动物门属性在K1域上特征根不变性，即群G2作用K1域特征根还是K1域特征根，群G2作用只是使得K1域不同特征根之间发生置换，G2 * K1域特征根 → K1域特征根
G2的不变子群G3，是使K2中的数不变的、Ks的一切自同构变换所成的群；群G3保持猫的哺乳纲属性在K2域上特征根不变性，即群G3作用K2域特征根还是K2域特征根，群G3作用只是使得K2域不同特征根之间发生置换，G3 * K2域特征根 → K2域特征根
G3的不变子群G4，是使K3中的数不变的、Ks的一切自同构变换所成的群；群G4保持猫的食肉目属性在K3域上特征根不变性，即群G4作用K3域特征根还是K3域特征根，群G4作用只是使得K3域不同特征根之间发生置换，G4 * K3域特征根 → K3域特征根
G4的不变子群G5，是使K4中的数不变的、Ks的一切自同构变换所成的群；群G5保持猫的猫亚科属性在K4域上特征根不变性，即群G5作用K4域特征根还是K4域特征根，群G5作用只是使得K4域不同特征根之间发

举报/Report

我的更多文章

下载客户端阅读体验更佳