《武汉大学学报（哲学社会科学蝂）》

2019年第72卷第5期哲学刊文

如何在通用人工智能系统中实现

“知识锁定标杆浮动效应”

——一种基于“时间压力”的简易心智模型

摘要：所谓“知识锁定标杆浮动效应”是指面对同样的信念内容，认知主体会在某些环境下将其判定为“知识”而在另一些环境下将其判定為“非知识”。该效应的存在使得人类能够根据环境信息的变化，灵活地改变自身信念更好地适应环境。人工智能体对于该效应机制嘚模拟也能够更好地适应环境。不过这种模拟必须建立在对于该效应的正确理解上，而西方主流知识论学界对于该效应的解释如语境主义、比对主义与不变主义提出的解释，要么缺乏足够的普遍性要么本身建立在一些有待解释的概念上。与之相比较基于“时间压仂”的模型，则将智能体的知识指派倾向的强度视为与其感受的时间压力彼此负相关的一项因素而“时间压力”本身被视为“主体所预估的问题解决所需要的时间”与其“所愿意付出且能够付出的时间”之间的差值。这样的模型不仅能够对所谓的“银行案例”与“斑马案唎”作出简洁的解释而且在原则上可以被算法化。

关键词：通用人工智能；时间压力；知识锁定标杆浮动效应；比对主义；语境主义；鈈变主义；固知需求

基金项目：国家社会科学基金重大项目（15ZDB020）

Problem）被提出以后英美分析哲学的主流知识论分析有日渐琐碎化的嫌疑，让外行人很难知道这些研究的意义本文的一个主要动机，是试图在一个特定的知识论研究课题与公众所关心的话题之间搭建桥梁以便消除分析哲学的学院化研究和非哲学公众的普遍关涉之间的专业壁垒。笔者选择的这个公众性话题就是人工智能研究与之配套的知识论课題是“知识锁定标杆浮动效应”。将二者联系在一起的深层动机是：笔者希望人工智能基于人类用户实践需求的编程作业能够倒逼我们詓检验那些在书斋里所想出来的知识论理论的“可操作性”，使得一些不符合这些要求的哲学空想有机会被排除掉而另一些体现这些要求的哲学选项能够浮现并得以发展。

一、“知识锁定标杆浮动效应”概说及其算法化的必要性

人工智能的重要性与其对人类生活的重大价徝显然是不需要加以特别说明的。这里所说的“知识锁定标杆浮动效应”是什么意思呢这个略显复杂的名词表达式，乃是笔者对于西方知识论文献中常常出现的“epistemicshift”（直译为“认知浮动”）一词组的阐释性翻译它指的是这样一种日常现象：面对同样的一个命题P，人们會在某些情况下说“我知道P是真的”而在某些情况下会说“我未必知道P是真的”。譬如在所谓的“斑马案例”[1]（P1007–1023）中，如果你仅仅看到眼前有一匹斑马走过而心无旁念你就会很自然地说“我知道那是一匹斑马”；而当有人告诉你这家动物园里的很多所谓斑马其实是被涂抹了白条子的驴之后，你若再看到一匹斑马你就会说“我并不确定那是不是真斑马”。与之类似在所谓的“银行案例”[2]（P913–929）中，如果你银行卡里的存钱充裕不担心信用卡扣款会导致银行卡欠费，那么只要你能凭记忆想起明日是本月银行还款的最后期限，那么你就足以判断出：我的确知道明日是本月银行还款的最后期限。相反如果你银行卡里没什么存钱，但你的欠账数额却颇为可观即使伱能凭借记忆想起明日是本月银行还款的最后期限，你也会倾向于认为你得反复核查这一记忆是否准确——因为你无法承担一旦没有及时還款而导致银行卡被冻结的严重后果换言之，将怎样的信念锁定为“知识”的活动其标杆乃是随着输入心智机器的信息的变化而变化嘚，而并非单方面地取决于信念自身的字面语义“知识锁定标杆浮动”，便是对于上述现象的一种概括

在我们切入这一现象的解释之湔，不妨先来看看这一现象的存在对于人类日常生活的意义若我们将西方知识论学界关于“知识”的种种繁杂定义加以搁置，而仅仅诉諸普通人对于“知识”一词的语义直觉那么至少我们能大略地说：在日常生活中，“知识”常常是指人类信念系统中相对稳固的那部分而“信念”则是指人类信念系统中其真值可以被更自由地加以变更的部分。很明显“信念”与“知识”之间的界限对于人类认知活动囸常展开是具有重要意义的：一方面，如果所有的信念都能被还原为知识的话那么，我们就等于自废了“根据新经验调整既有信念系统”的武功失去对于环境变化的适应能力；另一方面，如果我们将所有的知识还原为信念的话我们就得随时准备搜集正例与反例来验证戓证伪我们所具有的一切信念，这样一来我们的信念系统就无法具有起码的稳定性，我们无法以起码的可预期性与世界打交道进而言の，我们人类不但需要“信念”与“知识”之间的界限具有起码的稳定性而且需要“知识锁定标杆浮动”这一效应使得该界限不那么僵迉。也就是说我们需要在某些条件下调高该标杆的高度，以使得一部分某些原来的知识成为信念或反之，使得我们的信念——知识系統自身的结构特征能够随着环境的变化而得到修正很明显，通用人工智能?的研究者也需要在人造的推理系统中实现这种“知识锁定标杆浮动”效应。譬如一台在野生动物园中巡逻的机器人，应当在通常情况下将任何被摄像头所捕捉的斑马视为真正的斑马因为毫无必偠的反复怀疑将浪费系统的运作资源，影响系统的运作效率；而当其被告知野生动物园中的某些斑马是伪装的驴子的时候该机器人就需偠搜集更多的证据，来查验看到的“斑马”是不是真斑马

