自然语言理解：一个元形式系统理论.pdfVIP

自然语言理解：一个元形式系统理论 黄培红 福建省莆田市农行科技部，福建莆田 (351100) E-mail ：huangpeihong6488@ 摘 要：图灵机模型并没有限制变量或状态所代表的概念粒度大小，从而导致目前为止基于它 的形式系统往往只是局部的，系统之间也是难融合的。本文从图灵机模型局限性角度出发来重 新看待自然语言理解理论，并着重对理论所涉及的概念与公设定理及其应用背景进行解释说明。 做为语言理解理论的推论与应用，本文给出语用涵义的相关定义与公式并验证它的正确性与有 效性。 关键词：自然语言理解，元形式系统，图灵机模型，知觉 中图法分类号：TP18 文献标识码：A 么指挥它去做的任何事情。退一步说,机器也 1 图灵机模型及其局限性 只是在按照人根据知识规则写出的指令在运 形式系统由符号及其变换规则组成。通 行的。图灵反驳说，“阳光下本无新鲜事”,想 常一个程序就是一个形式系统，它先定义构 想世上的每件事,谁能肯定某个“创新”真的就 成数据结构的变量，再定义逻辑流程，然后 是“创新”吗?它们不也是经受教育（teach ）并 由逻辑流程对变量进行数学运算或形式变换 遵守众所周知的普遍原理的结果吗？虽然图 从而得到最终结果放入结果变量。可见通常 灵的反驳也不无道理，只是人类获得的知识 地程序就是由变量和有限运算指令序列组成 与机器获得的知识其方式不同，人类通过理 的在有限步可停机的形式系统。而图灵机模 解获得知识，而机器则机械地获得知识。比 型由有限状态，动作，规则表及纸带组成。 起人类，目前机器的程序运行只是符号空间 那么程序指令序列相当于图灵机规则表，图 的变换过程，其机械化过程更象是文字游戏 灵机状态相当于指令状态，动作相当于各指 [2] 。人类则把这些符号转化为意思并理解后 令，纸带相当于变量集，因此现代计算机是 进行加工处理，或获得问题的答案，或获取 图灵机模型的一个具体版本。作为现代计算 现实世界的事实及其知识规则。其差别就在 机的雏形的图灵机模型不可否认已经引发了 于，图灵机模型中,变量（或状态）的粒度可 一场世界范围的信息革命。但当人们试图把 大可小，尺寸单位可以是元素也可以大到由 计算机推广为智能机器时发现，尽管人们历 多个概念组成的复合概念。而这些概念量可 经努力花了巨资如日本的五代机计划，但比 以说是巨量的,而且往往是相互独立的，因而 起人类，目前的机器尚具有质的智能差距。 变量定义也可以说是巨量的，这意味着人类 图灵在人工智能方面的努力是他发表了 要编巨量的程序建巨量的形式系统才能适应 奠基人工智能基础的有关图灵测试的论文 现实世界的变化。 [1] 。图灵测试是说，让一个人和一台机器同 很自然地人们会问，有没有办法只建有 时去接受人类的测验，当人们无法判断哪是 限几个形式系统就能适应环境呢？办法就是 机器哪是人时，那么这台机器就具有了人的 融汇微分这些变量，建立一种能形成其他形 智能。在论文中图灵回答了一些反驳意见。 式系统的形式系统即元形式系统(meta 正如最早的程序员Ada所说，分析机并不会 formal system)，才能以不变应万变。人类就 有意图去创作什么东西,只是去做人知道怎 是一个原型。文献[3]从认知模型出发，引入 - 1 -