`land'' for the symbol ∧ ``lor'' for the symbol ∨ ``lnot'' for the symbol ¬``is_not'' for the symbol≠. Consider a tiny Robot World (robot R in a room) which has two actions: walkout: R walks out of the room unlock: R unlocks the door. two fluents: DoorLocked: the room door is locked, InsideRoom: R is inside the room. a) R can walk out of the room iff R is inside the room and the door is not locked. Meanwhile, R can unlock the door if it is locked. Write the precondition axioms for these two actions. b) Consequence of the action walking-out is that the fluent InsideRoom becomes false. Consequence of the action of unlocking is that DoorLocked is false. Assuming explanation closure, write the successor state axioms for these two fluents. c) If in the initial state S0, we have both fluents (DoorLocked, InsideRoom) true, would the following sequence of actions a legal one? do(walkout, do(unlock, S0)) If yes, what would be the fluent values in the state resulting from executing the sequence. d) Again if in the initial state S0, we have DoorLocked, InsideRoom, would the following sequence a legal one? do(unlock, do(walkout, S0)) If yes, what would be the fluent values in the state resulting from executing the sequence
Note that for this question, you can in addition use
``land'' for the symbol ∧
``lor'' for the symbol ∨
``lnot'' for the symbol ¬``is_not'' for the symbol≠.
Consider a tiny Robot World (robot R in a room) which has two actions:
walkout: R walks out of the room
unlock: R unlocks the door.
two fluents:
DoorLocked: the room door is locked,
InsideRoom: R is inside the room.
a) R can walk out of the room iff R is inside the room and the door is not locked. Meanwhile, R can unlock the door if it is locked. Write the precondition axioms for these two actions.
b) Consequence of the action walking-out is that the fluent InsideRoom becomes false. Consequence of the action of unlocking is that DoorLocked is false. Assuming explanation closure, write the successor state axioms for these two fluents.
c) If in the initial state S0, we have both fluents (DoorLocked, InsideRoom) true, would the following sequence of actions a legal one?
do(walkout, do(unlock, S0))
If yes, what would be the fluent values in the state resulting from executing the sequence.
d) Again if in the initial state S0, we have DoorLocked, InsideRoom, would the following sequence a legal one?
do(unlock, do(walkout, S0))
If yes, what would be the fluent values in the state resulting from executing the sequence.
Step by step
Solved in 3 steps