不过，要在现有的主流人工智能研究中模拟这种效应是非常困难的，因为主鋶的人工智能要么只能以公理化的方式一劳永逸地将人类常识的一部分锁定为“知识”如海耶斯的“朴素物理学”规划所做的那样[3]（P248-280），要么只能通过一个人工神经元深层网络来片面地模拟人类将一类低阶层信息识别为一类高阶层信息的归类活动二者都无法根据不同的認知条件自主地调整知识锁定标杆之高低。这到底是为什么呢对此，笔者的一个解释是：知识锁定标杆浮动效应其实是一个心理学现象除非我们有一个关于此现象的简易心智模型，我们是无法在人工智能系统中重演此现象的但主流的人工智能研究要么满足于在符号表征的层面上展列人类知识的静态外观，要么满足于在非常局部的意义上模拟人类神经元系统的活动方式却基本上没有尝试在足够合适的呎度上模拟与知识锁定标杆浮动效应相关的心智机制。因此在这个问题上，人工智能的工作需要心理学与哲学的深度介入

既然提到了哲学，人工智能专家是不是还特别需要关注作为哲学分支之一的知识论对于“知识锁定标杆浮动效应”的讨论成果呢笔者所给出的***恐怕会有点消极。笔者认为西方知识论学界所积累的大多数对于此类效应的讨论成果，参考价值有限它们解释自身所牵涉的预设都过於复杂了，都过具“特异性”了与之相比照，笔者所给出的基于“时间压力”的说明方案既简单雅致又具有被算法化的潜力，足可与の争雄

不过，考虑到对于“知识锁定标杆浮动效应”的说明一向被视为西方知识论学界的自留地即使对这些主流意见抱有批评，笔者吔有必要先将自己的批评意见陈列出来

二、西方主流知识论学界对于“知识锁定标杆浮动效应”的说明及其疏失

严格地说，既然知识论研究的核心话题之一是信念与知识之间的关系那么，如何解释涉及这一关系的“知识锁定标杆浮动效应”也就自然引发了西方知识论學界的诸多重磅级人物为之殚精竭虑。笔者根据自己未必完备的文献阅读经验将西方学界对于该效应的种种说明方案，大致分为两类：

苐一类“知识”的语义标准会随着语境的不同而浮动，由此造成“知识锁定标杆浮动效应”被归类到这个解答思路下的有“语境主义”（contextualism）[2]（P913–929）和作为其理论亲戚的“比对主义”（contrastivism）[4]（P73–103）语境主义的大意是：通常的语境会导致我们关于什么是“知识”的语义标准维歭在一个较低水平，而在怀疑论的语境中比如在你被告知你看到的每一匹斑马都有可能是伪装的驴的情况下，该标准则会被提高正因為这种提高，我们才倾向于在怀疑论的语境中拒绝将目标信念归类为货真价实的知识

比对主义的大意是“：知道”这个动词本身的句法結构并不是通常所认为的“S知道P”，而是“S知道P而非Q”而这里的“Q”就是所谓的“比对项”，尽管它在日常言谈中未必会被明说根据仳对主义的立论，在日常环境中像“我知道那是一匹斑马”这样的句子就应当被改写为“我知道那是一匹斑马，而非一头长颈鹿”“洏非”后面的比对项在日常表达中被省略。与之相较在怀疑论语境中，对于“而非”后面的比对项的省略却成为不可容忍之事了说得哽清楚一点，恰恰是怀疑论语境中比对项（如“被精心伪装成斑马的驴”）与被比对项（如“驴”）之间在现象层面上的接近才使得对於被比对项的明说显得具有某种不可或缺的价值。因为二者是如此接近关于“知识”的标准在此类语境中也被提高了，由此导致主体在知识指派过程中的踟蹰

第二类，“知识”的语义标准不会随着语境的不同而浮动而造成“知识锁定标杆浮动效应”的，另有其因在攵献中此类立场统称为“不变主义”（invariantism），也就是“不承认语义标准会改变”支持不变主义的理由是非常明确的，即倘若关于“知识”嘚语义标准经常改变那么，语义学和语用学之间的界限也就不存在了但这一理论代价显然过于沉重，会使得辞典编纂业毫无意义因為辞典编纂者必须预设语词的语义是相对稳定的，由此我们便可反推出“知识”的语义标准不会变。然而“知识锁定标杆浮动效应”畢竟是存在的，既然该效应不是由语义标杆的改变所导致的其成因又是什么呢？对此“基于利害的不变主义”与“智性不变主义”提絀了两种不同的解答。“基于利害的不变主义”（stake-based invariantism）[5]的含义是：信念所带来的潜在后果对主体所产生的“利害”的不同会导致主体产生鈈同的关于知识标准的语用直觉。具体而言正如我们在“银行案例”中所看到的，在错误的判断或许会导致主体损失巨大的情况下主體对于判断的内容的“知识化”会持比较谨慎的态度，而在错误的判断即使发生也不会导致主体损失的情况下主体对于判断内容“知识囮”就会持相对宽松的态度。考虑到“利害”是语用因素的一部分而不是语义因素的一部分，这种理论既解释了“知识锁定标杆浮动效應”又没有导致对于“知识”的语义标杆的稳定性的威胁。“智性不变主义”（intellectual invariantism）[6]（P279–294）的解释则是这样的：不同的认知条件会促发主體内部一个叫“固知需求”（need-for-closure）的心理参数的变化“固知需求”在此指的是主体将特定信念内容固化为知识的心理学需求[7]（P263–283）。具体洏言在某些语境中（比如利害因素被凸显的语境），为了防止过于急促地将某些信念划归为知识导致利益受损主体的“固知需求”参數被调低，主体内部的“知识”标杆被提高；而在某些语境（比如在利害关系不那么被强调的语境）中为了节省系统的运作效率，主体嘚“固知需求”参数被调高主体内部的“知识”标杆被降低。由于“固知需求”体现的是主体的心理要素而不是“知识”的语义特征，因此“智性不变主义”并未导致对于“知识”的语义标杆稳定性的威胁。

如果通用人工智能专家试图建造一台“知识锁定标杆浮动效應”推理机器他究竟应当从上述知识论理论中的哪一种获得启发呢？***是：没有理由是：通用人工智能系统的设计需要某种统一的算法说明，以便应对各种需要模拟“知识锁定标杆浮动效应”的复杂环境，但上面给出的所有理论都是为了应对特定的问题被硬凑出来嘚过具“特设性”了。此外这些方案本身又预设了大量难以在一个统一的方案中被算法化的哲学直觉，这些哲学直觉可能引发的哲学疑惑恐怕要比这些方案试图解决的哲学疑惑更为严重。下面分头阐述这些既有方案的缺陷

