久久国产精品成人免费一区,国产自偷在线拍精品热

問答題用謂詞表示法求解農(nóng)夫、狼、山羊、白菜問題。農(nóng)夫、狼、山羊、白菜全部放在一條河的左岸，現(xiàn)在要把他們?nèi)克偷胶拥挠野度?，農(nóng)夫有一條船，過河時，除農(nóng)夫外船上至多能載狼、山羊、白菜中的一種。狼要吃山羊，山羊要吃白菜，除非農(nóng)夫在那里。似規(guī)劃出一個確保全部安全過河的計劃。請寫出所用謂詞的定義，并給出每個謂詞的功能及變量的個體域。

參考答案：

您可能感興趣的試卷

你可能感興趣的試題

1.問答題 用謂詞表示法求解機器人摞積木問題。設機器人有一只機械手，要處理的世界有一張桌子，桌上可堆放若干相同的方積木塊。機械手有4個操作積木的典型動作：從桌上揀起一塊積木；將手中的積木放到桌之上；在積木上再摞上一塊積木；從積木上面揀起一塊積木。積木世界的布局如下圖所示。

參考答案：

2.問答題 設有如下語句，請用相應的謂詞公式分別把他們表示出來：
（1）有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花。
（2）有人每天下午都去打籃球。
（3）新型計算機速度又快，存儲容量又大。
（4）不是每個計算機系的學生都喜歡在計算機上編程序。
（5）凡是喜歡編程序的人都喜歡計算機。

參考答案：

3.問答題什么是自由變元？什么是約束變元？

參考答案：當一個謂詞公式含有量詞時，區(qū)分個體變元是否受量詞的約束是很重要的。通常，把位于量詞后面的單個謂詞或者用括弧括起來的合式公...

點擊查看完整答案

4.問答題什么是論域？什么是謂詞

參考答案：論域是由所討論對象之全體構成的非空集合。論域中的元素稱為個體，論域也常稱為個體域。
在謂詞邏輯中，命題是用謂詞...

點擊查看完整答案

5.問答題什么是命題？什么是命題的真值？

參考答案：

一個陳述句稱為一個斷言，凡有真假意義的斷言稱為命題。
命題的意義通常稱為真值，當命題的意義為真時，則稱該命題的真值為真。