ON THE AUTOMATIC SYNTHESIS OF SOCIAL LAWS FOR MOBILE ROBOTS - A STUDYIN ARTIFICIAL SOCIAL-SYSTEMS

We introduce an algorithm for the automatic synthesis of social laws f or mobile robots. Our algorithm generates useful social laws for any 2 -connected grid-like environment with arbitrary obstacles. We prove th at the social laws generated by our algorithm enable the agents to ach ieve their goals while preventing collisions. Moreover, computer simul ations show that the social laws generated by the algorithm lead to ef ficient behavior in a large set of environments. Our work bridges the gap between work on the automatic synthesis of social laws in abstract models, and work on hand-crafting social laws for a particular domain .