一个维特根斯坦主义者眼中的框架问题

上传者：傅祥志
|
上传时间：2017-06-03
|
密次下载

一个维特根斯坦主义者眼中的框架问题

　　一个维特根斯坦主义者眼中的框架问题摘要:框架问题的核心命意乃是:在对智能体的行动进行表征之时，如何能够在有效地表征出行动的效果之时，避免对于其非效果的表征?对于符号主义路数的人工智能研究来说，框架问题的确非常棘手，因为它的存在使得对于行动的知识刻画必须引入大量的框架公理，并由此使得系统的计算负荷剧增。从历史上看，人工智能界赖以解决这个问题的基本路径主要有两条。第一条是诉诸于“关于惯性的常识律”或缺省逻辑，即在行动表征中预设:没有被表征式牵涉到的“世界其余部分”都将保持惯性。

　　另一条路径则采纳了海耶斯的“素朴物理学”表征方案，即试图把日常物理学知识全部用谓词逻辑公理化，让系统自动推算出哪些动作会导致哪些结果。本文将论证，这两条道路其实都走不通。在此基础上，本文将从维特根斯坦的《论确定性》中寻找灵感，建立一个关于信念网动力学模型—在这个模型中，某些知识节点的激发只会导致某些与之毗邻的节点的激发，因此，对于特定问题求解路径的表征，就能够避免对于一个更大范围内的知识网络的牵涉。框架问题也有望借助于这个模型得到解决。最后，我将利用，’j卜公理推演系统”(NARS)为这个模型提供一种尽量逼真的工程学模拟。

　　关键词:框架问题:关于惯性的常识律;素朴物理学;缺省逻辑;维特根斯坦:非公理推演系统

　　对于人工智能(AI)的知识表征工作来说，如何对智能体(agent)的动态“行动”(action)加以刻画，乃是一个大问题。在Al中，一个“行动”就是指系统对环境所要施加的一个动作，而对于它的实施，显然是为了带来系统所希望发生的某种环境变化。不难想见，对于任何一个智能体来说，它都需要预见到维特根斯坦哲学视野中的人工智能问题”的资助。致谢:感谢美国天普大学(TempleUniversity)计算机和信息科学系王培副教授在本文撰写过程中对于笔者的大量指导。

　　逻辑学研究的行动会带来怎样的“效果”(effect)，否则，它就不可能有计划地通过改变环境来达到自身的目的。于是，Al科学家就必须在设计智能系统时，设法表征出这种变化，以确定动作本身的效果。从逻辑角度看，一个行动式，就可以被表达为一个条件式的前件，而其效果，则可以被表达为该条件式的后件。因此，从表面上看来，对于“行动一效果”关系的刻画，传统的命题逻辑系统就己足用。但更为仔细的考虑将向我们揭示:事情本身绝没有这么简单。

　　很显然，一个行动的效果，无疑就对应着世界中将会被该行动改变的那部分，而不会牵涉到世界中不会被改变的那部分。比如说，我打开电脑的“重启”键固然会导致电脑重启(这当然是在一定的环境条件下)，但一般而言，却不会导致人民币对欧元汇率的变化(在这里请读者暂且不要考虑什么“蝴蝶效应”)。在常识看来，“按‘重启’键不会引起人民币对欧元汇率的变化”是一句不必说出的废话，换言之，谁要是在日常生活中将其说出，肯定会引发听众的嘲笑。但是对于以符号Al进路为基本技术依托的程序员来说，他们却似乎不得不表征出这些“废话”。下面就是一个更富技术色彩的示例。

教育资源为主的文档平台

文档分类