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