人工智能及机器学习

DART，即动态分析和重新规划工具，是美国军方所使用的一款物流专家系统，由普通 Lisp 编写。

在海湾战争期间，DART 在四年时间里节省的资金足以抵消美国国防高级研究计划局过去 30 年在人工智能研究方面所投入的资金。

Grammarly 是一款语法检查新创公司，但它不仅仅是一个简单的拼写检查器。它的语法引擎由普通 Lisp 编写，可以找出时态错误的实例，并为常用词语提供更加精炼的同义词。

在 Grammarly，我们业务的基础、我们的核心语法引擎是由普通 Lisp 编写的。它目前每秒钟可以处理超过一千个句子，具有水平可扩展性，而且已经在生产环境中可靠运行了将近 3 年。

Vsevolod Dyomkin

Routific 是一款线路优化和车队管理新创公司。它们的线路规划引擎由普通 Lisp 编写，可以为配送卡车规划最佳线路，从而最大程度减少时间浪费和燃料消耗。

Cyc 项目的目标是建立一个常识数据库。这是一种日常生活中的常识。

波音简化英语检查器 是一款旨在帮助航空技术作者的专家系统。

ASD 简化技术英语（以前的名称：AECMA 简化英语）是航空维护文档的编写规范。ASD-STE100 规范中定义了该规范。这种类型的编写规范也称为一种受控语言，因为它将语法、风格和词汇限制在英语的一个子集中。-

简化技术英语的目标是清楚、无歧义地写作。它主要为非英语母语人士而开发，但众所周知，它也能改善英语母语人士阅读维护文档的流畅程度。ASD 简化技术英语并未尝试定义英语语法或开具正确的英语处方。它确实尝试限制英语的范围，并且其中许多规则都是可以在技术写作教科书中找到的一些建议。

Franz