传教士野人渡河问题，采用人工智能分析方法。