Pet*_*ter 49
Emacs的.
至少部分内容是用Emacs Lisp编写的.
rz.*_*rz. 46
ITA Software的航空票价搜索服务.看到这里了解为什么这令人印象深刻.
foo*_*foo 20
镖.一个物流应用程序,用Common Lisp编写,用于第一次海湾战争,从萨达姆侯赛因手中解放科威特.可以说,当这个应用程序准备就绪时,战争开始了.开发人员在极大的时间压力下工作以实现这一目标.
据说这个单一的申请已经偿还了所有(!)美国政府对人工智能研究的投资.
Rai*_*wig 11
最令人印象深刻的Lisp应用之一肯定是Cyc.Cyc是Doug Lenat创建的一个项目,旨在将常识知识融入基于知识的系统中.不仅仅是一点点,而且真的很多知识.人类已经学到了许多截然不同的东西,人们看到了人工智能软件的一个限制因素.蜂蜜的典型颜色是什么?我们坐在椅子上还是椅子下?一杯新鲜的咖啡很热.外面下雨时,里面不下雨.海水含有盐,但池塘中的水不含盐.大多数鸟类都可以飞翔 有些鸟不能飞.令人惊讶的是,人们知道这些事实,规则和概念中有多少.
自1984年以来,Cyc正在不断发展,知识库包含(数字来自2004年)超过250万个事实和规则.它还包含超过15万个概念(类似于OOP中的类).Cyc是在SubL(Common Lisp的一种方言)中开发的.
知识输入CycL(基于声明性逻辑的语言).受过特殊训练的人正在进入知识.Cyc检查这些新知识与现有知识是否冲突.它还可以得出新的结论,并且可以查询它.对于它的答案,它也可以产生解释.Cyc还实现了许多特定于域的启发式方法.
在早期,该项目开始在Lisp Machines上开发,但今天该软件是可移植的,也可供有兴趣的学生和研究人员使用(OpenCyc和ResearchCyc).
美国国家航空航天局使用Lisp机器来检查航天飞机的启动时间.来自1990年的Symbolics新闻稿:
"最近美国国家航空航天局(NASA)使用Symbolics的高清技术实时分析Discovery发射的HDTV视频图像.这种高清系统使NASA工程师能够即时重播关键发射系统.工程师们能够增强和放大升空的高分辨率图像,以便分析航天飞机瓦片的状况和潜在问题."
他们使用了一堆带有特殊图像处理板的Lisp机器.