知识表示的方法主要有逻辑表示法（谓词表示法），框架，产生式和______等。

B.框架表示法

C.语义网络表示法

D.产生式表示法

B.产生式系统

C.启发式搜索

D.脚本表示法

此题为判断题(对，错)。

B、精确性

C、严密性

D、易实现

B.自然性

C.通用性

D.以上都对

此题为判断题(对，错)。

B.语义网络

C.产生式

D.逻辑表示

命题逻辑中，公式是的逻辑结果当且仅当公式是是( )的。

A、永真

B、永假

C、可满足

D、不可满足