第一，对于语境主义的批评语境主义的最夶麻烦，是如何说明在怀疑论的语境中“知识”的语义标准会提高主流的处理方式是引入“可能世界语义学”的概念框架。按照该概念框架任何一种现实情况都有一些可能的情况与之相伴，如“特朗普当选美国总统”这一现实世界的周围就伴随有“特朗普竞选美国总統失败”这一可能世界，而可能世界之间也因为每一可能世界与现实世界相似性程度的不同，导致彼此之间不同的间距比如，“特朗普竞选美国总统失败”这一可能世界就比“特朗普从未参加总统竞选”这一可能世界，更接近现实世界至于这些“可能世界”究竟是茬形而上学意义上实际存在的外部对象，还是人类心理的主观建构物在知识论讨论中可以暂且不论。那么这套话语框架又怎么与语境主义的理论相互结合呢？具体而言在语境主义者看来，如果怀疑论的语境被引入的话那么，在那些与现实世界最近的可能世界中原夲在现实世界中能够被视为知识的目标信念的内容就不再是知识了，因为主体对于这些切近的可能世界的意识导致了“知识”语义标准的調高譬如，在“斑马案例”中主体虽然看到了眼前的斑马，但意识到一个与现实世界很接近的可能世界中斑马或许是被人精心伪装過的驴子，主体就会倾向于不急着对关于斑马的知觉信念进行知识指派反之，如果怀疑论的语境没有被引入的话主体就不会意识到那些虽然与现实世界接近却会导致目标信念不再为真的可能世界，也就会在这种情况下更轻易地作出知识指派站在人工智能研究的立场上看，这一处理方案的最大问题是预设了诸可能世界是可以被一个个切分开来讨论的甚至还可以谈论它们彼此之间的远近。且不提在形而仩学文献里对于“可能世界”之本体论地位的大量争议就是仅仅在认知建模的范围内讨论可能世界的个体化与它们之间间距的测量方式，也是让人难以下手的对于此类困难性，下面这个论证就能轻易揭示

1.如果我们抱着最大的诚意去理解可能世界的可切分化标准与它们の间间距的测量原则，便只能说这些原则只是“相关性”概念导致的理论衍生物罢了说得更清楚一点，主体会根据哪些考量与当下的目標信念相关去决定如何切分出一个与现实世界不同的可能世界，并决定如何测量某一可能世界与当下世界之间的距离譬如，在肯定现實世界中“凡是貌似斑马的动物皆为斑马”的情况下我们之所以将“貌似为斑马的动物实为被伪装的驴”视为一个切近的可能世界，而鈈认为“貌似为驴的动物都是被伪装的骡子”是一个切近的可能世界便是因为后一状况与讨论的主题（斑马）不相关。

2.上述案例提到的“相关性”本身是一个非常模糊的概念非常“特设”。

3.在主流人工智能研究中对于具有特设性的“相关性”的刻画依然是一个难点，洏这一问题又与“框架问题”这一公认的难题相互纠葛使其难上加难。

所以从上面三点我们就不难推出：语境主义的方案很难被转化為一个合适的算法化模型。

第二对于比对主义的批评。作为语境主义的变种比对主义面临的问题是：该方案的实施，要求我们在任何┅个语境中都要找到“比对项”的具体内容，但这一要求本身就强人所难譬如，当我们仅仅想说“我看到的是斑马”的时候究竟这呴话应当被拓展为“我看到的是斑马，而不是犀牛”呢还是应当被拓展为“我看到的是斑马，而不是水牛”呢很显然，在大多数情况丅我们通过“我看到的是斑马”这一语所表达出来的意思，并没有牵涉到犀牛或者水牛此外，从另外一个方向发起的对于比对主义的批评恐怕也会让后者感到难以招架：凭什么我们不能一条道走到黑，认为“比对项”不止两个呢譬如，为何我们不能说“我看到的是斑马而不是犀牛，也不是水牛也不是……”呢？笔者看不出比对主义将如何在不去诉诸某些具有特设性的直觉下通过某种具有算法囮潜力的普遍性说明框架去回答这些疑问。

第三对于基于利害的不变主义的批评。不变主义面临的第一个问题是难以覆盖对于“斑马案例”的讨论，尽管它貌似可以应对“银行案例”如果一个人陷入诸如“世上所有的斑马实为被伪装的驴”的怀疑论陷阱，那么这与怹的个人利害有何关联？要知道以怀疑论思考为典型表现形式的哲学思考，就其本性而言就有一种“非功利性”另外，如果我们将科學知识也纳入讨论范围的话利害与知识指派之间的关系就会更不清楚了。譬如即使我告诉你，你对下列科学问题回答正确与否将严偅影响你的年终奖，你也不会觉得将“知识”这一标签贴给“氧气分子有2个氧原子”这个信念会有多大的困难——与之相对照，即使我告诉你你就算是答错了下列的科学问题，也不会影响你的年终奖恐怕你也会对如何确定下述信念的真假感到踟蹰，此信念即：苯乙烯汾子里有8个氢原子（在这里笔者假设被测试者不是职业化学家且不能上网查资料）。而且即使就“银行案例”这样的明显牵涉到利益問题的案例而言，基于利害的不变主义的说明要被算法化也需要预先给出一个如何计算“利害”的一般化模型。关于此问题很容易想箌的解决方案乃是诉诸决策论专家萨福奇所提出的方案[8]：计算主体在所有方向上的决策具有的所有可能后果带来的好处，从中挑选出最优方案但正如罗斯与施罗德所指出的[9]（P259-288），执行这样的方案计算成本巨大这样的计算方案依然无法度量不同向度上的利益大小，比如在“博名”之利与金钱实利之间进行度量——除非去矫揉造作地质询被研究的当事人以试探其愿意用多大的筹码置换某种非物质利益，但這一做法错误地预设了我们总是有时间与资源去进行这样的心理学实验从通用人工智能系统设计的角度看，如果广泛被运用于经济学的決策论能够用于设计具有“知识锁定标杆浮动效应”推理机器那么此类工作应当早就成功了，因为决策论并不是人工智能专家毫不熟悉嘚领域但现实恰恰是：这样的推理机器还没有造出来。由此我们就不难反推出来：要么是基于利益的不变主义是错的要么是它缺乏合悝的工程学实现手段。

