問(wèn)答題
優(yōu)點(diǎn):自然性、模塊性、有效性 缺點(diǎn):效率低性、不方便表示結(jié)構(gòu)性知識(shí)的有向圖
用謂詞表示法求解修道士和野人問(wèn)題。在河的北岸有三個(gè)修道士、三個(gè)野人和一條船,修道士們想用這條船將所有的人都運(yùn)過(guò)河去,但要受到以下條件限制: (1)修道士和野人都會(huì)劃船,但船一次只能裝運(yùn)兩個(gè)人。 (2)在任何岸邊,野人數(shù)不能超過(guò)修道士,否則修道士會(huì)被野人吃掉。 假定野人愿意服從任何一種過(guò)河安排,請(qǐng)規(guī)劃出一種確保修道士安全的過(guò)河方案。要求寫出所用謂詞的定義、功能及變量的個(gè)體域。
用謂詞表示法求解機(jī)器人摞積木問(wèn)題。設(shè)機(jī)器人有一只機(jī)械手,要處理的世界有一張桌子,桌上可堆放若干相同的方積木塊。機(jī)械手有4個(gè)操作積木的典型動(dòng)作:從桌上揀起一塊積木;將手中的積木放到桌之上;在積木上再摞上一塊積木;從積木上面揀起一塊積木。積木世界的布局如下圖所示。
設(shè)有如下語(yǔ)句,請(qǐng)用相應(yīng)的謂詞公式分別把他們表示出來(lái): (1)有的人喜歡梅花,有的人喜歡菊花,有的人既喜歡梅花又喜歡菊花。 (2)有人每天下午都去打籃球。 (3)新型計(jì)算機(jī)速度又快,存儲(chǔ)容量又大。 (4)不是每個(gè)計(jì)算機(jī)系的學(xué)生都喜歡在計(jì)算機(jī)上編程序。 (5)凡是喜歡編程序的人都喜歡計(jì)算機(jī)。
一個(gè)陳述句稱為一個(gè)斷言,凡有真假意義的斷言稱為命題。 命題的意義通常稱為真值,當(dāng)命題的意義為真時(shí),則稱該命題的真值為真。