你可能感興趣的試題

判斷下列子句集中是否滿足？

把下列謂詞公式分別化為相應(yīng)的子句集：

判斷公式是否可合一；若可合一，則求出最一般的合一。

判斷公式是否可合一；若可合一，則求出最一般的合一。

判斷公式是否可合一；若可合一，則求出最一般的合一。

判斷公式是否可合一；若可合一，則求出最一般的合一。

判斷公式對是否可合一；若可合一，則求出最一般的合一。
P（a，b），P（x，y）

有一農(nóng)夫帶一條狼，一只羊和一框青菜與從河的左岸乘船倒右岸，但受到下列條件的限制：
（1）船太小，農(nóng)夫每次只能帶一樣?xùn)|西過河；
（2）如果沒有農(nóng)夫看管，則狼要吃羊，羊要吃菜。
請設(shè)計一個過河方案，使得農(nóng)夫、浪、羊都能不受損失的過河，畫出相應(yīng)的狀態(tài)空間圖。

請把下列命題用一個語義網(wǎng)絡(luò)表示出來：
（1）豬和羊都是動物；
（2）豬和羊都是偶蹄動物和哺乳動物；
（3）野豬是豬，但生長在森林中；
（4）山羊是羊，且頭上長著角；
（5）綿羊是一種羊，它能生產(chǎn)羊毛。