人工智能编程语言

人工智能编程语言

撰写者：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工作，尤其是在欧洲和日本。

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