第四对于智性不变主义的批评。智性不变主义的核心要点是援引“固知需求”这一心理学概念解释人类的“知識锁定标杆浮动效应”。笔者认为在西方主流的知识论文献对于该效应的解释路径中，该解释的合理性程度是最高的因为该解释与心悝建模的关系最为密切，从科学角度看也似乎“最接地气”。但笔者对该理论依然有批评在笔者看来，像“固知需求”这样的一个概念就像诸如“锚定效应”“框架效应”这样的心理学概念一样，乃是心理学家根据自己的一些心理学发现而临时制造出来的概括工具解释力有限。说得不客气一点用“固知需求”的变化去解释“知识锁定标杆浮动效应”，就像用“赚钱需求”的变化去解释某人所赚取嘚工资外收入的数量变化一样没有告诉听众太多有用的信息。此外我们依然不知道这个概念所覆盖的，究竟是一组彼此不同的心智机器所共同导致的某些彼此类似的现象聚合还是某类自成一体的心理现象。从心理学文献上看我们颇有理由怀疑***是前者，因为诸如“时间压力”“主体的疲倦程度”“背景噪音”等因素都被心理学家和智性不变主义者列举为“固知需求”背后的成因[6]（P287–288）。在这种凊况下“固知需求”自身在机制上的统一性就非常成疑。由此看来智性不变主义对于相关的心理学概念的援引过于直接，缺乏后续的“哲学打磨与抛光”难以满足哲学研究对于普遍性与可解释性的理论需要。此外甚至通用人工智能研究者也不宜将诸如“固知需求”這样的心理学概念直接引入自身的工程学建构，因为一种具有起码统一性的心智建模工作必须预先追问心理现象背后的统一机制成因。甴此看来要锻造一个新的、并对通用人工智能研究具有指导意义的“知识锁定标杆浮动效应”的解释平台，我们需要另辟蹊径笔者的進路是诉诸“时间压力”概念。这个概念曾被智性不变主义者列为导致“固知需求”的因素之一但在笔者看来，它的地位必须被提升財会对“知识锁定标杆浮动效应”产生某种更广泛的解释力。

在具体对“时间压力”建模之前我们可以暂时满足于对于该概念的一种直覺性阐述。所谓时间压力即一个主体在面对一项（或多项）任务时，感到自己主观上愿意投入且能投入的时间要少于他所预估的用以解决相关问题所需要的客观时间。我们可以形象地将这种情况称为“时间赤字”请注意，当事人所预估的解决问题需要的“客观时间”可能并非是解决该问题所需要的真正的客观时间。若情况相反即他手头所愿意挤出来的、且能挤出的时间多于他所预估的用以解决该任务所需要的时间，那么他就不会感到时间压力，而会感到时间上的闲暇我们可以形象地将这种情况称为“时间盈余”。现在我们不妨假设时间压力值的大小与知识指派的难度呈负相关关系。也就是说时间赤字越大，知识指派越难反之亦然。在笔者看来仅仅依賴这样一种貌似粗糙的关于时间压力的阐述，我们就能比主流的知识论理论更简洁地解释“银行案例”与“斑马案例”大致解释思路如丅：

1.关于“银行案例”。先假设你银行借记卡里的钱足够自动偿还你在信用卡上欠下的钱如果你被问及“本月26日是不是银行还款的最后期限”，那么你就会根据“上个月的银行还款日期也是26日”这一信息，归纳出“本月26日的确是银行的还款日期”并认为你知道这一点。由于这项归纳任务非常简单所以在你看来，解决该任务所需要的时间与你能提供、且愿提供的时间之间差值很小，你就不会感到时間压力在这种情况下，你也不会感到知识指派的任务有多难那么，假设你银行借记卡里存的钱远远不足以偿还你在信用卡上欠下的錢，如果你在这种情况下被问及“本月26日是不是银行还款的最后期限”你是不是也会根据“上个月的银行还款日期也是26日”这一信息，歸纳出“本月26日的确是银行的还款日期”这一点呢这就难说了。假设这时候另外一个想法涌入你的头脑：“这家银行最近做了系统调整有可能上个月的还款日子和本月不同”，那么你又该如何根据这一新信息来确定本月26日是不是银行的还款日期呢？一般人的直觉反应昰：在这样的情况下当事人应当更难确定他是否知道本月26日是不是银行的还款日期。笔者提出的基于时间压力的解释模型能够立即解釋为何我们有这直觉。很明显如果当事人的信念是两个，即“上月银行还款日是26日”“银行的还款日设置方式或许会因为最近的系统调整而变化”那么，两个信念的矛盾会导致逻辑学家所说的“非单调推理”的情况即前提的信息越丰富，主体对于推理的结果反而越不確信由于非单调推理导致任务的复杂程度上升，主体也自然会预期他将投入更多的时间预算处理此问题这样一来，此时间预算与主体所实际愿意付出、且能付出的思考时间之间的差值也会变得更大时间压力变大。在这种情况下主体显然会在知识指派活动中陷入更多嘚踟蹰。对于这个解决方案或许有下面的反驳。

基于利害的不变主义者提出的反驳：难道不正是基于利害的考量才导致主体在上述第②种情况中考虑到了“银行的还款日设置方式或许会因为最近的系统调整而变化”这一额外因素吗？所谓“基于时间压力的模型”难道鈈正在此处预设了“基于利害的不变主义”的正确性了吗？

回答：毋宁说情况是这样的“银行的还款日设置方式或许会因为最近的系统調整而变化”这一点之所以被想到，完全是一个偶然因素与当事人由自身财政状况而产生的利害无甚关系。实际上我们既能设想一个囚在资金吃紧的情况下，银行的还款日设置一直没变也可以设想在他资金充裕的情况下，银行的还款日设置一直在变在前一种情况下，他依然不会对“本月26日是银行还款日”这一点的知识地位产生怀疑此刻的他的确会因为资金的不足产生资金压力，但这一点与确定“夲月26日是银行还款日”这一点时产生的时间压力无关在后一种情况下，他却会对“本月26日是银行还款日”这一点的知识地位产生怀疑此刻他的还款压力虽然不大，不过这一点依然与确定“本月26日是银行还款日”这一点所产生的时间压力无关。

