搜索

第五代语言的历史

gecimao 发表于 2019-05-09 03:53 | 查看: | 回复:

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  在人工智能的研究发展过程中,从一开始就注意到了人工智能语言问题。人工智能发展的初期,人工智能语言就得到了研究和开发。实际上四十多年来有一百来种人工智能语言先后出现过,但很多都被淘汰了。它们大抵有三个来源。第一个来源是计算机科学家们对可计算性理论的研究。例如,LISP语言是为处理人工智能中大量出现符号编程问题而设计的,它的理论基础是符号集上的递归函数论。已经证明,用LISP可以编出符号集上的任何可计算函数。Prolog语言是为处理人工智能中也是大量出现的逻辑推理问题(首先是为解决自然语言理解问题)而设计的。它的理论基础是一阶谓词演算(首先是它子集Horn子句演算)的消解法定理证明,其计算能力等价于LISP。OPS5面对的问题也是逻辑推理。不过PROLOG是向后推理,OPS5是向前推理。OPS5的理论基础是Post的产生式系统,其计算能力也等价于LISP。第二个来源是认知科学的研究成果。人们研究出各种各样的认知模型,并为这些模型设计相应的知识表示语言。例如产生式表示、框架表示、语义网络表示等实际上都有其认知模型作为背景。如上所述的OPS5是产生式表示的语言,SRL、FRL、FEST等是框架语言,概念图和SNetI都是语义网络表示语言。面向对象的程序设计是在SIMULA中的类程和Minsky的框架表示两种思想融合的基础上发展起来的(它适用于计算机软件的所有领域,不只是人工智能)。

本文链接:http://scmountainwx.net/diwudaiyuyan/365.html
随机为您推荐歌词

联系我们 | 关于我们 | 网友投稿 | 版权声明 | 广告服务 | 站点统计 | 网站地图

版权声明:本站资源均来自互联网,如果侵犯了您的权益请与我们联系,我们将在24小时内删除。

Copyright @ 2012-2013 织梦猫 版权所有  Powered by Dedecms 5.7
渝ICP备10013703号  

回顶部