用謂詞表示法表示修道士和野人的問題 在河的左岸有三個(gè)修道士，三個(gè)野人和一條船，修道士想用這條船把所有的人都運(yùn)到河對(duì)岸，但要受到以下條件限制： （1） 修道士和野人都會(huì)劃船，但船一次只能裝運(yùn)兩個(gè)人。 （2） 在任何岸邊，野人數(shù)不能超過(guò)修道士，否則修道士會(huì)被野人吃掉。 假定野人愿意服從任何一種過(guò)河安排，請(qǐng)規(guī)劃出一種確保修道士安全的過(guò)河方案。要求寫出所用謂詞的定義、功能及變量的個(gè)體域。
標(biāo)簽：
表示法
上傳時(shí)間：
2014-01-18
上傳用戶：star_in_rain
