一、实验目的
求解猴子摘香蕉问题，根据猴子不同的位置，求解猴子的移动范围，求解对应的过程，针对不同的目标状态进行求解。
二、实验内容
根据场景有猴子、箱子、香蕉，香蕉挂天花板上。定义多种谓词描述位置、状态等。
有从一处走到另一处、推箱子、爬到箱子、拿到香蕉 4 种操作。需输出猴子摘香蕉的四步步骤及对应谓词，从初始状态（猴子位置、箱子位置、香蕉位置，香蕉挂天花板、猴手空、猴不在箱上）达到目标状态（猴拿香蕉且在箱上）。
# -*- coding: utf-8 -*-
'''
人工智能：知识表示：谓词公式表示
实验1：猴子摘香蕉问题 Python代码
'''
'''定义类保存猴子位置、箱子位置、香蕉位置等信息'''
'''
拔高1:输出猴子进行某step之前的状态
拔高2：加入猴子伸手的高度、箱子的高度、香蕉被挂在墙上的高度
拔高3：加入前端代码，增加动画演示
'''
class predicate():
monky = 0
box = 0
banana = 0
monbox = 0
# 全局变量, 表示步骤Step数量
iStep = 0
def __init__(self, monky=0, box=0, banana=0, monbox=0):
''' Initialize '''
self.monky = monky # 猴子的位置
self.box = box # 箱子的位置
self.banana = banana # 香蕉的位置
self.monbox = monbox # -1(或<0)， 猴子不在箱子上
# 1(或>=0)， 猴子在箱子上
self.monkyName = 'monky'
self.boxName = 'box'
self.bananaName = 'banana'
self.iStep = 0
def displayInit(self):
''' 输出初始位置信息 '''
self.AT(self.monkyName, self.monky)
self.BOX(self.box)
self.BAN(self.banana)
self.OVER(self.bananaName)
self.EMPTY(self.monkyName)
if self.monbox < 0:
self.NOT_ON(self.monkyName, self.boxName)
elif self.monbox >= 0:
self.ON(self.monkyName, self.boxName)
def displayFinal(self):
''' 输出最终位置信息 '''
self.AT(self.monkyName, self.banana)
self.BOX(self.banana)
self.BAN(self.banana)
self.HOLD(self.monkyName, self.bananaName)
if self.monbox < 0:
self.NOT_ON(self.monkyName, self.boxName)
elif self.monbox >= 0:
self.ON(self.monkyName, self.boxName)
def AT(self, x, y):
'''猴子在y位置上'''
print('--------' + str(x) + '在' + str(y) + '位置上--------')
def BOX(self, y):
'''箱子在y的位置'''
print('--------箱子在' + str(y) + '位置上--------')
def BAN(self, y):
'''香蕉在y的位置'''
print('--------香蕉在' + str(y) + '位置上--------')
def OVER(self, x):
'''x被挂在天花版上'''
print('--------' + str(x) + '被挂在天花版上--------')
def EMPTY(self, x):
'''x手中是空的'''
print('--------' + str(x) + '手中是空的--------')
def HOLD(self, x, z):
'''x拿着z'''
print('--------' + str(x) + '拿着' + str(z) + '--------')
def ON(self, x, w):
'''x在w上面'''
print('--------' + str(x) + '在' + str(w) + '的上面--------')
def NOT_ON(self, x, w):
'''x不在w的上面'''
print('--------' + str(x) + '不在' + str(w) + '的上面--------')
def monkeyGoBox(self):
''' GOTO(x,y)：从x处走到y处 '''
self.iStep = self.iStep + 1
if self.monky != self.box:
''' 猴子与箱子不在同一位置 '''
print('step' + str(self.iStep) + ': monkey从位置' + str(self.monky) + '走到位置' + str(self.box))
if self.monbox < 0:
self.AT(self.monkyName, self.box)
else:
''' 猴子与箱子在同一位置 '''
print('step' + str(self.iStep) + ': monkey在位置' + str(self.monky) + ', box在位置' + str(self.box) + \
',猴子已经在箱子处')
def monkeyMoveBox(self):
''' PUSH(x,y)：把箱子从x处推到y处 '''
self.iStep = self.iStep + 1
if self.box != self.banana:
''' 箱子与香蕉不在同一位置 '''
print('step' + str(self.iStep) + ': monkey把箱子从位置' + str(self.box) + '运到位置' + str(self.banana))
self.AT(self.monkyName, self.banana)
self.AT(self.boxName, self.banana)
else:
''' 箱子与香蕉在同一位置 '''
print('step' + str(self.iStep) + ': box在位置' + str(self.box) + ', banana在位置' + str(self.banana), \
', 箱子已在香蕉处')
def monkeyOnBox(self):
''' CLIMB(x)：从x处爬上箱子 '''
self.iStep = self.iStep + 1
print('step' + str(self.iStep) + ': monkey从位置' + str(self.banana) + '处爬上箱子')
self.ON(self.monkyName, self.boxName)
self.monbox = 1
def monkeyGetBanana(self):
''' GET(x):从x处得到香蕉 '''
self.iStep = self.iStep + 1
print('step' + str(self.iStep) + ': monkey从位置' + str(self.banana) + '处摘到香蕉')
self.HOLD(self.monkyName, self.bananaName)
def doWork(self):
''' main '''
self.monkeyGoBox()
self.monkeyMoveBox()
self.monkeyOnBox()
self.monkeyGetBanana()
# 只在当前文件作为脚本直接执行时运行，被其他脚本调用时不执行
if __name__ == '__main__':
monkey = input("请输入猴子位置：")
banana = input("请输入香蕉位置：")
box = input("请输入箱子位置：")
# 创建对象
p = predicate(monkey, banana, box, -1)
print('初始位置信息：')
p.displayInit()
print('操作步骤如下：')
#请用最少步骤完成猴子摘香蕉任务
###########开始#############
p.doWork()
print('最终位置信息：')
p.displayFinal()
结果：
