看到另外一种“图灵完备”的解释 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
请不要在回答技术问题时复制粘贴 AI 生成的内容 #Wrapper { background-color: #e2e2e2; background-image: url("/static/img/shadow_light.png"), url("//cdn.v2ex.com/assets/bgs/circuit.png"); background-repeat: repeat-x, repeat-x; } #Wrapper.Night { background-color: #1f2e3d; background-image: url("/static/img/shadow.png"), url("//cdn.v2ex.com/assets/bgs/circuit_night.png"); background-repeat: repeat-x, repeat-x; background-size: 20px 20px, 162.5px 162.5px; }
James369
V2EX    程序员

看到另外一种“图灵完备”的解释

  •  
  • &bsp; James369 2022-06-15 08:10:28 +08:00 3739 次点击
    这是一个创建于 1266 天前的主题,其中的信息可能已经有所发展或是发生改变。

    在看 AI 的时候看到的:所有的图灵机都可以被一个由使用 Sigmoid 型激活函数的神经元构成的全连接循环网络来进行模拟。

    完全看不懂什么意思?

    第 1 条附言    2022-06-15 22:02:34 +08:00
    这是出自邱教授的《神经网络与深度学习》 ,好多数学公式看得眼花缭乱,真佩服这些搞学术的
    6 条回复    2022-06-15 13:46:26 +08:00
    phpfpm
        1
    phpfpm  
       2022-06-15 09:33:59 +08:00
    1 你确定你知道什么是图灵机?
    2 你确定你知道什么是激活函数,以及 sigmoid 是什么?
    3 你确定你知道全连接循环网络是什么?

    知道以上三个,连在一起为啥不懂呢
    liuser666
        2
    liuser666  
       2022-06-15 09:36:53 +08:00   1
    本质上是因为 sigmoid 型激活函数的神经网络可以模拟任何函数。
    jr55475f112iz2tu
        3
    jr55475f112iz2tu  
       2022-06-15 09:57:49 +08:00
    Sigmoid 型激活函数
    激活函数:节点对输入处理的规则,最简单的处理规则是 f(x)=kx+b ,神经网络里的激活函数通常是非线性的
    Sigmoid 函数:有界、可微的实函数,在实数范围内均有取值,且导数恒为非负,有且只有一个拐点。在神经网络里,S 型函数通常特指 Logistic 函数

    神经元:节点

    全连接循环网络
    全连接网络:第 n-1 层的任意节点,都和第 n 层的所有节点有连接
    循环网络:Recurrent neural network ,RNN ,循环神经网络

    基于这些 google 出来的信息,这句话的意思我推测大概是:
    包含上面这些元素的人工神经网络,可以对图灵完备的某个东西进行模拟
    lyminghao
        4
    lyminghao  
       2022-06-15 12:33:29 +08:00
    这个没毛病啊
    geelaw
        5
    geelaw  
       2022-06-15 12:52:32 +08:00 via iPhone   1
    单从这句话确实看不懂,至少我并不知道 RNN 和它“所计算的函数”是如何定义的(有很多细节会影响结论是否成立、结论是否令人意外)。

    看这篇应该就明白了 https://www.sciencedirect.com/science/article/pii/089396599190080F

    另外,这并不是 Turing 完备的“解释”,这句话是在利用 Turing 完备的词义,而不是在告诉你 Turing 完备的词义。(类比:这家火锅很辣,这句话没有在解释什么是“辣”,而是在利用“辣”的意思给那家火锅下判断。)
    ipwx
        6
    ipwx  
       2022-06-15 13:46:26 +08:00
    这种结论一般都是构造法证明。

    首先图灵机是什么有清晰的定义。然后就是怎么用 sigmoid + rnn 表达任意给定的图灵机了。

    随便搜一下可得:

    Turing Completeness of Bounded-Precision Recurrent Neural Networks
    https://openreview.net/forum?id=IWJ9jvXAoVQ

    这篇 2021 年的 poster 说,前人的工作需要假定无穷精度的 RNN 才能表达任意图灵机。现在他们可以用有限精度 RNN 来表达了(可喜可贺
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     1074 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 22ms UTC 23:11 PVG 07:11 LAX 15:11 JFK 18:11
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86