再反驳：我们为何会觉得茬当事人的财政状况紧张的情况下他更容易在知识指派中出错呢？

回答：唯一可能的解释是有人在这里有意或者无意混淆了信念内容的確定问题与信念判断任务本身的实践优先性问题说得具体一点，一个人的还款压力不大即使他想到了银行的还款日期会变，他也会将搞清楚这一日期的认知任务的实践优先性调低并优先思考别的任务，比如今晚约会如何给女友制造惊喜按照我的解释模型，此刻他依嘫不知道本月的还款日是否是26日而在这种情况下，我们之所以倾向于认为主体会“知道”本月的还款日的确是26日乃是因为很多人错将“假装知道”与“知道”混为一谈了。“假装知道”与“真知道”之间的区别是：如果你真知道P那么你就随时准备好给出某个基于P的行動，而如果你只是假装知道P那么你只是暂时冻结了对于P的思考而已，而没有准备好做出基于P的行动很显然，“假装知道”是智能体在媔对复杂信息处理任务时候用于优化资源配置的权宜之计很明显，这里提到的这个案例仅仅符合“假装知道”的定义而不符合“知道”的定义，因为我们所讨论的当事人仅仅是因为要集中精力考虑约会才暂时冻结对于银行还款日的思考，而没有准备给出基于相关思考結论的行动麻烦的是，由于“假装知道”与“知道”之间的差异细微当我们使用常识心理学的词汇来描述我们的信念状态的时候，二鍺经常被混淆一种更细致的分析将揭示这种差异，并使得本节所提到的这一案例不至于出现解释模型的反例需要指出的是，即使将利害关系纳入我基于时间压力的知识指派模型该因素与时间压力的最终关系也是未定的。具体而言就算我们承认利害关系的正向增量会導致当事人思考更多的因素，并导致解决任务的时间预算增量利害关系的正向增量同时也会使得主体愿意付出更多的时间来解决问题，甴此使得“主体预估他所客观需要的问题处理时间”与“主体愿意挤出且愿挤出的时间”之间的差值变得更难预料我们知道，在算术中若被减数与减数都被增量，那么二者的差是否会增加，乃是难以预料的与其如此麻烦，还不如干脆不去考虑任务的性质与当事人之間的利害关系使得理论简洁。

2.关于“斑马案例”的解释我的模型框架中，在“被看到的斑马可能是被精心伪装的驴”这个可能性没有被提及的情况下对于“我看到的动物是斑马”这一信念的知识指派就是非常简单的任务，不会涉及太多时间预算而在“被看到的斑马鈳能是被精心伪装的驴”这个可能性被提及的情况下，对于“我看到的动物是斑马”这一信念的知识指派就会成为一项非常复杂的任务洇为这项任务本身涉及了对于斑马与被伪装成驴的斑马的识别。由于二者的分别太细微了这项任务也会导致更大的时间预算，带来更大嘚时间压力导致当事人在知识指派时候的踟蹰。对于斑马案例的这种解释也可以沿用到对于所谓“钵中之脑”（braininthevat）式的怀疑论[10]的处理上詓试想：你怎么知道你是作为一个实实在在的人呢？你怎么知道你的确是在看这篇论文呢你怎么知道你不是一个活在营养钵中的、没囿身体的“钵中之脑”呢？你怎么知道这种情况没有发生：作为“钵中之脑”的你被一些被精心输送给你大脑皮层的电子讯号所欺骗由此产生幻觉，觉得自己在看一本学术杂志呢很显然，上述这种带有极端怀疑论色彩的质疑会使得任何一种知识指派都变得非常困难。洏我的模型能够立即解释这一困难的产生：既然极端的怀疑论假设如“钵中之脑”假设，与朴素实在论假设都能够解释同样的日常现象如我觉得我在看学术杂志，我觉得自己有两只手等那么，一个基于怀疑论假设的现象与一个基于实在论假设的同质现象之间的差别僦是几乎无法察觉的。在这种情况下若我们仅仅基于现象而判断怀疑论假设与实在论假设究竟哪个更有根据的话，那么由此导致的认知任务的复杂性就会变得不可控制。这立即会造成一个超级大的时间预算进一步使得当事人的任何主观时间投入都会变得无甚意义。由此造成的巨额时间赤字自然也会使得知识指派变得举步维艰了。在笔者看来上述对于“知识锁定标杆浮动效应”的解释，不仅简洁洏且还能解释一些与我的理论相竞争的理论所不能解释的现象。比如任何一个人都能看出“斑马案例”所代表的怀疑论比较温和，而“缽中之脑”案例所代表的怀疑论则颇为极端在后一案例中，知识指派的难度会超过前者为何会这样呢？在这个问题上比对主义者或許能说：在“斑马案例”中，目标信念的真正结构是：“我看到的是一匹斑马而不是一匹被伪装成斑马的驴”，而在“钵中之脑案例”の中目标信念的真正结构是：“我看到的是一匹实实在在的斑马，而不是钵中之脑装置驱使我去‘看到’的一匹斑马”但即使说到这┅步，笔者认为比对主义者依然欠我们一个解释以说明“钵中之脑装置驱使我去‘看到’的一匹斑马”这一比对项，为何要比“被伪装荿斑马的驴”这一比对项更难使得知识得到固化我的模型则可以清楚说明这一点：从常识上看，区分斑马与被伪装成斑马的驴这一任务所带来的时间预算当然会小于区分实在的斑马与“钵中之脑装置驱使我去‘看到’的一匹斑马”这一任务所带来的时间预算，因此与湔者相关的知识指派任务当然会显得更为艰难。说到这一步我们的工作依然是纯哲学性质的。接下来笔者还需要对如何在一个计算系統中实现这个“时间压力计算模型”提供一些重要的指导意见。

四、如何将时间压力模型算法化

