單項(xiàng)選擇題

已知初始問(wèn)題的描述,通過(guò)一系列變換把此問(wèn)題最終變?yōu)橐粋€(gè)子問(wèn)題集合;這些子問(wèn)題的解可以直接得到,從而解決了初始問(wèn)題。這是知識(shí)表示法叫()

A.狀態(tài)空間法
B.問(wèn)題歸約法
C.謂詞邏輯法
D.語(yǔ)義網(wǎng)絡(luò)法

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