手机版 | 登陆 | 注册 | 留言 | 设首页 | 加收藏
当前位置: 网站首页 > 智能教学 > 文章

人工智能编程语言

时间:2021-02-01    点击: 次    来源:网络    作者:BJ谷轮 - 小 + 大

人工智能编程语言

撰写者:BJ谷轮

新西兰基督城坎特伯雷大学哲学教授和图灵计算历史档案馆馆长。

    人工智能编程语言,一种专门为实现人工智能(AI)研究而开发的计算机语言 人工智能(AI)研究。在有关逻辑理论家和GPS的工作中,有两个早期的AI程序,Rand公司的Allen Newell和J. Clifford Shaw以及卡内基梅隆大学的赫伯特·西蒙Herbert Simon)开发了他们的信息处理语言(IPL),一种为AI编程量身定制的计算机语言。IPL的核心是高度灵活的数据结构,他们称之为清单。列表只是数据项的有序序列。列表中的某些或全部项目本身可以是列表。此方案导致分支结构丰富。

    1960年 麻省理工学院(MIT)的计算机科学家John McCarthy将IPL的元素与lambda演算(正式的数学逻辑系统)以产生编程语言LISP(列表处理器),它仍然是美国AI工作的主要语言。(lambda演算本身是普林斯顿大学逻辑学家Alonzo Church于1936年发明的,当时他正研究谓词演算的抽象Entscheidungsproblem或“决策问题”,这是英国数学家和逻辑学家Alan Turing攻击时遇到的相同问题发明了通用图灵机。)

    逻辑编程语言 PROLOG(Programmation en Logique)是由法国Aix-Marseille大学的Alain Colmerauer于1973年首次实现该语言。PROLOG由逻辑学家Robert Kowalski进一步开发,他是爱丁堡大学AI小组的成员这种语言利用了一种强大的定理证明技术,即决议,于1963年由英国逻辑学家在美国原子能委员会 位于伊利诺伊州阿贡国家实验室发明艾伦·罗宾逊。PROLOG可以确定给定语句是否在逻辑上遵循其他给定语句。例如,给定语句“所有逻辑学家都是理性的”和“罗宾逊是逻辑学家”,PROLOG程序对查询“罗宾逊是理性的”的回答是肯定的。PROLOG被广泛用于AI工作,尤其是在欧洲和日本。

    东京新一代计算机技术研究所的研究人员使用PROLOG作为复杂逻辑编程语言的基础。这些被称为第五代语言的语言正在该研究所开发的非数值并行计算机上使用。


    最近的其他工作包括开发语言来推理与时间有关的数据,例如“帐户昨天已付款”。这些语言基于时态逻辑,它允许在时间流中定位语句。(时态逻辑是1953年由新西兰基督城坎特伯雷大学的哲学家亚瑟·普里(Arthur Prior)发明的。)


上一篇:哪些编程语言可以作为人工智能开发

下一篇:【转】逻辑编程语言prolog入门(视频)

沪公网安备 31011502006143号  | 沪ICP备 05006488号-4  |  QQ:156617  |
Copyright © 2021 天人文章管理系统 版权所有,授权gardener.sh.cn使用 Powered by 55TR.COM