.1.猴子香蕉问题已知一串香蕉挂在天花板上，猴子直接去拿是够不到的，但猴子可以走动且可以搬着梯子走动，也可以爬上梯子来达到吃香蕉的目的。用谓词逻辑描述该问题，并求得该问题的目标状态（猴子吃到香蕉列）。首先引入谓词P(x,y,z,s)表示猴子位于x处，香蕉位于y 处，梯子位于z处，相应的状态为s。或说猴子在x 处，香蕉在y 处，梯子在z处，而状态又为s时，谓词P(x,y,z,s)方为真。R(s)表示s状态下猴子吃到香蕉。ANS(s)表示形式谓词 ，只是为求得回答的动作序列而虚设的。其次引入状态转移函数。Walk (y,z,s)表示原状态s下，在walk作用下猴子从y走到z 处所建立的一个新状态。Carry(y,z,s)表示原状态s 下，在Carry 作用下猴子搬着梯子从y走到z 处建立的一个新状态。Climb(s) 表示原状态s下，在Climb作用下猴子爬上梯子所建立的一个新状态。设初始状态为S0,猴子位于a,香蕉位于b ,梯子位于c。问题可描述如下：(x)(y)(z)(s)(P(x,y,z,s)P(z,y,z,
