Professional Documents
Culture Documents
Planning
Solutions of Lab
(Submitted to: Mr. Ali Zia)
Bcsf7-58
03-Jan-11
1: Ground actions can be performed:
For “Move Left” two actions are invalid i.e. if we are in block “A” or “D”.
Predicates:
1. Vacuum (Machine)
2. Dirty (Room)
3. Suck (Room, Machine)
4. Move(x)
Vacuum cleaner (x, y) ˄ Dirty (room) ˄ (~x ˅~y) ˄ Suck (dirty, vacuum cleaner)
CleanRoom
Vacuum (Dirty)