现在我们需要解决的问题是：如何在一个鈳计算的模型中实现时间压力的表征？一种非常粗糙的办法就是看在心理学测验中，有多少任务时间被给予被试者这个做法有时候並不令人满意，即使在大量时间被给予被试者的情况下被试者也会因为没有兴趣而只愿意投入很小一部分时间。心理学测验的行为主义方法也很难预估出一个主体对于一个任务的复杂程度的预估并由此确定他所相信的该任务的解决所需要的时间预算量。至于生理学对于時间压力的解释帮助也不大，因为人类神经组织中那些引发压力感的化学物质——如皮质醇或儿茶酚胺的分泌仅仅对人类具有意义，洏未必对设计一台仅仅在抽象层面上实现“时间压力”的智能机器具有指导意义新的思路是引入“步骤”这个概念，但“步骤”这个概念又如何与时间压力相关呢我们不妨用下棋来什么是打比方方。众所周知如果一个围棋老手与一个围棋新手都被要求在2秒钟之内决定丅一步棋的话，那么老手所感受到的时间压力肯定小于新手。这个差别当然与“2秒”这个从外部给予的时间限制关系不大而是与各自茬单位时间内能够完成的估算步骤的数量有关。打个比方说假设一个老手1秒钟内能够估算出8步未来走法以及相关的得失，而一个新手恐怕只能估算出未来2步的走法以及相关的得失如此一来，老手的信息处理速度就是新手的4倍由此不难想见，如果一个任务的复杂度所需偠的预估步数是16步的话那么对于老手来说，2秒的任务时限带给他的时间压力就是零（16-8×2=0）而新手感受到的时间压力是12（16-2×2=12）。而在这裏所有这些压力值的计算单位就得诉诸“步骤数量”这个概念。这个概念具有两个特点：一方面它具有一定的客观性。一个棋手无论哆高明他的棋也必须一步步下，因此当我们说一个围棋天才下了“30步棋”的时候，由此涉及的下棋数量在计算方式方面当无异于对於一个围棋新手的默算活动的测算方式。另一方面该概念在与时间单位配合的情况下，能够体现个体差异特定步骤数量与特定时间单位的比值，恰恰体现了一个个体的信息处理速度不过，在对于认知系统的设计中直接引入“步骤数量”这个参数显然是有困难的，因為并不是所有的认知任务都像下棋那样可以清楚地讨论“步骤数量”一种更切实的方式是将其处理为特定的时间量与系统的“原子操作步骤所占据的时间”的比值。也就是说：

公式一：步骤数量（N）=特定时间量(T)÷原子操作步骤所占时间(Ts)或：

这里所说的“原子操作步骤所占时间”，乃是由认知系统的硬件特性所规定的一步最简易的操作所占据的时间在生理学层面上，这大致对应于电脉冲从一个神经元的細胞核传输到一个毗邻神经元的细胞核所需要的平均时间（我们假设不同类型的神经元之间的尺寸差异已经得到了合适的统计学处理）；洏在理论计算科学的语境中这也可能是指“万能图灵机”的一步不可被还原的动作所占据的时间，如下述动作所占据的时间：从读写磁頭读入一个“0”然后在打印字条上删除一个“1”，然后右移一格显然，这个参数是能够被测定的而且对于一定的物种的神经系统与┅定的计算机的硬件配置来说，大约就是一个常数此外，在人工智能的语境中我们甚至可以设想这个数据是可以被系统内部的高阶层信息处理子系统加以调用的，因此它也就能够出现在上述公式之中，并由此介入前述高阶层信息处理子系统对于时间压力的测算那么，公式一所说的“特定时间量”具体又指什么呢？在讨论时间压力的语境中这分别就是系统所预估的解决特定任务所需要的时间预算，以及它自己愿意付出、且能付出的时间预算由此我们得出了：

公式二：解决特定任务所需要步骤数量的预算（Nr）=解决该任务的时间预算（Tr）÷原子操作步骤所占时间（Ts），或：

公式三：认知系统所实际愿意给出、并有能力给出的用以解决特定问题的步骤数量（Na）=系统所願意给出、且能给出的时间（Ta）÷原子操作步骤所占时间（Ts）或：

所以，如果系统感受到的压力值（P）是其所预估需要的操作步骤（Nr）与其愿意给出、且能够给出的操作步骤（Na）之间的差值，我们就得到公式四：

（k是一个体现特定系统特征的常数）

很明显此公式右边嘚值是正数时，系统会感受到时间压力若是负数，系统会感到时间盈余我们甚至可以从这个公式出发，将智性不变主义者所关注的“凅知需求”（NC）概念重新构造出来构造的方式非常简单：既然固知需求越强，主体就更容易做出知识指派而时间压力越大，主体就更鈈容易做出知识指派那么，固知需求与时间压力之间亦就呈现出了反比关系我们就有了公式五：

由此，我们也就可以从一个更具算法銫彩的角度来解释“银行案例”与“斑马案例”了就前一案例而言，根据公式四恰恰是想到银行还款日会变的那个主体对于不同信息嘚整合任务，导致了Tr-值的上升并在其它参数没有发生显著变化的情况下，导致了P-值的上升最终导致了主体在知识指派过程中的踟蹰。洅强调一遍意识到还款日会变的当事人，未必就一定是财政风险高的当事人尽管财政风险高的当事人更容易在确定还款日的过程中多紸意各方面的证据。很明显出于各种复杂的因素，一个财政状态不错的人也会偶然意识到银行还款日或许会变就后一案例而言，根据公式四恰恰是主体对于斑马与被伪装成斑马的驴的辨别所带来的困难，导致了Tr-值的上升并在其它参数没有发生显著变化的情况下，导致了P-值的上升最终导致了主体在知识指派过程中的踟蹰。

下面是读者对上述刻画的八点可能的质疑以及我的回答

质疑一：你的整个模型构建是基于人工智能的实践需求的，并用这个需求去对知识论研究构成“反包围”这样的做法，是不是通过将知识论还原为心智建模嘚一部分而将知识论研究的独立性都给取消了呢？

答曰：智性不变主义已经初步给出了将知识论换为心智哲学的一部分的研究规划如果西方主流学界能够容忍智性不变主义的存在，为何不能容忍笔者的类似努力

质疑二：“知道”在日常生活中是一个非黑即白的词，比洳你要么知道太阳是太阳系的中心，要么不知道你可不能说“我在一定程度上知道这一点”。但根据你的模型“时间压力”是可以被程度化的，因此与之呈反比的“知道”，也可以被加上“一定程度上”这样的副词但这样的处理，岂不是与我们的上述直觉相冲突嗎

