River Crossing Puzzle in Artificial Intelligence