artificial intelligence - Actions and effect axioms -
i want create axiom-action tha enable agent move or down between doors if robot in lift node, , if route connects 2 lift nodes
a map shows structure of building. each node either represent room (rn) or lift (ln). robot can either move between rooms (solid lines), or move between oors (dashed lines). robots needs specify direction (up/down) when taking lift.
i thinking of like:
isrobot(r) , isedge(e) , islift(x) , islift(y) , isfloor(floor1) , isfloor(floor2) , -(x==y) , -(floor1==floor2) , at(inside(r,x),floor1) , edgefrom(e,x,y)ad=>goup(inside(r,y),floor2) or godown(inside(r,y),floor2)
my predicates are: move(x,y)- edgefrom(x,y,z)- at(x,y) inside(x,y)- dusting(x,y)- isclean(x)-
isroom(x)- isedge(x)- isfloor(x)- goup(x,y)- godown(x,y) islift(x) isrobot(x)
did formalized action right?if not should do?
you should @ pddl , strips documentations; it'll help.
http://planning.cis.strath.ac.uk/competition/
they have sample problems; should able go along.
all best.
Comments
Post a Comment