徐英瑾，1978年生，上海人，现为复旦大学哲学学院副教授。专长为语言哲学、心灵哲学和认知科学哲学。是“2006年全国优秀博士论文”的获得者，以及2009年“上海社科十大新人”称号的获得者。著有《维特根斯坦哲学转型期中的“现象学”之谜》(复旦大学出版社2005年12月版)，译有《心灵导论》(上海人民出版社2008年1月版)，《超越分析哲学》(浙江大学出版社2010年9月版)等。编有《科学与宗教：二十一世纪的对话——英美四名家复旦演讲集》(复旦出版社2008年11月版)等。在最近五年中，发表中英文学术论文二十余篇，其中被国际A&HCI索引收录的英文论文有三篇。

人工智能科学既是全球学界热点关注的重要学科之一，但目前国内关于人工智能科学的书籍都是从科学和工程学角度写就的，从哲学角度对于人工智能问题的关注，还相对稀少。虽有一些论文论及，但是无大部头的系统论述。这和人工智能科学自身的研究目标有关。早期的人工智能专家的研究野心是，要通过机器模拟的方式来全面复制人类心智活动。正是因为看到了哲学和人工智能之间的内在关联，现在西方已经有一门比较火热的新哲学分支，就叫“人工智能哲学”，甚至有自己的专门刊物，如“机器和心智”。但汉语哲学界对于这些问题的研究还没有全面跟进。所以本书要向读者介绍人工智能科学的基本发展历史和基本技术；介绍“人工智能哲学”这门哲学分支的大致发展情况；维氏哲学将对知识表征、自然语言理解、机器人、非单调推理等人工智能的子课题做出贡献。而本书就将负责在维氏和这些课题之间搭建桥梁。

第1篇

人工智能科学和人工智能哲学基础知识引论

第1章  人工智能核心技术面面观

1．1 人工智能学科中的传统派——符号人工智能

1．11 物理符号系统

1．12 “图灵机”概念和其概念衍生物

1．13 物理符号假设

1．14 简评“老而妙的人工智能”进路

1．2 新派人工智能之代表：“联结主义”或“人工神经元网络”进路

1．21 自然神经元的工作方式

1．22 人工神经元的数学结构

1．23 人工神经元之间的联结方式

1．24 人工神经元网络的学习规则

1．25 神经元网络技术的运用：模式识别

1．26 对于神经元网络技术的简评

1．3 遗传算法

1．4 贝叶斯网络技术

1．41 贝叶斯定理、全概率规则、链律

1．42 贝叶斯定理支配下的非单调性推理

1．43 在计算联合概论时直接使用链律所导致的实践困难

1．44 贝叶斯网络

1．45 从“司马光砸缸”看贝叶斯网络技术的局限性

第2章  人工智能科学在十七、十八世纪欧洲哲学中的思想先驱：从笛卡尔到康德

2．1 人工智能科学和十七、十八世纪欧洲哲学关系刍议

2．2 笛卡尔和莱布尼茨：机器智能的反对者

2．3 霍布斯：符号人工智能之先祖

2．4 休谟：联结主义的哲学先驱

2．5 康德：“由上而下”进路和“自下而上”进路的整合者

2．6 康德的道德哲学和阿西莫夫的“机器人三定律”

第3章  机器智能在当代所遭遇到的哲学批判：从塞尔到彭罗斯

3．1 塞尔的“汉字屋论证”，以及它为何不成立

3．11 对于“汉字屋论证”之重述

3．12 郝泽对于塞尔论证之宏观逻辑结构的两种诊断模式

3．13 丹普尔对于汉字屋论证逻辑结构的两种诊断模式

3．14 笔者对于汉字屋论证逻辑结构的第五种诊断模式

3．15 对于“汉字屋论证”的深入检讨

3．2 彭罗斯对于机器智能的批判

3．21 基于“哥德尔不完备性定理”的反机器智能证明

3．22 人工智能需要关心大脑结构的量子层面吗？

第4章  维特根斯坦和人工智能科学关系刍议

4．1 为何要请出维特根斯坦？

4．11 维特根斯坦哲学的“综合”气质

4．12 维特根斯坦对于AI技术之哲学预设的深刻领悟

4．2 维特根斯坦哲学对于AI研究三大前沿领域的指导意义

4．21 中央推理系统的构建，以及“框架问题”的可能解决方案

4．22 中央推理系统和边缘感知模块之间的关系——以机器视觉的研究为例”

4．23 统一的自然语言处理机制的设计

4．3 珊克教授关于“维特根斯坦一AI”关系的悲观论调，为何都站不住脚？

4．31 维氏本人曾说过“机器不可能思维”吗？

4．32 维氏意义上的“遵从规则”，就意味着无法以机械之方式遵从规则？

4．33 现代AI研究预设了所谓的“心理学主义”了吗？

第2篇

知识表征系统和中央信念系统的构建

第5章  《逻辑哲学论》的遗留难题(一)：“知识表征”视角中的“颜色不相容问题”

5．1 《逻辑哲学论》和“知识表征”

5．11 从“知识表征”的角度重读《逻辑哲学论》

5．12 《猡辑哲学论》的“外延主义”预设

5．2 外延主义支柱下的定时炸弹：颜色不相容问题

5．21 “颜色不相容”何以成为“问题”？

5．22 深入讨论：为何颜色不相容问题无法在外延主义框架中得到消化？

5．23 如何在一种非外延主义的框架内安顿“颜色空间”？——维氏本人的启示

5．24 如何在一种非外延主义的框架内安顿“颜色空间”？——邱琪兰德的启示

