第五代计算机.pptxVIP

第五代计算机1.计算机发展2.五代机背景目录3.自动定理证明4.Prolog计算机发展11电子管计算机1946-1957这一阶段计算机的主要特征是采用电子管元件作基本器件，用光屏管或汞延时第一代计算机2晶体管计算机1957-1964由晶体管代替电子管作为计算机的基础器件，用磁芯或磁鼓作为存储器第二代计算机3中小规模集成电路计算机1964-1971中小规模集成电路成为计算机的主要部件主存储器也渐渐过度到半导体存储器第三代计算机4第四代计算机大规模和超大规模集成电路计算机1971-2016计算机体积进一步缩小性能进一步提高集成更高的大容量半导体存储器作为内存储器并行技术和多机系统精简指令集计算机（RISC）出现微型计算机广泛应用五代机背景21契机 元冈达WORK AND QUESTION1978年 日本通产省东京大学计算机中心主任 元冈达契机：从制造大国到经济强国转型计划首创五代机，建立全修信息产业领导地位体系结构2逻辑程序机函数机关系代数机抽象数据类型机数据流机冯诺依曼机上的创新《知识信息处理系统的挑战:第五代计算系统初步报告》渕一博prolog3渕一博时任第五代计算机研究所所长，掌握选择开发语言的决定权在第一届第五代计算机会议上发表论文强调 逻辑程序 和 prolog 的重要性英国人沃伦的分析： 在五代机所有的应用中，prolog能覆盖的面最广五代机的终极目标是知识信息处理（专家系统和自然语言理解），prolog更适合…… Prolog ： 新的逻辑程序语言LISP： 成熟的函数式编程语言 1.计算机发展2.五代机背景目录3.自动定理证明4.Prolog自动定理证明31自动定理证明自动定理证明是人工智能研究领域中的一个非常重要的课题，其任务是对数学中提出的定理或猜想寻找一种证明或反证的方法。因此，智能系统不仅需要具有根据假设进行演绎的能力，而且也需要一定的判定技巧。自动定理证明1线性归结 SL归结（科瓦尔斯基） 自动定理证明逻辑程序“外打没正着”的副产品2线性归结进入二十世纪七十年代人们开始研究证明模式首先想到了线性归结即 整个定理证明过程沿着一条主线（中央子句），这样的优点是证明过程是目标制导的，有点像人的证明过程科瓦尔斯基：1971年发明SL归结，并证明其完备性1.计算机发展2.五代机背景目录3.自动定理证明4.Prologprolog41逻辑编程prolog科瓦尔斯基受科莫饶尔（马赛大学人工智能小组负责人呢）之邀访问马赛，讨论如何用SL归结做问题回答科莫饶尔和其学生卢梭考虑设计全新编程语言 并命名为prolog（卢梭妻子所起）Prolog： Programming in Logic逻辑编程2Prolog语言Prolog是一种基于一阶谓词的逻辑程序设计语言，它在AI和知识库的实现技术中具有十分重要的作用Prolog语言基于Horn子句，使用归结推理，具有很强的逻辑描述能力和推力能力Prolog语言特点：一阶逻辑的语言形式是形式化地严格定义的一阶逻辑的语法十分简单易懂逻辑公式不需重复表达，与不同应用无关事实、假设、推理、查询、视图和完整性约束条件都能基于一阶逻辑的prolog语言表达逻辑语言prolog可作为定义和比较其他知识表示模型的共同基础谢谢观看THANK YOU FOR YOUR LISTENING