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

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

简答题查看答案

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

填空题查看答案

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

填空题查看答案

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

填空题查看答案

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

简答题查看答案

常量的数据类型是数值型？字符型？日期型？逻辑型？和屏幕型5种

判断题查看答案

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

填空题查看答案

逻辑值的“真”和“假”可以用逻辑常量TRUE和FALSE表示。

判断题查看答案

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

简答题查看答案