相关考题
-
单项选择题
以下哪个是著名的地质勘探专家系统（）。
A.MYCIN
B.KAS
C.PROSPECTOR
D.EMYCIN -
单项选择题
命题公式（PQ）P是（）。
A.永真式
B.永假式
C.可满足式
D.合取范式 -
单项选择题
谓词公式xA（x）xA（x）的类型是（）。
A.永真式
B.矛盾式
C.非永真式的可满足式
D.不属于（A），（B），（C）任何类型
