四元组S表示状态，即S＝(农夫，狼，羊，菜) 用0表示在左岸，1表示在右岸 ;
初始状态：(0,0,0,0);
目标状态：(1,1,1,1)
后继函数：用来产生四个行为（农夫自己过河，农夫带羊过河，农夫带狼过河，农夫带菜过河）能够达到合法状态。
目标测试：用来检测农夫、羊、狼、菜是否都安全到达右岸。
路径耗散：每过一次过河的耗散值为1,因此整个路径的耗散值是农夫过河的总次数。
作业3.5
原文：http://www.cnblogs.com/liqinghua/p/4357863.html
