摘要翻译:
本文构造性地证明了生成一个可计算(总)函数的有效过程的存在性,该函数不包含在任何给定的有效可枚举函数集中。这个证明意味着存在着处理非正式概念的机器,例如超越任何给定图灵机或形式系统的极限的可计算(总)函数,也就是说,这些机器在某种意义上可以“计算”超出这些极限的函数值。我们称这些机器为创造性的。我们认为,任何“智能”机器都应该能够处理诸如可计算(总)函数之类的非正式概念,也就是说,它应该是创造性的。最后,我们介绍了在理论研究和计算机程序实验的基础上发展起来的关于创造性机器的假说。这些假设说,机器智能是从任何通用编程语言和任何输入开始的自我开发过程的执行。
---
英文标题:
《Informal Concepts in Machines》
---
作者:
Kurt Ammon
---
最新提交年份:
2010
---
分类信息:
一级分类:Computer Science 计算机科学
二级分类:Artificial Intelligence 人工智能
分类描述:Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域,除了视觉、机器人、机器学习、多智能体系统以及计算和语言(自然语言处理),这些领域有独立的学科领域。特别地,包括专家系统,定理证明(尽管这可能与计算机科学中的逻辑重叠),知识表示,规划,和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
---
英文摘要:
This paper constructively proves the existence of an effective procedure generating a computable (total) function that is not contained in any given effectively enumerable set of such functions. The proof implies the existence of machines that process informal concepts such as computable (total) functions beyond the limits of any given Turing machine or formal system, that is, these machines can, in a certain sense, "compute" function values beyond these limits. We call these machines creative. We argue that any "intelligent" machine should be capable of processing informal concepts such as computable (total) functions, that is, it should be creative. Finally, we introduce hypotheses on creative machines which were developed on the basis of theoretical investigations and experiments with computer programs. The hypotheses say that machine intelligence is the execution of a self-developing procedure starting from any universal programming language and any input.
---
PDF链接:
https://arxiv.org/pdf/1005.0608