人工智能(AI)语言是一类适应于人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。

能够用它来编写程序求解非数值计算、知识处理、推理、规划、决策等具有智能的各种复杂问题。典型的人工智能语言主要有LISP、Prolog、Smalltalk、C++等。一般来说，人工智能语言应具备如下特点：具有符号处理能力；适合于结构化程序设计，编程容易；具有递归功能和回溯功能；具有人机交互能力；适合于推理。