浙江大学DeepSeck系列专题线上公开课DeepSeek;回望AI三大主义与加强通识教育浙江大学计算机科学与技术学院吴飞
浙江大学从达特茅斯启航的人工智能三大主义提纲从ChatGPT到DeepSeek人工智能通识教育
人工智能单词首次登上人类历史舞台1955年8月基本猜想:学习的所有特点以及大多数智能原则上都可被精确描述出来,从而用一台机器来模拟What Icannot create. I cannot understand不可造也,未能知也A Proposal for theDartmouth Summer麦卡锡(John McCarthy)、明斯基(Marvin Lee Minsky)、香农(Claude Shannon)ResearchProject on和罗切斯特(Nathanicl Rochester)四位学者向美国洛克菲勒基金会递交了一份Artificial Intelligence题为“关于举办达特茅斯人工智能夏季研讨会的提议(a proposal for theDatmonth sumereseanrh projct on anfcia ineligancel)"的建议书，希望洛克菲勒基金会资助拟于1956年夏天在达特茅斯学院举办的人工智能研讨会。评审意见:研究内容难以让人彻悟(dificult to grasp very clcarly),但是鉴于这一研究所具有长期挑战性特点，基金会愿意资助其申请经费的一半。希望你们不会觉得我们过于谨慎（overcautious）,对思维的数学模型研究从长远来看非常具有挑战性，是一场适度的赌博,因此在现阶段冒任何大风险会令人犹豫重重。
人工智能诞生之初所提研究问题议题描述七大议题自动计算机让计算机完成特定人类工作使用语言对计算机进行编程通过语言对计算机编程40位专家神经网络通过袖经网络让计算机形成抽象概念计算复杂度计算任务所耗费的时间和空间智能算法的自我改进算法能够苟日新、日日新达特茅斯会议合影8周时间智能算法的抽象能力(1956年6月18日至8月17日)智能算法的随机性和创造力智能算法具各学会学习能力
人工智能登上人类历史舞台的“舞者你们的名字已被知晓,你们的功绩永世长存麦卡锡、明斯基和索洛莫洛夫(RaySolomonoff)三位学者全程参与了会议。参加会议的还包括1975年图灵奖得主纽厄尔(AllenNewell)1975年图灵奖和1978年诺贝尔经济学奖得主西蒙（Herbert ASimon)、1977年图灵奖得主四克斯（JohnBackus)、机器学习一词的创立者塞缪尔（ArthurSamuel)和控制论之父维纳等等。
人工智能三剑客之一：符号主义人工智能的逻辑推理"逻辑”指进行正确推理和充分论证的研究(the study of correct reasoning and good arguments),其关心的是从一个或若干前提出发，是否存在一个有效的论证或推理来支持所得到的结论,也就是说在前提和结论之间架构逻辑结构的桥梁。苏格拉底三段论(syllogism)Yx (Person(x)->Mortal(x)大前提:所有人都是要死的Person(Socrates)小前提:苏格拉底是人Person(Socrates)-Mortal(Socrates)结论:苏格拉底是要死的人晓人语机懂机言路德维希·维特根斯坦《逻辑哲学论》:语言的边界就是思想的边界The limits of my language are the limits of my mind. All know is what have words for. (Ludwig Witgenstein)
符号主义人工智能的逻辑推理：推理即计算已知事实:三峡大坝和葛洲坝同时位于长江流域、两者具有反调节关系:小三门峡水库黄河流域小浪底水库良浪底水库和三门峡水库同时位于黄河流域、两者具有反调节关系改善航道和促进种植是（隶属（定属归纳总结得到新知识:、世界最大装机容量任何两个水库如果位于同一个水域。则两者具有反调节关系江流城演绎推理得到新知识:已知任何两个水库如果位于同一个水域,则两者具有反调节关系。达拉新水坝葛洲坝·已知大古力水坝和达拉斯水坝都位于哥伦比亚河流域推理得到:大古力水坝和达拉斯水坝具有反调节关系发电、改善航道蓄水式经流式知识图谱:条理化结构化表示知识推理就是计算(reasonisnothing but reckoning):让一切描述同数学一样切实有形(tangible),这样我们就能一眼就找出推理的错误所在。在人们有争议之时，我们可以简单地说，让我们来计算(calculemus)一下,而无须进一步的忙乱（ado），就可知孰对款错。
符号主义人工智能的逻辑推理：牛刀小试的知识工程围绕某一特定领域（如牙病治疗、工具组装等)的应用,将人类专家知识转化为...
