問答題

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

答案：

你可能感興趣的試題

【簡答題】
設(shè)有如下語句，請(qǐng)用相應(yīng)的謂詞公式分別把他們表示出來：
（1）有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花。
（2）有人每天下午都去打籃球。
（3）新型計(jì)算機(jī)速度又快，存儲(chǔ)容量又大。
（4）不是每個(gè)計(jì)算機(jī)系的學(xué)生都喜歡在計(jì)算機(jī)上編程序。
（5）凡是喜歡編程序的人都喜歡計(jì)算機(jī)。

答案：

【簡答題】什么是自由變?cè)?？什么是約束變?cè)?/h4>

答案：當(dāng)一個(gè)謂詞公式含有量詞時(shí)，區(qū)分個(gè)體變?cè)欠袷芰吭~的約束是很重要的。通常，把位于量詞后面的單個(gè)謂詞或者用括弧括起來的合式公...