<!--@page{margin:2cm}p{margin-bottom:0.21cm}a:link{}-->       在上世纪1930至1970这段时间，数理逻辑模型论取得了快速的发展，比如：哥德尔，A.I.Maltsev,Le，onHenkin, Abraham Robinson,以及Alfred Tarski等人的先锋工作。很明

从人工智能的“冬天“走出来      4月13日上午，一封邀请函快递到我家。中国人工智能学会秘书处邀请我出席4月22日上午9点在国家会议中心会议区四层大会堂B厅举办的“人工智能60年纪念活动启动仪式暨2016年全球人工智能大会”。为此，我感到非常高兴。为什么高兴呢？      回想过去，1956年Dartmouth会议确立了人工智能研究的学术地位。但是，这次历史性会议的与会者低估了研究人工

1955年，美国学者麦卡锡（JohnMcCarthy，1927-2011）最早提出“人工智能”（AI)的术语，意思是：人工智能是“Thescience and engineering of making intelligent machin”。在当时条件下，国人对于麦卡锡提出的“智能机器”究竟是什么意思并不清楚，整天忙于别的事情，......大约在1978年前后，北航计

1980年，由于人工智能被中科院数学所拒之门外。1977年，中国中国社会科学院成立。首任院长是著名哲学家胡乔木，中国社科院有权批准国家一级学会。在人工智能学会筹备过程中，袁萌到社科院传达室说明了来意。在值班室接待人员说“人工智能”大概属于哲学所研究范围，要求哲学所派人到值班室接待，哲学所童天湘研究员（2013年去世）接待了我。我说明来意。童天湘对我说，“人工智能”属于哲学的研究范畴。此事要请示院领

2013年，在微软（中国）举行的一次“头脑风暴”中，机器人“小冰”诞生了。一年来，经历了风风雨雨，“小冰”茁壮成长，带动了国内互联网企业走向正确的发展方向。         大数据能够产生人工智能(AI)?在1981年,我们创办”中国人工智能学会”(国家一级学会)的时候,根本没有这个概念.微软”小冰”的问世,标志着新一代人工智能的确立..           

80老翁谈人生（294）：人工智能进入中国的几个重要“时点”1980年10月17日，在北京科技会堂（北京友谊宾馆北门）召开了中国人工智能学会筹备会与第一届全国人工智能学术会议。注：袁萌是学会发起筹备组主要成员之一。1981年2月10日，部分来自全国各地的从事人工智能研究的专家、学者近50人聚首北京，倡议尽快成立中国人工智能学会。会上起草了《关于成立中国人工智能学会的申请报告》，分别呈交中国

把时针指向1981年春天，在武汉大学图书馆会议室招开人工智能大会第一次筹备会议。在这次会议上，招集人社科院哲学所童天湘研究员首先邀请访美回国不久的南航渠川璐介绍人工智能在美国的发展情况。渠川璐说，简而言之，在过去20年里，人工智能在美国高校迅速发展起来，产生了一批中坚研究力量，促使美国人工智能学会创立。随之，袁萌在发言中指出，人工智能地处英国伟大数学家图灵创建的，关于人工智能的研究。时至今日，人工

金山电子表格是怎样克隆的？    克隆(Clone)是金山的口号，不是外人对其的污蔑之词。金山是怎样克隆的呢？这是需要搞清楚的。    在1995至2005这十年时间里面，微软公司授予John Green先生一个头衔“最有价值的专家”（MVP），对其工作给予充分肯定。Ｅｘｃｅｌ２００７　ＶＢＡ参考大全是Ｇｒｅｅｎ先生的新作（今年４月其中译本第一次出版印刷）。这本名著的影印件已经扩散到互联网

人工智能节目主持人诞生去年12月22日，微软与上海文化广播影视集团(SMG)电视新闻中心开了一个新闻发布会。宣布微软第三代小冰机器人成为《看东方》节目的见习主持人，作为历史上第一个专职的“人工智能主播”，负责主持以后的每日天气播报板块，还给小冰颁发了“见习主播”聘书。这个节目，也成为全球第一个融入人工智能的电视新闻直播节目。注意：这条消息是小娜今天告诉我的。机器人迟早要见“公婆”。能否胜任节

无穷小微积分与人工智能初看起来，无穷小微积分与人工智能两者不搭界，没有关联。实则不然。简而言之，60年前，鲁宾逊引入实无穷小（超实数）为人们在日常口语中使用“无限趋近，…”、“任意接近于零，…”，……为这些习惯用语提供了理论根据。坦言之，这就是微型的人工智能（人造的智能）。机器人能够这样表达意思，有了人造（Artificial）的人类感知，是一种进步。在微积分的课堂教学中，如果数学老师不想欺骗学生