逻辑、语言和哲学讲习班与研讨会综述

2011年6月13-18日,清华大学人文学院哲学系举办了逻辑、语言和哲学讲习班与研讨会。本次活动的主旨是：对逻辑学、自然语言和哲学的交叉研究领域中的一些课题进行深入的介绍,交流最新的研究成果,展示逻辑学在跨学科研究领域中的重要作用。本次活动分为两个部分：为期五天的讲习班与为期一天的研讨会。活动的参加者有：阿姆斯特丹大学与斯坦福大学的范丙申（Johan vanBenthem）教授,阿姆斯特丹大学的斯托科霍夫（Martin Stokhof）教授,哥德堡大学与斯德哥尔摩大学的威斯特斯达（Dag Westerstahl）教授,     

一个维特根斯坦主义者眼中的框架问题

框架问题的核心命意乃是：在对智能体的行动进行表征之时,如何能够在有效地表征出行动的效果之时,避免对于其非效果的表征？对于符号主义路数的人工智能研究来说,框架问题的确非常棘手,因为它的存在使得对于行动的知识刻画必须引入大量的框架公理,并由此使得系统的计算负荷剧增。从历史上看,人工智能界赖以解决这个问题的基本路径主要有两条。第一条是诉诸于＂关于惯性的常识律＂或缺省逻辑,即在行动表征中预设：没有被表征式牵涉到的＂世界其余部分＂都将保持惯性。另一条路径则采纳了海耶斯的＂素朴物理学＂表征方案,即试图把日常物理学知识全部用谓词逻辑公理化,让系统自动推算出哪些动作会导致哪些结果。本文将论证,这两条道路其实都走不通。在此基础上,本文将从维特根斯坦的《论确定性》中寻找灵感,建立一个关于信念网动力学模型——在这个模型中,某些知识节点的激发只会导致某些与之毗邻的节点的激发,因此,对于特定问题求解路径的表征,就能够避免对于一个更大范围内的知识网络的牵涉。框架问题也有望借助于这个模型得到解决。最后,我将利用＂非公理推演系统＂（NARS）为这个模型提供一种尽量逼真的工程学模拟。     

化学致癌机制的系统科学方法思考

本文用系统科学方法分析了化学物致癌机制，化学致癌是一个长期的，多基因，多阶段，多病因过程已被公认，研究者们认为化学致癌系统由基因和非基因因素构成，在此系统中存在若干系统属性，如整体性，综合性，动态性等，医学研究者要在癌症病因，治疗和预防中取得的半功倍成效，就应该科学地运用致癌系统中的这些系统属性。     

元认知监测与算术知识制约小学儿童心算策略运用能力的发展:一年纵向考察

为探究元认知监测与算术知识对儿童心算策略运用能力的影响如何随个体发展而变化，采用计算机任务与纸笔测量的方法，对85名小学三、五年级儿童进行了历时一年的纵向追踪研究。研究发现：（1）两组儿童的元认知监测和算术知识均呈增长趋势，算术知识的增长速度五年级显著快于三年级，且元认知监测增长速度与算术知识增长速度显著相关；（2）两组儿童中，元认知监测与算术知识增长速度更快的个体策略执行反应时与错误率的减少速度也更快；（3）五年级儿童的算术知识在元认知监测影响策略选择发展中起着完全中介作用。