artificial-intelligence - 识别数字序列中的模式

Question

我觉得这应该是AI的问题。

是否有任何算法可以在给定任何数字序列的情况下找到模式？

模式可以是抽象的，因为它可以是...

例如:

12112111211112 ... ( increasing number of 1's separated by 2 )

1022033304440 ...

11114444333322221111444433332222.. (this can be either repetition of 1111444433332222

或

四个 1 和 4 以及 3 和 2...)

甚至可以纠正一些错误

1111111121111111111112111121111 (repetition of 1's with intermittent 2's)

Answer 1

不，不可能，这与停机问题和哥德尔不完备性定理有关。

此外，需要做一些严肃的哲学基础工作才能真正将问题形式化。首先，“识别模式”的确切含义是什么。我们应该假设它识别:

• 最具表现力的真实模式。所以“一些数字”是无效的，因为它的表现力不够

争论会是这样的；假设算法存在，现在考虑一个数字序列，它是一系列程序的代码。现在假设我们有一系列暂停程序，通过上面它必须知道，它不能只说“一些程序”，因为这不是最大的表达。所以它必须说“停止程序”现在给定停止程序 P 我们可以将它添加到停止列表并且算法应该说“停止程序”，这将结束 P 停止，如果它不停止那么算法应该说别的，就像“一些停止和一个不停止”。因此，该算法可用于定义可以决定程序是否暂停的算法。

现在不是正式证明，但不是正式问题 :) 建议您查看 Gödel、Halting problem 和 Kolmogorov Complexity。