第五代计算机.pptx

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