产生式不包括一阶谓词逻辑

第1题：

第2题：

谓词逻辑

正确答案:就是把简单命题进而分析为其主项、谓项和量项并借以研究命题的形式结构及其推理的规律与规则的逻辑演算理论。

第3题：

谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。

• A、谓词符号
• B、变量符号
• C、函数符号

正确答案:A,B,C

第4题：

一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）

正确答案:否定；合取；析取；蕴涵

第5题：

谓词逻辑中，重言式（tautlogy）的值是（）。

正确答案:真

第6题：

一阶逻辑即是指（）。

• A、概率逻辑
• B、数值逻辑
• C、图式逻辑
• D、谓词逻辑

正确答案:D

第7题：

一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？

正确答案: 一阶谓词逻辑表示法适于表示确定性的知识。
它具有自然性、精确性、严密性及易实现等特点。

第8题：

第9题：

第10题：

第11题：

第12题：

第13题：

谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）

正确答案:10

第14题：

经典命题逻辑和谓词逻辑的语义解释只有两个：真和假，0和1

正确答案:正确

第15题：

命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？

正确答案:谓词逻辑比命题逻辑更复杂，由于谓词逻辑中的变量受到量词的约束，在归结之前需要对变量进行重命名即变量标准化，而在命题逻辑中的归结则不需要。

第16题：

仅个体变元被量化的谓词称为（）

• A、一阶谓词
• B、原子公式
• C、二阶谓词
• D、全称量词

正确答案:A

第17题：

亚里士多德对形式逻辑的贡献不包括下面哪一项？（）

• A、创立了动词表和主词表
• B、创立了范畴表和谓词表
• C、提出了形式逻辑的三大规律
• D、确定了判断的定义和分类

正确答案:A

第18题：

产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？

正确答案: 产生式的基本形式是“IFPTHENQ”，其中，P是产生式的前提，用于指出该产生式是否可用的条件；Q是一组结论或操作，用于指出前提P所指示的条件被满足时，应该得出的结论或应该执行的操作。
产生式基本形式与谓词逻辑中蕴含式的共同之处是具有相同的形式。
它们的区别是：蕴含式只能表示精确性知识，其逻辑值要么为真，要么为假；而产生式不仅可以表示精确性知识，而且可以表示不精确知识。

第19题：

开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和知识的运用，知识表示的方法主要有逻辑表示法（谓词表示法），框架，产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有（）和ISA。

正确答案:AKO

第20题：

第21题：

第22题：

第23题：

第24题：