(a) Using the logical rules find a scenario (proof) that the surveillance goal is satisfied. (b) Is this the scenario with the minimal number of moves? Find at least one other scenario. How could the...

(a) Using the logical rules find a scenario (proof) that the surveillance goal is satisfied. (b) Is this the scenario with the minimal number of moves? Find at least one other scenario. How could the rules be modified to ensure that the bots do not go in cycles? How can the reasoning strategy be adapted so that the robots cooperate (they do not both move to the opposite corner, then move back). (Hints can be found in Ref [23].)