多項(xiàng)選擇題

基于規(guī)則的正向演繹系統(tǒng)的使用條件()

A.事實(shí)表達(dá)式是任意形式
B.規(guī)則形式為:L→W或L1∨L2→W,其中L為單文字,W為任意形式
C.目標(biāo)公式為文字析取形
D.目標(biāo)公式是任意形式

微信掃碼免費(fèi)搜題