A robot moves into rooms R1 and R2 and switch the bulbs B1 and B2 on/off. The following are the action schema: 1. goto(r, x1, x2) : robot r go to x2 from x1 2. switchON(s): switchON the bulb s 3....

A robot moves into rooms R1 and R2 and switch the bulbs B1 and B2 on/off.

The following are the action schema:
1. goto(r, x1, x2) : robot r go to x2 from x1
2. switchON(s): switchON the bulb s
3. switchOFF(s): switchOFF the bulb s

1. Write down preconditions and effects of the above actions.

2. Consider the following:

(i) Initial state: < r1;r2;b1;b2="">: Robot is at Room R1 not in Room R2 and both bulbs are off.
(ii) Goal state: < r2;b1;b2="">: Robot is at Room R2 and both bulbs are ON.


Draw state space diagram for the above by drawing to all possible states.