1972 年 阿 兰· 科 尔 默 劳 尔(Alain Colmerauer) 设 计 了 Prolog 语 言(Programming by Logic 的缩写),这是一种逻辑编程语言。它创建在逻辑学的理论基础之上,最初被用于自然语言等研究领域。现在它已广泛地应用在人工智能的研究中,可以用来建造专家系统、智能知识库等。
1973 年 英国爱丁堡大学研发了名为“ Freddy”的装配机器人,Freddy可以通过机器视觉自动识别和定位要装配的模块。
附录 人工智能历史大事记
415
奎克的藏经阁 · 原书印刷页
PDF 物理页索引 430 · 内容简介
1972 年 阿 兰· 科 尔 默 劳 尔(Alain Colmerauer) 设 计 了 Prolog 语 言(Programming by Logic 的缩写),这是一种逻辑编程语言。它创建在逻辑学的理论基础之上,最初被用于自然语言等研究领域。现在它已广泛地应用在人工智能的研究中,可以用来建造专家系统、智能知识库等。
1973 年 英国爱丁堡大学研发了名为“ Freddy”的装配机器人,Freddy可以通过机器视觉自动识别和定位要装配的模块。
附录 人工智能历史大事记
415