arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1601.03411cs.AIcs.DS
收藏

算法与部分算法分析

Analysis of Algorithms and Partial Algorithms

Andrew MacFie

摘要:

我们提出了一种替代方法的分析算法,基于预期的折扣奖励的概念。这种方法自然地处理并不总是终止的算法,因此它可以(理论上)与不可判定问题的部分算法一起使用,例如在人工通用智能(AGI)和自动定理证明中发现的算法。我们提到了一种通过这种方法实现自我改进AGI的方法。2017年8月增编:这篇文章最初是考虑到多个受众而写的。最好用下面的话来表达。Goertzel、Hutter、Legg和其他人已经为一般抽象主体的智力评分定义了一个概念:随机环境中的预期终身奖励。根据该评分,AIXI通常是最佳代理,但可能有理由分析其他代理并比较评分值。如果我们想在实践中使用这个智能的定义,也许我们可以从分析一些简单的代理人开始。常见的算法可以被认为是简单的代理(环境是输入,奖励是基于运行时间),所以我们的目标是将代理智能评分应用于算法。也就是说,我们想知道,算法的智商分数是多少?我们可以做一些非常简单的分析,但真正的答案是,即使对于简单的算法,智能分数也很难在实践中使用。

英文摘要:

We present an alternative methodology for the analysis of algorithms, based on the concept of expected discounted reward. This methodology naturally handles algorithms that do not always terminate, so it can (theoretically) be used with partial algorithms for undecidable problems, such as those found in artificial general intelligence (AGI) and automated theorem proving. We mention an approach to self-improving AGI enabled by this methodology. Aug 2017 addendum: This article was originally written with multiple audiences in mind. It is really best put in the following terms. Goertzel, Hutter, Legg, and others have developed a definition of an intelligence score for a general abstract agent: expected lifetime reward in a random environment. AIXI is generally the optimal agent according to this score, but there may be reasons to analyze other agents and compare score values. If we want to use this definition of intelligence in practice, perhaps we can start by analyzing some simple agents. Common algorithms can be thought of as simple agents (environment is input, reward is based on running time) so we take the goal of applying the agent intelligence score to algorithms. That is, we want to find, what are the IQ scores of algorithms? We can do some very simple analysis, but the real answer is that even for simple algorithms, the intelligence score is too difficult to work with in practice.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