เสียงกระเพื่อมใช้สำหรับ AI เพราะรองรับการใช้งานซอฟต์แวร์ที่คำนวณด้วยสัญลักษณ์ได้เป็นอย่างดี สัญลักษณ์การแสดงออกเชิงสัญลักษณ์และการคำนวณด้วยสิ่งเหล่านี้เป็นหัวใจสำคัญของ Lisp
พื้นที่ AI ทั่วไปสำหรับการคำนวณที่มีสัญลักษณ์ ได้แก่ : พีชคณิตคอมพิวเตอร์, การพิสูจน์ทฤษฎีบท, ระบบการวางแผน, การวินิจฉัย, ระบบการเขียนซ้ำ, การแสดงความรู้และการใช้เหตุผล, ภาษาเชิงตรรกะ, การแปลด้วยคอมพิวเตอร์, ระบบผู้เชี่ยวชาญและอื่น ๆ
ดังนั้นจึงไม่แปลกใจเลยว่าแอปพลิเคชั่น AI ที่โด่งดังมากมายในโดเมนเหล่านี้เขียนด้วย Lisp:
- Macsyma เป็นระบบพีชคณิตคอมพิวเตอร์ขนาดใหญ่เครื่องแรก
- ACL2 เป็นตัวพิสูจน์ทฤษฎีบทที่ใช้กันอย่างแพร่หลายตัวอย่างเช่นใช้โดย AMD
- DART เป็นผู้วางแผนการขนส่งที่ใช้ในช่วงสงครามอ่าวครั้งแรกโดยกองทัพสหรัฐ แอปพลิเคชั่น Lisp นี้เพียงอย่างเดียวได้รับการจ่ายคืนให้กับการลงทุนของสหรัฐในการวิจัย AI ในเวลานั้น
- SPIKE แอพพลิเคชั่นวางแผนและจัดตารางเวลาสำหรับกล้องโทรทรรศน์อวกาศฮับเบิล ใช้กับกล้องโทรทรรศน์ขนาดใหญ่อื่น ๆ อีกหลายตัว
- CYC หนึ่งในระบบซอฟต์แวร์ที่ใหญ่ที่สุดเขียน การเป็นตัวแทนและการใช้เหตุผลในขอบเขตความรู้สามัญสำนึกของมนุษย์
- METAL หนึ่งในระบบแปลภาษาธรรมชาติที่ใช้ในเชิงพาณิชย์ครั้งแรก
- ผู้ช่วยของผู้อนุมัติของอเมริกันเอ็กซ์เพรสซึ่งตรวจสอบการทำธุรกรรมบัตรเครดิต
มีแอปพลิเคชั่นหลายพันรายการในพื้นที่เหล่านี้ที่เขียนด้วย Lisp โดยทั่วไปสำหรับผู้ที่ต้องการความสามารถพิเศษในด้านการประมวลผลเชิงสัญลักษณ์ หนึ่งใช้ภาษาพิเศษที่มีล่าม / คอมไพเลอร์พิเศษในโดเมนเหล่านี้ที่ด้านบนของเสียงกระเพื่อม เสียงกระเพื่อมช่วยให้หนึ่งในการสร้างการเป็นตัวแทนสำหรับข้อมูลสัญลักษณ์และโปรแกรมและสามารถใช้เครื่องจักรทุกชนิดเพื่อจัดการการแสดงออกเหล่านี้ (สูตรคณิตศาสตร์สูตรตรรกะแผน ... )
(โปรดทราบว่ามีการใช้ภาษาการเขียนโปรแกรมวัตถุประสงค์ทั่วไปอื่น ๆ อีกมากมายใน AI เช่นกันฉันได้พยายามตอบว่าทำไมโดยเฉพาะการใช้ Lisp ใน AI)