定義謂詞及個體。設(shè)LIKE(x,y)表示:x喜歡y,Dengshan表示登山,Youyong表示游泳。 則:
設(shè)有三個大小不等的圓盤A、B、C套在一根軸上,每個圓盤上都標(biāo)有數(shù)字1、2、3,并且每個圓盤都可以獨(dú)立地繞軸做逆時針轉(zhuǎn)動,每次轉(zhuǎn)動90。,其初始狀態(tài)和目標(biāo)狀態(tài)下圖所示。
搜索樹如下圖所示: