中国人工智能学会第13届全国学术年会CAAI-132010年8月20日至8月23日北京程序册中国人工智能学会2010.8.20中国人工智能学会第13届全国学术年会指导委员会名誉主席:吴文俊指导委员会主席:涂序彦指导委员会委员(按姓氏汉语拼音为序)戴汝为董韫美郭爱克何新贵胡启恒李衍达李伯虎李德毅李未林尧瑞马颂德马阳倪光南潘云鹤孙柏林涂序彦王守觉徐玉如王天然吴澄吴文俊吴启迪吴佑寿熊有伦杨叔子袁保宗张钹赵沁平郑南宁会议主席:钟义信李德毅程序委员会主席:史忠植程序委员会委员(按姓氏汉语拼音为序)蔡文曹元大陈恩红陈杰陈天华陈英武高阳韩力群何华灿何清洪炳熔黄河燕黄心汉贾英民贾云得焦李成解仓李凡长李际军李蕾李祖枢刘大有刘宏刘民刘清刘增良廖乐健鲁华祥马少平马世龙马宗民彭岩乔俊飞任福继舒志兵孙富春孙增圻汪定伟王飞跃王国胤汪镭王敏王普王万森王小捷王宇宁王志良吴波吴晓蓓吴渝熊有伦徐华忠徐心和严洪森严新平杨炳儒杨春燕尹怡欣查红彬张长水张桂芸张琴珠张涛赵克勤周杰周志华庄越挺组织委员会主席:何华灿副主席:韩力群秦世引王万森贾英民委员(按姓氏汉语拼音为序)迟惠生杜军平何清李德毅李祖枢刘宏刘民林尧瑞施鹏飞宋苏孙增圻谭民童天湘严新平杨天樑叶晓雁尹怡欣袁曼伶邹亚茹秘书长:王卫宁副秘书长:杜军平会议承办单位首都师范大学北京航空航天大学北京邮电大学北京科技大学北京理工大学北京大学清华大学北京交通大学北京工商大学北京工业大学2欢迎词信息科学和生命科学是21世纪的两大带头学科。人工智能是这两个学科群中最重要、最精彩、最具发展前景的交叉领域。在全球信息化的需求牵引下,在信息科学和生命科学巨大成就的推动下,人工智能研究正在成为一个创新前景特别光明的事业。自1956年人工智能学科诞生以来,我国科学技术工作者一直在敏锐地进行跟踪学习。经过将近半个世纪的消化吸收和融会贯通,己经从跟踪学习进入自主研究重大科学问题,独立进行重大科学创新的新阶段。中国人工智能学会于1981年成立以来,已召开了12届全国学术年会:1980第1届中国人工智能学术年会北京1981第2届中国人工智能学术年会长沙1982第3届中国人工智能学术年会北京1984第4届中国人工智能学术年会贵阳1987第5届中国人工智能学术年会北京1989第6届中国人工智能学术年会武汉1992第7届中国人工智能学术年会西安1994第8届中国人工智能学术年会杭州2001第9届中国人工智能学术年会北京2003第10届中国人工智能学术年会广州2005第11届中国人工智能学术年会武汉2007第12届中国人工智能学术年会哈尔滨这次是第13届中国人工智能学术年会。大会收到学术论文420篇,经专家评审,录用310篇。部分会议论文由北京邮电大学出版社正式出版精品系列《中国人工智能进展:2009》,并择优推荐国家级刊物发表。感谢论文作者、论文审稿专家对大会的贡献。会议邀请著名专家学者到会作特邀报告:y李德毅:从图灵机智能到群体智能y涂序彦:“人工智能”发展与“智能科学技术”诞生y任福继:语言工学·情感计算与高等智能y何华灿:信息科学中的两个基本理论问题y史忠植:基于云计算的海量数据挖掘智能是信息的最高级的产物和最精彩的结晶,智能化是信息化的必然趋势。我们不仅要虚心学习国外的先进科学技术,更要进行独创性的研究,通过脑科学、认知科学与人工智能交叉研究,形成中国的智能科学技术学派,为世界智能科学技术的发展做出我们中华民族的新贡献。3MCAI2010与CAAI-13会议日程安排简表日期上午下午晚上备注20日CAAI-13全天注册;发展会员MCAI2010注册第五届理事会CAAI-13开幕及大会报告CAAI会员代表大会:工作报告财务报告修改章程21日MCAI2010注册MCAI2010注册MCAI2010招待会参加MCAI2010开幕及共享国际会议大会报告CAAI-13分组学术交流8个分会场22日MCAI2010开幕式及大会报告MCAI分组报告ICAI2010分会场1个IEEENLP-KE’10分会场1个FIS2010中会场1个CAAI分组学术交流8个分会场CAAI会员代表大会:选举;CAAI六届一次理事会;23日MCAI分组交流ICAI2010分会场1个IEEENLP-KE’10分会场2个FIS2010分会场2个IEEENLP-KE’10分会场1个FIS2010分会场2个CAAI-13宴会和闭幕式MCAI2010宴会和闭幕式4会后旅游(自费)24日会后旅游(自费)5中国人工智能学会第13届全国学术大会日程表一、大会特邀报告日期时间日程安排大会开幕式主持人:李德毅地点:8:30-9:001钟义信理事长致开幕词2科协领导讲话3指导委员会主席涂序彦致词4史忠植副理事长作程序报告10:00-10:30集体合影与休息大会学术报告主持人:史忠植地点:9:00-10:001李德毅从图灵机智能到群体智能2涂序彦“人工智能”发展与“智能科学技术”诞生10:00-10:30休息大会学术报告主持人:钟义信地点:8月21日10:30-12:003任福继语言工学·情感计算与高等智能4何华灿信息科学中的两个基本理论问题5史忠植基于云计算的海量数据挖掘67二、分组报告日期时间日程安排分组讨论:(A1组:人工智能理论基础(一))主持人:何华灿地点:1.泛运算模型的对偶关系罗敏霞,姚宁2.基于柔性逻辑的模糊推理——一种近似推理的新方法谷敏强3.互逆主义命题演算周训伟4.星型t-模(t*-模)与逻辑系统的弱健全性张小红5.网络智能:图灵机智能与群体智能的相互作用李德毅,张海粟,刘玉超,陈桂生6.新型变论域模糊控制算法在非线性系统中的应用研究郝晓弘,张萍7.计算理论与计算模型王迪兴,马胜杰,顾乃绂,李学敏7.基于局部相对变换的局部线性嵌入文贵华,文思分组讨论:(A2组:知识工程与分布智能(一))主持人:刘大有地点:8月22日13:30|15:001.多Agent动态影响图的一种混合近似推理算法姚宏亮,王秀芳,胡大伟,王浩2.用于多方论据博弈的辩证分析模型姚莉,袁金平,漆学田3.基于本体的知识管理研究进展杨鲲,史忠植,王文杰4.无中心式大规模多智能体系统知识共享方法的研究徐杨,任伟,朱玲珑,王伟东5.多主体系统中基于社区发现的信任机制研究杨兴华,王文杰,牛温佳,史忠植,陈坤荣6.基于用户行为分析的竞价广告效果分析王家卓,刘奕群,马少平,张敏,金奕江7.认知过程与知识结构的建构董淑英,周玉生8分组讨论:(A3组:机器学习)主持人:周志华地点:1.两种基于样本属性重要度的加权支持向量机方法马会敏,王熙照,翟俊海2.两种改进的基于无监督决策树的聚类方法张婵婵,王熙照,翟俊海3.基于改进CAIM算法的非限定离线手写笔迹鉴别骆威,张德贤,王飞4.基于改进的离散粒子群和支持向量机算法的特征子集选择刘伟丽,张德贤5.基于遗传最小二乘小波支持向量机的分类研究代龙泉,黄嘉亮,沈民奋6.基于结构风险最小化的属性区间分割优化方法研究张德贤,刘扬,张苗7.基于三值决策的属性约简贾修一,商琳,陈家骏8.一种基于PCNN的医学图像边缘提取方法李建锋,邹北骥,辛国江分组讨论:(A4组:智能控制)主持人:尹怡欣地点:1.间断观测下的无人机地面目标跟踪谢斌,项志宇2.虚拟植物中环境因素影响及模拟的实现张洁,刘春艳,曲尔光3.基于模糊神经网络的给水控制系统的仿真分析刘春艳,曲尔光,刘文军4.智能便携式统计终端的设计亢红波,王文庆5.高精度雷达海杂波建模和仿真段海龙,任淑艳,胡山,李静6.基于神经网络的锥光全息测量系统校准技术研究任淑艳,杨永刚,段海龙,李静7.基于FPGA的IEEE802.16QoS调度策略研究杨玉宏,董平分组讨论:(A5组:智能机器人(一))主持人:黄心汉地点:1.《机器人学》教材建设的体会蔡自兴,谢斌,魏世勇,陈白帆2.一种全自动真空吸附式微夹持器9黄心汉,刘畅,王敏3.压电陶瓷双晶片微夹持系统研究刘畅,黄心汉,王敏4.应用于智能家用机器人的触摸情感交互方法研究王巍,王志良,郑思仪,谷学静5.家庭环境下行为理解及应用田国会,吉艳青6.基于小型仿人机器人的机器人奥林匹克竞赛洪炳镕,苑全德,柯文德7.足球机器人射门算法设计甘晓琴,李祖枢,薛方正,郭亿8.AnOptimizedMethodforLineExtractionUsingLaserScanDataCheng-haoHuaLihuaDouJieChenYutianMao9.足球机器人前向单目视觉的目标识别方法李永昌,杨宜民10.机器人控制器片上系统的实时分析贺继林,杨勤,冯雨萌,何清华11.可变形线性物体操作的动态建模与仿真丁凤,黄剑,王永骥12.基于Skinner柔性两轮自平衡机器人仿生控制阮晓钢,赵建伟分组讨论:(A6组:可拓工程(一))主持人:蔡文地点:1.可拓检测的可拓变换机理谢蓝,曾韬,余永权,施景霞2.旅游策略生成系统的可拓变换算法优化研究李承晓,李卫华,邹仉志3.可拓学论文的发表情况、存在问题及建议杨春燕4.“协调逻辑”的基本观点和基元模型徐杰,涂序彦5.可拓策略生成系统的本体进化研究何平,李卫华6.可拓工作流模型建模与动态修改方法研究李涛,李延增,孙伟7.可拓策略生成系统与Agent结合的研究邹仉志,李卫华,李建新8.基于可拓关联函数和GM(1,1)的武汉市经济预测模型梁坤,聂会星,徐枞巍109.可拓软件中的数据结构研究武小毛,郭慧敏,余永权10.论信息时代可拓学与知识智能化管理的联动作用李兴森,周赟,刘艳彬,余志伟11.自然语言基本思维模式的可拓逻辑形式表达王立山分组讨论:(A7组:智能信息网络)主持人:曹元大地点:1.基于Petri网的对等资源访问控制协议模型与仿真张常有,曹元大,张昱,李桂红2.一种基于主体的网构软件分析设计方法张大鹏,史忠植,王文杰3.多经济智能体网格资源分配策略中的信号博弈分析模型谢俊,陈明4.密码学虚拟实验平台的设计与实现蔡自兴,郭璠5.基于运动趋势的DTN泛播算法周瑞涛,曹元大,张昱6.分布式环境下一种基于最小延时的服务路径查找算法靳军,曹元大,张昱,胡晶晶7.工作流技术及其在电力自动化调度综合数据平台中的应用杨笑宇,廖乐健,陈若愚8.基于蚁群算法的P2P通信树优化方法研究刘天时,李皎9.基于依存关系的信息检索模型的研究和实现刘鹏,廖乐健,方志10.网络爬虫在垂直搜索中的应用研究单红霞,方军,陈华,王旭,杜军平11.抽象辩论框架和基于假设的辩论框架的比较和应用介绍张炜,梁永全,纪淑娟,田启家12.嵌入式TCP协议的一种简单实现方法段海龙,任淑艳,胡山,李静分组讨论:(A8组:机器感知与虚拟现实)主持人:查红彬地点:111.基于形变模型的多摄像机人脸三维重建王小文,张柳新2.视皮层感受野与多分辨统计谭南虹,宫雅卓,施鹏飞3.面向视频事件探测的动态描述逻辑系统王晓峰,常亮,史忠植4.年龄相关的人脸识别方法陈晓倩,陆丽,施鹏飞5.图像视觉特征与描述词汇的对齐于立平,王小捷13:00|15:30休息分组讨论:(B1组:自然语言处理与机器翻译)主持人:王小捷地点:1.一种基于搜索引擎的领域词识别方法于亮,张宇峰,王小捷,李蕾,刘竞2.对中文主客观分类特征选择的研究张博,周延泉,毛昱3.基于ASO的汉语组块分析白雪,王小捷,张韬政,何赛克4.基于短语结构的树串汉英对齐模板获取段恋,谭咏梅,王小捷,钟义信5.基于改进的模糊C均值算法的多文档自动文摘郝志新,王轩,姚霖,张耀允分组讨论:(B2组:生物信息学与人工生命)主持人:张长水地点:8月22日15:30|17:001.ADatabaseofHumanSegmentedImagesandItsApplicationinBoundaryDetectionQiWang,ZengFuWang2.一种改进后的遗传算法对摄像头覆盖范围问题的优化成宇,张涛3.基于随机徘徊城市交通模型的智能优化成宇,张涛4.移动机器人超声传感阵列信息融合算法比较余华,吴文全,刘忠5.D-S证据理论在移动机器人信息融合中的应用余华,吴文全,刘忠6.一种改进的基因表达数据聚类算法季瑞瑞,刘丁,张