A03 - Planning and Uncertainty
学号:18364066 姓名:卢彦作
Problem 1
(a)
(b)
(c)
(d)
Problem2
(a)
move(x, a, b):
Pre: {clear(x), clear(b), on(x, a), smaller(x, b)}
Adds: {clear(a), on(x, b)}
Dels: {clear(b), on(x, a)}
move(x, y, a, b):
Pre: {clear(x), clear(b), on(x, y), on(y, a), smaller(y, b)}
Adds: {clear(a), on(y, b)}
Dels: {clear(b), on(y, a)}
KB = {clear( ), clear( ), clear( ), on( ), on( ), on( )}
GOAL= {clear( ), clear( ), clear( ), on( ), on( ), on( )}
评论0