人工智能编程语言

人工智能编程语言,开发的一种计算机语言明确实现人工智能(AI)的研究。在他们的工作逻辑理论家和GPS,两个早期的人工智能程序,艾伦纽厄尔肖和j·克利福德的兰德公司(Rand Corporation)和赫伯特西蒙的卡内基梅隆大学开发他们的语言信息处理(IPL),一个计算机语言为人工智能编程。IPL的核心是一个高度灵活数据结构他们被称为列表。仅仅是一个有序的序列条目列表的数据。在一个列表上的项目的部分或全部可能自己列表。这个方案会导致丰富的分支结构。

1960年约翰·麦卡锡的计算机科学家麻省理工学院的(麻省理工学院),IPL的元素相结合微积分(正式mathematical-logical系统)产生的编程语言口齿不清(列表处理器),它仍然是人工智能的主要语言的工作美国。(微积分本身是1936年发明的普林斯顿大学逻辑学家西德尼教堂当他调查的抽象Entscheidungsproblem或“决策问题”谓词演算——同样的问题,英国数学家和逻辑学家阿兰·图灵当他发明了普遍被攻击图灵机。)

逻辑编程语言序言(编写程序在符合逻辑)怀孕了大学的阿兰Colmerauer法国,法国,最初的语言实现在1973年。进一步发展了PROLOG逻辑学家罗伯特·科瓦尔斯基AI组的一员爱丁堡大学。这种语言强大的定理证明技术,即利用决议,1963年在美国发明的原子能委员会的阿贡国家实验室在伊利诺斯州由英国逻辑学家艾伦·罗宾逊。PROLOG可以确定是否一个给定的语句遵循逻辑从其他语句。例如,给定语句“逻辑学家都是理性的”和“罗宾逊是一个逻辑学家,”PROLOG程序的响应肯定的查询“罗宾逊是理性的吗?“PROLOG广泛用于人工智能工作,尤其是在欧洲和日本。

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

最近其他工作包括语言的发展对推理时间数据,如“昨天账户支付。“这些语言是基于时态逻辑,它允许语句位于时间的流动。(时态逻辑是1953年发明的哲学家亚瑟·坎特伯雷大学之前,克赖斯特彻奇,新西兰)。