论文标题
在非执行时间观察中重建蜂窝自动机规则
Reconstructing cellular automata rules from observations at nonconsecutive times
论文作者
论文摘要
Springer和Kenyon的最新实验表明,可以训练一个深层的神经网络,以预测Conway生命游戏自动机游戏的$ T $步骤的动作,因为在随机初始状态下,此操作的数百万个例子。但是,从$ t> 1 $上讲,培训从来都不是完全成功的,即使成功,从$ t> 1 $数据的基本规则($ t = 1 $)的重建也不在神经网络可以提供的范围内。我们根据约束预测描述了一种类似网络的方法,这是可能的。从单个数据项中,此方法不仅完美地重建了自动机规则,还可以在未看到的时间步骤中重建状态。对于唯一的重建,初始状态的大小只需要足够大,以至于它演变成的$ t-1 $包含所有可能的自动机输入模式。我们在1D二元细胞自动机上演示了从相邻单元格的$ n $的输入的方法。我们实验中未知的规则不仅限于输入(如生命游戏中)在输入上的一些线性函数中得出的简单规则,但包括所有$ 2^{2^n} $可能在$ n $输入上的规则。我们的结果扩展到$ n = 6 $,对于详尽的规则搜索是不可行的。通过放松空间和时间的平移对称性,我们的方法作为学习二进制数据的平台具有吸引力,因为变量的离散性并不像基于梯度的方法一样带来相同的挑战。
Recent experiments by Springer and Kenyon have shown that a deep neural network can be trained to predict the action of $t$ steps of Conway's Game of Life automaton given millions of examples of this action on random initial states. However, training was never completely successful for $t>1$, and even when successful, a reconstruction of the elementary rule ($t=1$) from $t>1$ data is not within the scope of what the neural network can deliver. We describe an alternative network-like method, based on constraint projections, where this is possible. From a single data item this method perfectly reconstructs not just the automaton rule but also the states in the time steps it did not see. For a unique reconstruction, the size of the initial state need only be large enough that it and the $t-1$ states it evolves into contain all possible automaton input patterns. We demonstrate the method on 1D binary cellular automata that take inputs from $n$ adjacent cells. The unknown rules in our experiments are not restricted to simple rules derived from a few linear functions on the inputs (as in Game of Life), but include all $2^{2^n}$ possible rules on $n$ inputs. Our results extend to $n=6$, for which exhaustive rule-search is not feasible. By relaxing translational symmetry in space and also time, our method is attractive as a platform for the learning of binary data, since the discreteness of the variables does not pose the same challenge it does for gradient-based methods.