博文

两大类形式化方略及其蕴含的三大类理论模型及其应用

已有 1437 次阅读 2018-10-31 12:15 |个人分类:学术研究|系统分类:人物纪事| 理论, 工程, 应用

冯志伟等这本《自然语言处理综论》的汇编是该领域的一次系统回顾。整个都属于第一大类形式化方略（含语言工程、知识工程和软件工程三大工程）；
   邹晓辉的工程融智学结合应用融智学分别从第二大类形式化方略即言识软硬形式化系统工程与其相配套的教管学用社会化系统工程结合的方略开辟了一个与ASCII标准等价（兼容）且超越（一方面做到了更低层，另一方面又做到了最顶层）的Z-ASCII形式化标准（信息产业原来的底层技术标准是英美的因此在学术交流的LeTeX和人机交互以及编程的ASCII及Unicode与各类OS及MIS和CAD及CAI等等统统都是基于英美信息处理标准建构的）。这对母语是英语以及拼音字母为小字符语言文字是方便的，但是对汉语及中文大字符语言文字是不便的（除非放弃中文改用英文，否则，必然低效率，尤其是在第一大类形式化方略主导的情况下，母语是中文就只能做学生充其量只是老学生，而且还是很幸苦且效率低很多很多倍的学生）。
   这种情形从计算机诞生至今就一直存在着（没有人从根本上改变过）。
   难道就没有新途径或新方略可供我们采用吗？
   邹晓辉的理论融智学研究发现：有（就是工程融智学和应用融智学共同发明的文化基因系统工程）。
   这就是邹晓辉持之以恒几十年获得的有益结果（开始他自己也不敢相信，直到一步一步验证，且已经可让越来越多的师生们渐渐明白之后，才信了：这原来就是语言学创立者索绪尔说语言是棋、语言哲学家维特根斯坦说语言是游戏以及海德格尔说语言是存在之家。原来的直觉里面现在也都有了科学依据：2012年邹晓辉曾在UC Berkeley语言教师讲堂上展示了自己怎样从语言与言语，再进一步区分了言和语。从那一刻，一个里程碑诞生了：它由宏观的类和微观的例两方面的理论模型及其配套的实用范例，实实在在地呈现了出来。
   于是，中美塞尔研究中心也就在2012年成立了。
   中观的双语模型（颠覆金字塔模型的蝴蝶模型）继承、发扬和扬弃了韦弗的中介语假设。
   随后6年一系列的实践证明：这三个模型是有效的。
   宏观、中观和微观三个理论模型都已经有无数的实际例证与之结合成了实实在在的Smart System。