AI研习丨人工智能:从概念到落地
到现在为止,人工智能的基本实现路径就三条,即行为主义、连接主义和符号主义。符号主义说实现指名功能就足够了,连接主义说实现指心功能就足够了,行为主义说实现指物功能就足够了。为什么这些主义都假设实现概念的一个功能就足够了?原因就在于,三个主义提出的年代里,都假设概念存在经典表示。如果所有的概念存在经典表示,概念的三个功能确实等价。在这种假设下,实现一个功能,也就等于实现其他的两个功能。这样沿任何一条路径实现人工智能,等于其他两条路径也都实现了。现实生活中也经常采取措施保证三指等价,比如政府、学校、法律、警察、军队、监狱等的初心都是用来保证三指等价的。
概念的经典表示有六个预设,一是概念存在外延表示,且用经典集合论表示;二是概念存在内涵表示,且用命体表示;三是概念存在概念名表示,且用语言表示;四是概念的内涵表示和外延表示同名;五是概念存在同一表示,即同一概念的表示与个体无关;六是概念的内涵表示和外延表示用来指称对象时,功能完全等价。
在现实生活中,这些预设不一定正确。比如,概念的指名指物这些功能不一定等价。有一个段子,说“手头有一个亿,我们要赶紧去投资,不然就洗手不干了。”一般来说,手头一个亿是真的有一个亿,段子里就只是指名非指物;只是在指头上写了“一个亿”这三个字而已,洗手不干了也真的是洗手,一洗手这三个字就真没了。段子就是充分利用了概念的指名、指物不等价,如果等价了这个笑话也就不好笑了。另外一个例子,西方绘画史上有一幅著名的画作,画面上画一只大大的烟斗,同时用法文大字题注“这不是一个烟斗”,这幅画也是利用了概念指名、指物不等价的一个著名例子,画里的烟斗在符号世界里是一个烟斗,属于相似符号,不是物理世界(真实世界)的真正烟斗,这个烟斗不能用来抽烟,但它确实在符号世界里是一个烟斗。当概念的三指等价,又怎么能说这不是一个烟斗?当三指不等价时,它真的就不是一个烟斗,只是烟斗的画像。我们以前说到美术走向时,只有三者等价才有所谓的写实,如果三者根本不等价写实就没有意义了,因为再写实也不实。所以美术界有很多奇怪的作品,从概念具有三指功能方面就可以很容易理解。
概念的表示理论有很多进展。
在概念外延表示方面,隶属度从经典的非0即1,发展到模糊集理论、粗糙集理论等。
在概念的内涵表示方面,维特根斯坦对于概念有所谓的命题表示,提出了严重的质疑。通过深入分析游戏这个概念,彻底否决了游戏能用一个命题表示这一想法,明确指出概念不一定有命题表示。更详细的分析,可以参考1953年出版的《哲学研究》这本书。经过了25年的反思之后,人们认可了维特根斯坦的观点:概念到底有没有命题表示需要具体研究,但概念没有命题表示也并不表示概念没有内涵表示,1978年以来人们提出了概念原型理论、概念样例理论等。到现在为止,概念的内涵表示理论一直在发展。
在概念名方面,概念名也不一定存在。维特根斯坦在《逻辑哲学论》里说:“确实有不能讲述的东西”;哲学上还有一本名著《个人知识》,里面说到有默会知识和隐性知识,有些虽然说不出来,但是并不是不会。
在概念内外同名方面,假设概念的外延表示和内延表示同名,也与实际不符。西方社会心理学的研究表明:日常生活中成人日均说一次谎。在中国历史上也有一个《指鹿为马》的故事,心里知道它是鹿,但就说是马。显然内涵表示与外延表示不一定同名。
在概念的唯一表示方面,涉身认知科学已经指出,大多概念依赖于个人的自身感知条件,不可能与他人一致。比如一个数字,由于站在不同的点上,有的人看到的是6,有的人看到的是9。
在概念的指称等价方面,概念经典表示要求内涵表示与其外延表示在指称对象时功能等价。在现实生活中,这一要求大多时候成立,也不是没有理论支持,比如《如何以言行事》里说到“我们的话就是我们的契约”,王阳明的知行合一等。但是,知行分离的情形并不少见,双标的行为是很多的。
综上所述,现实生活中概念的三指功能并不一定等价。如果三指不等价非常少,就可以个案处理。可惜的是,三指不等价虽然远远不如三指等价常见,却不能个案处理。在非自然科学的范围之内,如何处理三等不等价的情形至关重要。下面举例说明。
哲学上,并不总是假设三指等价。奥斯汀《如何以言行事》论述了语言与行事之间的关系,即指名与指物的关系,说的就是言行不一定等价。有时言即行,行即言;有时言非行,行非言,指名和指物有非常复杂的关系。《公孙龙子》中《指物篇》也区别了指名与指物的区别,“物莫非指而指非指”。
军事上,《孙子》中开篇就说到“兵者,诡道也。故能示之不能,用而示之不用,近而示之远,远而示之近。”军事上是很难相信敌方三指等价,这也是空城计能成功的原因。
历史上,三指不等价的例子就更多,比如萧良自污,指鹿为马。
政治上也是一样,马基雅维里《君主论》中整整两章说到论君主应当怎样守信、怎样避开谄媚者,从这些可以看出三指明显不等价。
会计审计学也是著名的三指不等价。账实一致从来不是会计学特别是审计学的基准假设,如何保证账实一致,一直是会计学和审计学的基准课题。朱镕基就曾经说,我希望每一位国家会计学院的学生,永远都要牢记这四个大字——不做假账。
文学上也一样,很多文学形式也是三指不等价的,像穿越、玄幻、神话、童话、浪漫等类型的文学,夸张、比喻、泥人、拟物、通感等修辞也是三指不等价,这些只能在符号世界,最多是心智世界,绝对不是物理世界的事情。比如《孙悟空三打白骨精》,孙悟空、白骨精都是假的,但我们仍然看的津津有味,因为大家知道它不是物理世界的,我们能想像到这些,所谓心智世界也是人智能的表现。
三指不等价的更具体例子,也是有的,比如“空手把锄头,步行骑水牛”,在物理世界不可能,心理世界也不可能,在符号世界中却已经是现实。英文也有这种例子,比如“arodwithoutlength”,现实世界、心理世界都不可能,文字世界、符号世界里却并非孤例,所以符号世界不同于物理世界、心智世界。在符号世界里不一定都是文字,比如绘画作品也可以是符号世界;皮影戏也是符号世界。而且符号世界非常发达,发展成所谓的符号空间,比如互联网、元宇宙。越来越成熟的符号世界,与现实世界越来越失去所谓的等价性、相关性时,对人们的生活不一定全是好消息。
当概念的三指不等价时,符号主义的目标是指名正确,保证不了其指物、指心正确;连接主义的目标是指心正确,保证不了其指物、指名正确;行为主义也一样,其努力保证指物正确,保证不了指心、指名正确。
在三指等价时,人工智能至少努力不骗人;在三指不等价时,现在的人工智能有时真骗人。比如怎么样鉴别数据真假已经成为亟待解决的大问题。