首页->东数西算
(A)一阶谓词逻辑是谓词逻辑中最直观的一种逻辑
(B)常见的语义网络形式有命题语义网络、数据语义网络、语言语义网络等
(C)框架不可以直接用于表示规则
(D)广度优先的正例有积木问题等