论文标题
与上帝黑客：一种常见的Robopsychology和Robophilosophy的编程语言
Hacking with God: a Common Programming Language of Robopsychology and Robophilosophy
论文作者
论文摘要
该注释是关于如何以心理学和哲学的原始职业精神重新解释和重新定位的Robopsychology和Robophilosophy的概念的草图。 Asimov在上个世纪中叶引入了Robopsychology作为虚构科学和虚构职业的概念。另一方面，今天只有几年的时间。但是在这一刻，这些新的新兴学科都没有集中在人工通用情报发展的基本和整体问题上。取而代之的是，他们仅专注于虽然非常重要的问题，虽然非常重要，却扮演着互补的角色，例如道德或道德角色，而不是生活的重大问题。我们试图概述一个概念，在这种概念中，与哲学和心理学在人类智能的进步方面所做的相比，人工智能进步的Robophophophy和Robopsychology将能够在人工智能进步中发挥类似的领导统治。为了促进这一点，我们概述了一种视觉人工语言和基于交互式定理供体的计算机应用程序的想法，称为Prime Convo Assistant。将来要决定的问题是我们是否可以开发这样的应用程序。如果是这样，我们可以在它上构建电脑游戏，甚至可以在电脑游戏上构建电脑游戏吗？这可能是一个有趣的问题，因为该游戏将能够以最广泛的社会规模改变人类的思维，并能够在人与机器智能之间开发标准的基于数学逻辑的通信渠道。
This note is a sketch of how the concept of robopsychology and robophilosophy could be reinterpreted and repositioned in the spirit of the original vocation of psychology and philosophy. The notion of the robopsychology as a fictional science and a fictional occupation was introduced by Asimov in the middle of the last century. The robophilosophy, on the other hand, is only a few years old today. But at this moment, none of these new emerging disciplines focus on the fundamental and overall issues of the development of artificial general intelligence. Instead, they focus only on issues that, although are extremely important, play a complementary role, such as moral or ethical ones, rather than the big questions of life. We try to outline a conception in which the robophilosophy and robopsychology will be able to play a similar leading rule in the progress of artificial intelligence than the philosophy and psychology have done in the progress of human intelligence. To facilitate this, we outline the idea of a visual artificial language and interactive theorem prover-based computer application called Prime Convo Assistant. The question to be decided in the future is whether we can develop such an application. And if so, can we build a computer game on it, or even an esport game? It may be an interesting question in order for this game will be able to transform human thinking on the widest possible social scale and will be able to develop a standard mathematical logic-based communication channel between human and machine intelligence.
