通用人工智能的四大基本问题

　　《返朴》重新出发，我的人工智能(AI)专栏也继续搭载。和以前的做法一样，我会把AI作为一个科学问题(而非技术或商业问题)来讨论，力图提炼智能、认知、思维、意识等现象中的一般规律，或者说探索在什么意义下计算机可以和人脑相提并论。和一般的科普不同，我写的更像是自己的“探险笔记”，因为这个领域仍处于百家争鸣时期，尚未有很多公认的“科学”结论来被“普及”。如果读者发觉我的“妄议”(或者“王议”)和别处看到的不同，可以想想哪种说法更有道理，而不是哪种更流行。由于很多话题彼此交织，我会引用我以前写过的文字(均存于https：//cis.temple.edu/~wangp/Chinese.html)以避免重复。至于这个专栏的名称，自然不是说AI像《水浒》里的牛二，“满城人见那厮来都躲了”。这事以后会交代。今天以基本问题开篇，就是先把招牌挂出来，后面再陆续上货。——王培

　　像很多其它研究领域一样，人工智能的基本问题可以提炼成四个：“做什么?” “能做吗?” “怎么做?” “该做吗?” 下面是我对这些问题的简略分析。

　　研 究 目 标

　　我在《当你谈论人工智能时，到底在谈论什么?》(点击文末“阅读原文”查看，下同)中已经列举了“人工智能”名下五类不同的研究目标，而目前流行的“人工智能就是用计算机解决那些以前只有人脑才能解决的问题”就是其中的“能力派”。这一派的优势是通俗易懂，直接见效，但缺点是圈画得太大，以至于以前叫“自动化”“计算机应用”的工作现在都赶时髦改叫“人工智能”了。由于这种界定使得AI涵盖了大量完全不同的系统，在此范围内建立一个统一的人工智能理论的可能性甚微。

　　在《人工智能迷途：计算机的高技能等于高智能吗?》中，我介绍了“通用人工智能”的观念及其在历史中的浮沉。时至今日，这个词越来越多地出现在各种讨论中，但对其意义的理解仍有很多误区。比如一个常见的说法是把通用系统叫做“强人工智能”，而把专用系统叫做“弱人工智能”。这个区分不无道理(因为前者的目标远高于后者)，但二者的区别其实不是能力的强弱(专用系统在能力上往往已经远胜于人)，而是应用范围和工作原理，所以这种称呼会使人将二者间“质”的差别误判为“量”的差别，以为把各种专用系统整合在一起就是通用系统了。

　　即便在当前的通用人工智能研究者之中，对研究目的的确切设定也各有不同。有些人企图尽可能忠实地模拟脑结构，有些人企图在尽可能多的领域中取代人，有些人(包括我)企图让计算机遵循和人基本相同的“思维规律”。
 

　　有些读者可能会想，连基本概念和目标都没弄清还怎么研究，殊不知对很多复杂现象的准确刻画不可能发生在研究的开始，而会是研究结果的一部分，所以先“统一思想”是不现实的。另一方面，那种认为无需争辩“智能”定义，只需跟着直觉用法走就好的看法恰恰是目前这个领域中观念混乱的重要原因，也是不可取的。人工智能研究中的很多争论都可以回溯到对智能的不同理解，而这个问题又不能靠字典、权威或民意测验来解决。如果研究目标不一样，对其它相关问题的回答自然也就不会一样。在这一议题上尚无共识，恰恰更意味着我们应注意辨识不同的研究目标，而避免笼统地断言“人工智能”如何如何。

　　成 功 可 能

　　从“人工智能”“思维机器”等成为研究对象时起，这种努力的成功可能性就一直是有争议的。随着深度学习等技术的成功，目前流行话语中的人工智能(在某个具体问题的解决能力上达到或超过人类)的可能性不再是问题，但通用人工智能的可能性仍是受到广泛怀疑的。

　　对这个问题的肯定性论证即使在学术界认为大功告成之后的很长时间内仍不会被公众普遍接受，比如有人会坚持说它没有“灵魂”，不管它做到了什么。因此，我下面只简单说明为什么现有的否定性论证都是不能成立的。这里有几种不同的情况。

　　一类“人工智能不可能”的断言是出于对这个领域的研究目标的误解，因而是在攻击一个稻草人。持这种态度的人往往以为这个领域的目标是制造在所有方面都和人一摸一样的计算机。找些证据说明这不可能并不难，但问题是，我还不知道任何研究者真是冲着那个目标去的。实际上，所有研究人工智能(包括通用人工智能)的人都只是认为计算机可以在某些方面和某种程度上和人脑相类似。很多研究者认为在“人类智能”的诸多现象之中存在一个更一般的“智能”机制，而“人工智能”是这个机制的另一种实现方式。按照这种观点，即使人工智能完全实现，也不会和人类智能在外部表现上完全相同。因此，这种“人工智能不可能”的论断不会对这个领域中的研究有任何影响。

　　相比之下，另一类“人工智能不可能”的论证是值得重视的，因为它们是直指人工智能技术的某些“死穴”。比较常见的包括“计算机必须遵循程序，因此不可能有灵活性和创造性”“计算机只能根据形式来使用符号，但无法获得其意义”“有些真理人能发现，但计算机永远不能”。在这里，我不具体讨论它们(参见我以前的文章)，只是指出它们的一个共同问题：其实这里每个论证都是针对一个具体的智能技术或计算机用法，但结论却往往是“人工智能”如何如何、“计算机”怎样怎样，其结果是夸大了其结论的适用范围。这些讨论对人工智能的发展是有益的，因为它们从反面为新理论、新技术的研发提供了借鉴。遗憾的是，至今仍有不少人以为它们限定了所有人工智能研究所能达到的高度。

　　具有讽刺意味的是，在近期对人工智能的限度的讨论中，很多形如“人工智能永远也无法……”的断言反而是出自“人工智能专家”之口。这其实也源于主流人工智能在历经挫败后对“大问题”的回避。很多人研究多年“人工智能”，但只是注重于对某个别功能的实现和某个别问题的解决，因此在他们说“没人知道如何实现通用智能”时，他们实际上说的是“我不知道怎么做，而且我所追随的那些名人也不知道怎么做。其它人的工作不值得注意，因为反正他们也还没做出来呢”。由于有理由认为通用智能系统和专用系统是非常不同的领域，在后者的研究中成名的人物对前者发言时权威性其实是很有限的，而且“现在还没做出来”和“永远也不能做出来”显然不是一回事。

　　总之，通用人工智能目前起码应被看作是可能的，因为没有足够强的反面理由。

　　实 现 途 径

　　由于专用系统的实现途径因问题而异，在这里我只讨论通用人工智能，而且只集中分析几种常见的观点，而把对我自己的研究进路的介绍留给其它文章。