人工智能原理练习四
问答题
1． 谓词表示法表示修道士和野人渡河问题： 在河左岸有三个修道士、三个野人河一条船，修道士要把所有的人都运到河对岸，但是
a) 修道士和野人都会划船，但是船一次只能装两个人
b) 在两个岸边，野人数目不能超过修道士的数目，否则后者被吃掉 野人完全服从修道士的任何渡河方案。试图求出一种确保修道士安全的渡河方案。要写出谓词的定义，功能和变量的个体域。
2．请把下列命题用一个语义网络表示出来：
1)树和草都是植物
2)树和草都有叶和根
3)水草是草，且生长在水中
4)果树是树，且会结果
5)梨树是果树中的一种，它会结梨