第2647章 学术问题，总是复杂的（2/2）

如今WuKong的立体视觉，在双CCD摄像头和激光测距模块的加持下，精度和灵敏度已经超出了棋盘和棋子位置姿态识别的需求。

脱离人工智能的配套工程，初步具备了工业应用价值。

而且，应用领域非常广。

汽车制造业，想实现零部件装配，还需要进一步迭代，但充分训练后，完全能够胜任零件分拣工作。

精密机械制造，可以应用于工件尺寸和缺陷检测。

港口和仓储，可以用于集装箱、货箱三维体积测算与箱体定位。远景看，如果有一天想实现自动化装卸作业，视觉模块也是不可或缺的关键技术。

航空航天制造领域，可以做飞机蒙皮、机翼组件装配对位和检测蒙皮褶皱、缝隙等工作。

此外，航天、水下工程和核工业等遥控和无人化工作场景，同样有需求。

借助本次AI大会拿出来展示，一方面是展示B实验的技术成果。另一方面是做性能展示，算是借机打广告。

前前后后投进去小四十万英镑，囤手里也不能当传家宝，自然要想办法卖授权回血……

12月11日，周三，大会如期召开。

八点半到九点签到登记，九点整查尔斯?R?魏斯宾开幕致辞。

九点零五到十点，由匹兹堡大学决策系统实验室联合主任，副教授哈里?E?波普尔，作标题为《ArtificialIntelligence:ProblesandIssues》“人工智能：问题与争议”的讲演。

哈里?E?波普尔只是个副教授，之所以首个登台做主题演讲，是代替他因工作未能参会的导师——诺贝尔经济学奖、图灵奖双料得主，卡内基学派AI核心传人赫伯特?西蒙上台。

毫无疑问，人工智能是分学派的，也分主流和非主流。

眼下占据主流的是“符号主义”，符号主义又分为“整洁派”和“粗野派”。

其中“整洁派”，又分卡内基学派和斯坦福逻辑学派。

卡内基学派主张人类智能和机器智能，本质都是一套符号操作系统。

想要实现智能，需要人类专家手动编写显式知识，将概念、规则和因果关系写成可读的IF…THEN…（如果…则…）的产生式规则。

代表项目为INTERNIST?1/CADUCEUS医学诊断专家系统。

斯坦福逻辑学派主张，不需要复刻人类思考方式，直接用一阶谓词逻辑描述客观世界。机器智能的核心，就是基于形式逻辑完成自动演绎证明。

代表项目有DENDRAL化学专家系统，和MY细菌感染诊断专家系统。

“粗野派”的代表是麻省理工。

核心公理为：不存在能够解释全部智能的单一、统一基础理论。现实世界充满噪声与不确定性，通用智能是大量独立专用模块拼接而成的。

简单总结一下，整洁派相信存在统一、规范的符号/逻辑理论，知识可以被规整写成显式规则。

粗野派认为真实世界无法被干净的逻辑体系完全描述，只能依靠模块化工程方案逐个解决问题。

“符号主义”之外，还有核心公理为，将知识写成Prolog逻辑子句，推理等价于逻辑程序自动求解的爱丁堡Prolog逻辑程序学派；

将主要精力，放在小规模单一任务神经网络开发，还不成体系的“连接主义”；

还有认为智能不是来自内部符号推理，而是诞生于感知-执行闭环交互的，控制论/行为主义学派。

以及，温莎B实验室开发的以LargeLanguageModel（大语言模型）……