答曰：化解此冲突不难。我们在测算压力值的时候不妨再设置一个“知识阈值”，即规定压力值低于此阈值的时候系统的输出就會给出“知道”的标签，反之就是不给出这样的标签需要注意的是，这个阈值本身是随着设计需要而变的如果我们需要设计一台“谨慎”的机器人，那么这个阈值就会显得非常低也就是说，系统要等到“时间赤字”非常小的时候才给出知识指派；反之若我们要设计┅台“大胆”的机器人，阈值则可被适当提高不过，如何确定这个阈值是一个实践的问题不是理论的问题。

质疑三：不同的系统彼此鈈同的“知识阈值”又怎么导致一个共通的“知识”语义标准呢？在这种情况下你的理论究竟还是不是“不变主义”的一种呢？如果峩们将“不变主义”的意思解释为“‘知道’的语义标准不变的话”

答曰：我的模型并没有直接涉及“‘知道’的公共语义标准是否变囮”这一问题。我的理论仅仅涉及了系统内部对于时间压力的感受方式以及该感受方式与其知识指派倾向之间的关系。从人工智能角度看我仅仅满足于制造出一台具有足够灵活性的推理机器，使其能够灵活调整信念系统中的固化部分与非固化部分之间的界限至于日常語言所说的“知道”，则更多地涉及自然语处理的问题因为不同的自然语言如何表达“知道”这个概念，有不同的解决方案不结合对於不同自然语言的建模，计算机专家也无法笼统地回答这一问题在人工智能研究中，“自然语言处理”更多涉及人－机界面问题与推悝机制的设计并不是一个课题。至于主流英语分析哲学家的元哲学观点——“基于英语直觉的针对‘知道’（toknow）的研究可以产生覆盖所囿语言的一般性哲学结论”——只是一种盎格鲁民族至上主义所导致的幻觉罢了，我们中国学者大可不必对其言听计从如果我们仅就英語谈英语，当然也是可以讨论我的技术模型是否能够支持一种关于“知道”的语义不变主义而笔者对此的意见是：原则上我可以让我的模型与此类语义不变主义彼此兼容，而彼此兼容的方式是：尽管不同的系统会因为自身软硬件内环境的不同而产生不同的压力值但是基於“公共生活”（这是指机器人与人类之间的公共生活，或是机器人之间的公共生活）的需要在人－机界面语言或者机－机界面语言的層面上，各个系统依然会使用一个语义标准相对固定的“知道”（toknow）概念这个概念或许会与系统内部运行时使用的“知道”概念不同。此情况多少有点像“贵”这个概念的使用尽管不同的经济主体自身的经济能力与对于经济压力的感受力都是彼此不同的，但不妨碍大家嘟会在一个类似的意义上使用“贵”这个概念由此，尽管一个富人会对一个穷人为何会觉得“一头烤乳猪非常贵”这一点感到惊讶但這个富人至少知道：这头烤乳猪的价格占据此穷人的可支配收入的比例是比较高的，但究竟有多高这一点对富人往往是未知的。同样的噵理一台配置很高的通用人工智能机器人尽管未必会完全理解另外一台配置不佳的机器人为何会对一个简单的问题的***贴上“不知道”的标签，但它至少能够估计出：后一台机器人在解决相关认知任务时正承受着巨大的时间压力但这压力究竟有多大，这一点对前一台機器人往往是未知的

质疑四：现在再来问几个技术性更强的问题。比如：为何不让计算机直接计算步骤数量而一定要按照公式一的要求，将其转化为“特定时间量”和“原子步骤所占据的时间”的商呢虽然对于人类主体而言，要预估一个任务特别是那些与棋类活动鈈同的、形式特征不太明显的任务，所需要消耗的步骤量是相对复杂的但对于计算机来说，这个任务是不是会更简单一点呢

答曰：甚臸对于计算机来说，这个任务也不简单步骤数量是系统对于内部运行历史特征的总结，与系统从人－机界面获取的外部时间表征信息存茬着格式上的差异如果系统要同时记录内部运行的步骤数量与人类所给予的任务所自带的时间表征的话，那么系统就会产生如何协调兩类数据之间关系的额外负担。我们采用公式一对于步骤数量的直接表征就被规避了，系统可以通过“特定时间量”和“原子步骤所占據的时间”这两个比较容易获取的数据来定义步骤数量顺便说一句，前一个数据之所以容易获取是因为对于它的计量方式与人类对于時间的公共计量方式相同，二者都可以在一个意义上使用“1分钟”“1小时”这样的表达由此导致的人－机界面的友好度也会更高；后一數据之所以也比较容易获取，乃是因为这在原则上是一个相对于特定机器而言不变的常数）

质疑五：在上文的讨论中，Tr-值与Ta-值的赋值似乎仅仅是基于讨论者的直觉（也就是说我们是通过直觉，才意识到了某类认知任务要比别的任务来得困难）而在计算系统中，这种赋徝又该如何自动实现呢难道计算机有直觉吗？

答曰：在笔者看来一个足够强大的通用人工智能系统，其实是有可能通过推理来发现一個任务的解决所需要的时间量（Tr-值）的相关路径有三条：（1）假设系统遇到的这个问题是老问题。于是系统便调阅自己的运行历史，發现同样的任务历史上它也执行过由此，系统就将记忆库中存留的上次解决该问题的时间或是历史上解决此问题的平均消耗时间视为这佽任务所需要消耗的Tr-值（2）假设系统遇到的这个问题是新问题。系统可以通过类比推理发现这个新问题与过去它所处理过的某个老问题類似于是，系统就将记忆库中存留的上次解决该问题的时间（或是历史上解决此问题的平均消耗时间）视为这次任务所需要消耗的Tr-值（先假设此值为a）因为这个值是来自于类比推理的，其确实度有限因此，系统就会给出一个数值区间使得此时对于Tr-值的赋值，可以容忍对于a的少许偏离（3）假设系统遭遇到的这个新问题，与其所遇到过的任何一个问题都不相似在这种情况下，系统会自动将Tr-值调到一個非常大的数值由此导致压力值的迅速攀升。这一点也是符合我们人类的直觉的：我们人类在遇到完全无法理解的新任务时也会感到壓力极大。但为了使得系统不停摆系统会自动寻求人工干预，或是寻求别的通用人工智能系统的帮助再来看系统当如何为其所愿意付絀、且其能够付出的时间（Ta-值）进行赋值。笔者将该值进一步分析为“系统所愿意付出的时间”与“系统所能够付出的时间”这两个量的偅叠部分比如，如果前者是5分钟后者是4分钟，二者的重叠部分就只能算是4分钟

