以下为湖南大学2012年人工智能考博试题，传教士和野人过河。

三（10分）设有三个传教士和三个野人打算乘船从左岸到右岸。该船负载能力是两人。任何时候，如何野人的人数超过传教士人数，那么野人就会把传教士吃掉。这样用这条船安全的把所有人都渡过去？用产生式系统表示该问题，并请用与或树描述过河的详细步骤。（注：每次过河后必须上岸）

阅读完整试题请到湖南大学页面下载

------------湖南大学2012年人工智能考博试题，传教士和野人过河