网友您好, 请在下方输入框内输入要搜索的题目:

题目内容 (请给出正确答案)

数理逻辑是一种纯形式的、符号化的逻辑,它以人工语言代替自然语言,使思维表达更加精确。


参考答案

更多 “数理逻辑是一种纯形式的、符号化的逻辑,它以人工语言代替自然语言,使思维表达更加精确。” 相关考题
考题 数理逻辑是一种纯形式的、符号化的逻辑,它以人工语言代替自然语言,使思维表达更加精确。() 此题为判断题(对,错)。

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

考题 在人工智能中必须使用人工语言符号系统,目前广泛使用的是以数学、数理逻辑符号语言为蓝本的科学语言,也称为()。 A.图形语言B.形象语言C.未来语言D.“形式化语言”

考题 结构化语言是介于自然语言和形式语言之间的一种半形式语言。此题为判断题(对,错)。

考题 关系演算的基础是(28)。A.形式逻辑中的逻辑演算B.形式逻辑中的关系演算C.数理逻辑中的谓词演算D.数理逻辑中的形式演算

考题 以下有关信息揭示中信息组织语言的应用的说法中正确的是( )。A.分类信息检索语言是自然语言应用的一种 B.全文标引和全文检索是人工语言应用的一种方式 C.人工语言在信息揭示中的应用主要是指信息检索语言 D.代码型信息检索语言是自然语言应用的一种

考题 结构化语言是介于自然语言和形式语言之间的一种()。A半形式语言B计算机语言C低级语言D高级语言

考题 现代逻辑主要使用的语言是:()A、自然语言B、汉语C、人工语言D、英语

考题 自然语言与人工语言

考题 “数理逻辑,又称符号逻辑,它是从形式逻辑分化出来的一门学科。数理逻辑()。用(),是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科:()。

考题 现代形式语言的特点不包括()。A、没有歧义B、刻画类词C、使用现代逻辑方法D、自然语言

考题 现代逻辑使用的是自然语言

考题 下列观点中,属于符号主义的有()。A、认为人的认知基元是符号B、认为知识是信息的一种形式C、认为人是一个物理符号系统D、认为人工智能源于数理逻辑

考题 结构化语言是介于自然语言和形式语言之间的一种半()。

考题 结构化语言是介于自然语言和()之间的一种半形式语言。

考题 下列关于亚里士多德的说法中,正确的是()A、亚里士多德发明了数理逻辑体系,这是一种演绎推理形式体系B、亚里士多德发明了数理逻辑体系,这是一种归纳推理形式体系C、亚里士多德发明了形式逻辑体系,这是一种归纳推理形式体系D、亚里士多德发明了形式逻辑体系,这是一种演绎推理形式体系

考题 下列逻辑形式中出现最晚的是()A、思维逻辑B、数理逻辑C、三段论D、归纳逻辑

考题 自然语言处理是用()技术的一种应用A、语音识别B、虚拟现实C、人工智能D、自然语言

考题 以下有关信息揭示中信息组织语言的应用的说法中正确的是()A、分类信息检索语言是自然语言应用的一种B、全文标引和全文检索是人工语言应用的一种方式C、人工语言在信息揭示中的应用主要是指信息检索语言D、代码型信息检索语言是自然语言应用的一种

考题 汇编语言是CPU可以执行的全部指令的符号化表示。一个CPU的汇编指令一般与它的机器指令一一对应,汇编语言它使用的是()。A、逻辑语言描述B、自然语言C、英文单词或它们的缩写D、以上都不是

考题 填空题结构化语言是介于自然语言和形式语言之间的一种半()。

考题 填空题“数理逻辑,又称符号逻辑,它是从形式逻辑分化出来的一门学科。数理逻辑()。用(),是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科:()。

考题 填空题结构化语言是介于自然语言和()之间的一种半形式语言。

考题 单选题结构化语言是介于自然语言和形式语言之间的一种()。A 半形式语言B 计算机语言C 低级语言D 高级语言

考题 判断题数理逻辑是一种纯形式的、符号化的逻辑,它以人工语言代替自然语言,使思维表达更加精确。A 对B 错

考题 单选题自然语言处理是用()技术的一种应用A 语音识别B 虚拟现实C 人工智能D 自然语言

考题 单选题汇编语言是CPU可以执行的全部指令的符号化表示。一个CPU的汇编指令一般与它的机器指令一一对应,汇编语言它使用的是()。A 逻辑语言描述B 自然语言C 英文单词或它们的缩写D 以上都不是