在人工智能中必须使用人工语言符号系统,目前广泛使用的是以数学、数理逻辑符号语言为蓝本的科学语言,也称为“形式化语言”。以下选项属于它基本特征的是()。A.明确性B.无歧义性C.多义性D.语言保持单一性

第1题：

数学常被认为是多种学科的基础科学，数学也进入语言、思维领域，人工智能学科也必须借用数学工具。（）

第2题：

语言是一种符号系统，包括有声语言和符号语言。

第3题：

形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：有一组初始的、专门的符号集；有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。例子:语言Y定义为：初始符号集：{a，b，c，d，e，（，)，+，-，´，¸}。形成规则：上述符号组成的有限符号串中，凡以符号“（”开头且以“）”结尾的符号串都是公式。则语言Y是一种形式语言。（）

第4题：

183、数学常被认为是多种学科的基础科学，数学也进入语言、思维领域，人工智能学科也必须借用数学工具。（）

第5题：

形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：有一组初始的、专门的符号集；有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。例子：语言X定义为：初始符号集：{a，b，c，d，e，（，)，+，-，´，¸}。形成规则：上述符号组成的有限符号串中，构成表达式的为一个公式，否则不是。则语言X为一种形式语言。（）