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