在人工智能中必须使用人工语言符号系统，目前广泛使用的是以数学、数理逻辑符号语言为蓝本的科学语言，也称为()。