计算之智与哲学之慧分享 http://blog.sciencenet.cn/u/huangfuqiang

博文

人工智能与数学国际研讨会

已有 3020 次阅读 2011-6-8 10:06 |个人分类:智能科学与技术|系统分类:论文交流|关键词:学者| 人工智能, 数学, 研讨会

两年举行一次,主要探讨数学、理论计算机科学、人工智能学科间的相互交叉与互动。如感兴趣没有链接的相关资料可自行检索。
Eleventh International Symposium on Artificial Intelligence and Mathematics 2010

Tenth International Symposium on Artificial Intelligence and Mathematics, 2008

Ninth International Symposium on Artificial Intelligence and Mathematics, 2006

Eighth International Symposium on Artificial Intelligence and Mathematics, 2004

Seventh International Symposium on Artificial Intelligence and Mathematics, 2002

Sixth International Symposium on Artificial Intelligence and Mathematics, 2000

Fifth International Symposium on Artificial Intelligence and Mathematics, 1998

Fourth International Symposium on Artificial Intelligence and Mathematics, 1996

Third International Symposium on Artificial Intelligence and Mathematics, 1994

Second International Symposium on Artificial Intelligence and Mathematics, 1992

First International Symposium on Artificial Intelligence and Mathematics, 1990


“Problem Solving = Modeling + Theorem Proving“ 这样的模式从基础理论研究层面讲肯定是重要的,但智能理论、智能技术、智能工程要双向互动,指向明确(细化),智能本质探求等问题也应看成是基础理论问题(认知科学),学科分工与交叉要明确,共同体间要密切协作。好好研究一下MIT这方面的研究历程是必要的,能产生很好的启示作用。


https://m.sciencenet.cn/blog-89075-452856.html

上一篇:FuseSource Open Source SOA
下一篇:UBUNTU串口调试助手CuteCom

1 杨华磊

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-18 22:59

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部