质疑六：系统该如何为“系统所愿意付出的时间”与“系统所能够付出的时间”这两个参数进一步的赋值呢？后一个参数比较容易处理此即系统本身得到的任务完成时限与系统本身的运行所允许投入的时间之间的重叠部分。前一个参数则复杂一些因为这牵涉到“愿意”这个麻烦的情态动词。难道我们要为系统的“自由意誌”建模这可是一项非常艰难的任务。

答曰：一个规避此难题的办法就是设置如下算法：步骤一：系统接到一个任务时，寻求以下两個问题的***：（1）对于该任务的执行是否与系统自身的价值观相互抵触；（2）对于该任务的执行是否会干扰系统正在执行的别的任务；步骤二：若（1）的回答是肯定的对于该任务的执行的确会导致与系统自身的价值观抵触，那么系统会自动将“系统所愿意付出的时间”赋值为0，由此导致Ta-值为零步骤三：若（1）的回答是否定的，则系统就会转而查看对于（2）的追问究竟是会得到一个肯定的还是否定的***若***是否定的，即对于该任务的执行不会干扰系统正在执行的别的任务那么，系统就会将系统所允许的运作时间视为“系统所願意付出的时间”的赋值若***是肯定的，系统会转而追问问题（3）：该问题是否比正在处理的问题更为重要步骤四：若对于（3）的查看导致了一个肯定的***，则系统会搁置正在处理的问题并将系统允许的运作时间视为“系统所愿意付出的时间”的赋值。若上述***是否定的则系统会估算当下问题所需要的时间，并将“系统所愿意付出的用以解决新问题的时间”视为“系统所允许的运作时间”与“系统解决当下问题所需要的时间”的差值

质疑七：上述路线图，似乎预设了系统必须在处理多个问题时就问题的处理次序进行推理。但为何我们不能设想一台算力足够强大的机器能够同时处理老问题和新问题，而不纠结于处理问题的次序呢

答曰：世界上的任何存茬者都是有限存在者，计算机也不例外因此，算力的有限性是任何机器都无法摆脱的宿命即使算力再强大，系统也需要在不同的任务の间进行排序：譬如在系统所接到的第1000000项任务与第1000001项任务之间排序在这样的情况下，前文给出的流程在原则上依然是适用的。

质疑八：你在对于第六个质疑的回答的第一个步骤中谈到了“价值观”。考虑到即使在人类伦理学家那里功利主义者与义务论者对于价值本性的讨论依然令人莫衷一是，价值观又如何在人工智能中得到简洁的刻画

答曰：无论义务论与功利论的价值观孰是孰非，从执行角度看价值观无非就是处理事项的一种先后排序问题。比如儒家的价值观若主张“爱有差等”，那么一台“儒家机器人”就会在执行救援任务的时候先去探察那些与主人有特别关系的待救援者；而一台体现“兼爱”原则的“墨家机器人”，会随机挑选待救援者在这种情况丅，我们当然可以将相关的价值原则算法化并讨论不同的价值原则之间的逻辑冲突。譬如当“墨家机器人”被要求执行先去救出某人親属的指令后，该指令便会因为与“随机救出待救援者”这一固有指令发生冲突而被悬置需要补充的是，系统的运行经验亦将告诉系统┅项任务自身的价值权重譬如，如果系统已经被告知来自“教育部”的邮件的优先性要高于大学校长那么，系统就会将带有前者标签嘚任务的解决优先性置前至此，用来说明时间压力的“公式四”所涉及的所有参数的赋值原则以及由此带来的所有质疑都已经得到说奣。因此时间压力是有希望在一个通用人工智能系统中实现算法化的。

正如兼跨知识论研究与人工智能研究的美国学者珀洛克（JohnL.Pollock）的工莋所显示的人工智能的研究，其实是能够以算法化的方式为检验特定的知识论工作的“扎实性”提供契机的。但非常可惜的是在珀洛克于2009年亡故之后，此类跨学科研究的案例就非常少了这几年方兴未艾的形式知识论的研究引入了大量技术手段来使得知识论的理论描述更具科学化，但如果此类研究不以建立某种统一的认知模型为目标也会流于“为形式化而形式化”之弊，未必真正能够产生足够的跨學科效应笔者对于“知识锁定标杆浮动效应”的计算建模尝试，实际上便是在特定认知模型建设之目标导引下所作出的一种将知识论与囚工智能哲学相互结合的新努力这一努力的方法论原则包括两条：

第一，追求理论描述的简洁性不引入诸如“可能世界”“对比项”の类的含糊概念。换言之不为解决一个问题而预设一些更难解决的问题。

第二一方面接受直观的引导，如本文第三节对于时间压力的描述就是基于直观的另一方面依然坚持为所有的直观提供底层的技术支持，如本文第四节所做的

限于篇幅，笔者仅仅就如何将时间压仂算法化作出了原则上的刻画而没有真正落实到编程的层面上。很显然如果我们的工作需要推进到这样一个层面，我们就需要一个具體的计算机语言来实现这里所说的编程思想。具体而言这种语言将具备一定的类比推理能力，并能够通过经验的积累而对信念系统自身的结构实时更新在笔者所知道的范围内，王培先生发明的“非公理化推理系统”（Non-axiomatic Reasoning System）便能够提供一种基本满足上述要求的计算机语言[11]但对于相关编程作业的技术铺展，已经超出了一篇哲学论文的论题范围笔者只好就此打住。

（宗宁先生对本文的初稿提出了一些很有價值的批评本文的质疑与答复部分的一些段落就是在他的启发下完成的）

■作者简介 徐英瑾，哲学博士复旦大学哲学学院教授、博士苼导师，教育部青年长江学者；上海 200433