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

enter image description here

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

Popular posts from this blog

c# - How to set Z index when using WPF DrawingContext? -

razor - Is this a bug in WebMatrix PageData? -

visual c++ - Using relative values in array sorting ( asm ) -