研究科学发现的计算途径:对BACON程序的考察

二十世纪末，人工智能(AI)界出现一个不同于历史、哲学、心理学的研究科学发现的新领域，即机器发现，这种机器发现工作已经远远超出其本身所有的人工智能价值而对科学史、科学哲学乃至认知科学研究产生了广泛影响。本文从方法论视角考察最重要的机器发现程序之一BACON，以揭示它对我们了解科学发现本性的重要意义。     

类人型和机器型人工智能的科幻叙事（英文）

关于人工智能，可以讲述许多不同的故事。事实上，在过去的几十年中，好莱坞科幻电影发生了转变。许多早期的故事展示了对人与机器的身份认知困惑，原因是它们似乎变得出奇地难以分辨。而近来的那些故事更多围绕着失望与冲击展开，因为我们发现那些模仿以及胜过人类逻辑能力的机器所拥有的智能与人类的思考与感受大相径庭。本文接下来的观察旨在反思这一转变的重要性。一方面，人工智能研究方向的转变，即从人型到机械型人工智能，本身具有指示性。另一方面，这些电影与其说在探索两种人工智能的影响和可能的未来，不如说它们在反思文化环境，反思那些激发或限制人工智能研究的希望与恐惧。在科幻这样一个由符号与象征、事物与作品组成的世界中，人们有各种方式来理解及定位自身。就这点而言，科幻也因此可以为技术诠释学研究，即为尝试理解人工智能及其意义与重要性，提供一个舞台或表征框架。     

用计算机进行微分方程公式的推导获得成功

中国科学院应用数学研究所研究人员刘尊全、力学研究所秦朝斌于1979年10月在计算机上进行微分方程公式的推导获得成功。他们设计了微分方程程序系统Differential Equation Program System(简称DEPS),将它用于常微分方程理论中一个关键问题——希尔伯特第十六问题的研究工作。现在,他们已取得一批重要成果:机器验证了苏联学者(?)在1952年所发表的著名成果,指出其一     

心身问题解决的新尝试:机器功能主义

机器功能主义是功能主义的较早形式，它为心身问题的解决提供了一种有意义的尝试。本文对机器功能主义的产生、图灵机和机器表概念做了一个简要说明，同时把机器功能主义与行为主义、同一论相比较，论述了机器功能主义对心身问题的理解及其积极意义。但是机器功能主义仅把心理状态理解成一种功能状态，因而面临着许多方面的困境，并不能令人满意地解决心身问题。     

超级大机器

不要总是把大型强子对撞机挂在嘴上，关于这个庞然大物的报道已经够多了，但除它之外，世界上还有几个研究机器，其重要性一点都不比大型强子对撞机逊色。这些超级机器，有的在跟踪火星机器人，有的在模拟飓风，有的则在揭示超新星诞生之谜，他们不仅具有“冷酷到底”的外观，还肩负着揭开世界上最大的未解之谜的重任。     

HK-118W型硅酸根监测仪的研制

硅酸根监测仪，属于在线分析仪器，主要应用于电厂，属于难度较大、投运率低、维护量大、维护费用高的仪表。目前，国内外大多数硅表，都使用蠕动泵作为加试剂的动力。HK-118W型硅酸根监测仪使用计量泵取代蠕动泵，属于新一代的产品。仪器软件结构和界面的设计，更符合国内用户的操作习惯和思维方式，而采用新的数学模型，对于解决本底硅补偿的历史性问题，是本仪器的另一大特点。仪器整体技术指标，运行稳定性以及加工工艺，均达到国外同类产品水平，在操作界面和补偿方面，更胜一筹。     

数控内圆磨床控制方案选择与操作界面设计

针对汽车液压挺杆类零件内孔的高精度磨削要求及用户的多样性需求，提出了模块化结构数控内圆磨床设计方案，并选用了“人机界面＋PLC＋伺服”模式的机床控制系统，保证了机床具有结构合理、加工精度高，性能稳定的特征。机床操作界面的实用化设计及专用磨削工艺软件应用，更使机床具有了良好的操作性能和较高的效率。     

1：5万DLG更新数据质量检验技术研究

由国家测绘产品质量监督检验测试中心研究开发。该成果研究、建立了1：5万DLG更新数据质量模型，质量检查指标体系；提出1：5万DLG更新数据质量指标的检查方法和采用程序进行自动检查的算法；基于ArcObjects／ArcEngine，采用高级开发语言VisualBasic和Access数据库搭建了“图形图像操作基础平台”，为质量检查应用软件提供了必要的图形图像操作环境；     

机器伦理何以可能:现有方案及其改良

人工智能要成为真正意义上的智能,一个不可回避的问题就是如何使智能机器的行为更符合人类意义上的伦理道德,这也是作为人工智能新兴研究领域——机器伦理的核心内容。功利主义和义务论都将道德推理统一于一个总原则之中,对机器伦理研究有着重要的启发意义。功利主义预设了一种拉普拉斯式的万能神灵理性观,在应用于机器伦理时,需要通过"有限理性"与"捷思法"对之进行改良。义务论对伦理中"应然"维度和规范性的强调,使机器难以有效解决道德规则冲突,因此,义务论进路在整体上并不适用于当前以计算和遵守规则为核心的智能机器。     

关于囚徒困境的几个问题

囚徒困境是博奕论中的一个重要范例，对这个问题的研究涉及经济学、政治学、社会学、哲学、伦理学等广泛的领域。本文简要地介绍和评述了中外学者在这个问题研究中取得的成果及进行解释时提出的多种见解。囚徒困境提示的个人理性和集体理性、个人主义与道德主义的关系深化了对这些问题的认识。本文最后介绍了用计算机比赛方法研究重复的囚徒困境和合作问题的成果，分析了＂一报还一报＂程序取得成功和合作得以出现的原因和条件。