与上帝黑客：机器心理学与机器哲学的共同编程语言

本札记勾勒了如何按照心理学与哲学原始使命的精神，对机器心理学与机器哲学的概念进行重新阐释与定位。机器心理学作为虚构科学与虚构职业的概念由阿西莫夫于上世纪中叶提出。而机器哲学如今仅诞生数年。但此刻，这些新兴学科均未聚焦于通用人工智能发展的根本与整体问题。相反，它们仅关注虽极重要但起补充作用的问题，如道德或伦理问题，而非生命的大问题。我们试图勾勒一种构想，使机器哲学与机器心理学能在人工智能进展中扮演类似于哲学与心理学在人类智能进展中所起的引领作用。为此，我们概述了一种称为 Prime Convo Assistant 的视觉人工语言与基于交互式定理证明器的计算机应用之理念。未来待决的问题是，我们能否开发此类应用。若能，我们能否在其上构建计算机游戏，甚至电子竞技游戏？为使该游戏能在最广泛的社会尺度上转变人类思维，并能在人机智能间建立基于标准数理逻辑的沟通渠道，这或许是个有趣的问题。