单项选择题
A.永真式B.永假式C.可满足式D.合取范式
谓词公式xA（x）xA（x）的类型是（）。A.永真式B.矛盾式C.非永真式的可满足式D.不属于（A），（B），...
单项选择题谓词公式xA（x）xA（x）的类型是（）。
A.永真式B.矛盾式C.非永真式的可满足式D.不属于（A），（B），（C）任何类型
关于传统程序描述正确的是（）。A.传统程序是依据某一确定的算法和数据结构来求解某一确定的问题B.传统程序一般具...
单项选择题关于传统程序描述正确的是（）。
A.传统程序是依据某一确定的算法和数据结构来求解某一确定的问题B.传统程序一般具有解释功能C.传统程序主要是面向符号处理D.传统程序有能力从错误中吸取教训，改进对某一工作的问题求解能力
专家系统的一般结构不包括（）。A.静态数据库、产生式系统B.人机接口、推理机C.知识获取机构、解释机构D.知识...
单项选择题专家系统的一般结构不包括（）。
A.静态数据库、产生式系统B.人机接口、推理机C.知识获取机构、解释机构D.知识库、动态数据库
