你可能感興趣的試題

答案：支持集策略要求在每次歸結(jié)時(shí)，親本子句中至少應(yīng)有一個(gè)是由目標(biāo)的否定所得到的子句或者它們的后代。

答案：有格式的數(shù)據(jù)經(jīng)過處理、解釋過程會(huì)形成信息，而把有關(guān)的信息關(guān)聯(lián)到一起，經(jīng)過處理過程就形成了知識(shí)。
知識(shí)表示是研究...