5．25 邱琪兰德带给我们的启发及教训

第6章  《逻辑哲学论》的遗留难题(二)：概然性推理和归纳推理的表征

6．1 《逻辑哲学论》论概率

6．2 《逻辑哲学论》论归纳

6．3 插曲：《逻辑哲学论》对于概率概念的日常用法的说明

6．4 《维特根斯坦之声》和《大打字稿》关于概率和归纳的四段评论以及相关的注解

6．41 “引文一”及其注读

6．42 “引文二”及其注读

6．43 “引文三”及其注读

6．44 “引文四”及其注读

第7章  处理语义相关性的新技术平台：纳思系统

7．1 一种合格的“相关性”理论所应当满足的五大标准

7．2 为何相干逻辑不相关？

7．3 为何贝叶斯进路不相关？

7．4 为何描述逻辑依然不相关？

7．5 纳思系统引论

7．6 对于“相关性证据问题”的初步解决方案

7．7 对于“相关性证据问题”的一个更为精致的解决方案

第8章  一个维特根斯坦主义者眼中的“框架问题”

8．1何 为“框架问题”？

8．2 “关于惯性的常识法则”——解决框架问题的救命稻草？

8．3 让智能系统预先获得一个关于世界的物理学结构又如何？

8．4 来自维特根斯坦的启发

8．41 G．E．摩尔对于维特根斯坦的刺激

8．42 为何摩尔的“基本常识命题”无法在形式系统中被全面地表征？

8．43 维特根斯坦对于信念网的动力学特征的描述

8．5 对于维特根斯坦哲学理想的工程学逼近

8．51 由纳思逻辑规则支持的动态语义网构建

8．52 纳思的长期记忆组织

8．53 纳思的实时任务管理

第3篇

人工视知觉模块的构建

第9章  “具身化挑战”和对视觉机制的人工模拟

9．1 回应具身化挑战的第一个模式：联结主义

9．2 回应具身化挑战的第二个模式：(非符号化的)具身化认知

9．3 澄清：具身化不可以去符号化为代价

9．4 为何选择视觉？

9．5 人工视觉研究现状简介

第10章  维特根斯坦论“视一思”关系

10．1 维特根斯坦关于视觉问题的核心论点：“感知一语义连续论”

10．2 延伸性论点(甲)：“低级知觉一高级知觉”之分，并非“无语义一有语义”之分

10．3 延伸性论点(乙)：感觉材料组织方式之“完型”特征，乃是语义推理之灵活性的体现

10．4 延伸性论点(丙)：三维视知觉对象的建立有赖于身体运动模式的参与

10．5 维特根斯坦的视觉理论和关于主动视觉的工程学研究

10．6 小结：从关于视觉的哲学讨论过渡到视觉科学

第11章  再论“视一思”关系——玛尔和派利辛的视觉理论批判

11．1 玛尔的计算视觉进路

11．11 关于视觉机制描述的三层次说

11．12 对于玛尔工作的评论

11．2 派利辛的视觉索引论

11．21 派氏断裂论和玛尔的视觉表征论，尤其是佛笃的模块论之间的关系

11．22 派利辛用以支持断裂论的五个论证

11．23 派利辛对于“纯摹状词观点”的批判和他的“视觉索引论”

11．24 对于“视觉索引论。的评论

第12章  如何在纳思系统的技术平台上，构建一种新的人工视知觉机制？

12．1 为何选择纳思系统？

12．2 纳思系统视觉系统是如何获取客体的三维形状信息的？

12．21 彼德曼的“RBc理论”

12．22 RBC理论和纳思系统技术平台的互相融合

第4篇

自然语言处理模块的构建

第13章从图灵到孔夫子

——人工智能系统的自然语言处理，及其七种哲学预设

13．1 华生或斯金纳式的行为主义

13．2 外在论的语义学

13．3 莱布尼茨的“理想语言”假说

13．4 乔姆斯基的“深层句法”假说

13．5 休谟式的统计学进路

13．6 康德式的混合式进路

13．7 孔子式的基于实例的理解进路

第14章  维特根斯坦哲学视野中的自然语言理解

14．1 关于“语言游戏说”的第一组二律背反：关于行为主义

14．2 关于“语言游戏说”的第二组二律背反：关于统计学

14．3 关于“语言游戏说”的第三组二律背反，关于先天语法和思想语言

14．4 关于“语言游戏说”的第四组二律背反：关于实例在语言理解中的作用

14．5 对于四组二律背反的初步融贯化：寻找一条“既又”的中道

14．6 关于“最简先天论”的问答集

第15章  如何让计算机真正懂汉语？

——一种以许慎的“六书”理论为启发的汉语信息处理模型

15．1 从词到字，再到《说文解字》

15．2 如何在纳思系统的平台上刻画“六书”以及相关的语法构建？

15．21 象形

15．22 指事

15．23 会意

15．24 形声

15．25 转注

15．26 假借

15．3 从宇法转换到词法

15．31 多音的根词(从象形字到象声字的转变)

15．32 偏正式(会意字变种之一)

15．33 并列式(会意字变种之二)

15．34 重迭式(形声字变种)

15．35 前置成分和后置成分(形声字变种)

15．36 动宾式(两种会意结构的递归构造)

15．37 补充式(动宾式的变体之一)

15．38 主谓式(从词到句的过渡形式)

15．4 总结和答疑

尾声美丽的蓝图，以及蓝天中的两朵“乌云”

参考文献

专业术语索引

中文人名索引

外文人名索引

后  记