@article{Nir_Shleyfman_Karpas_2020, title={Automated Synthesis of Social Laws in STRIPS}, volume={34}, url={https://ojs.aaai.org/index.php/AAAI/article/view/6549}, DOI={10.1609/aaai.v34i06.6549}, abstractNote={<p>Agents operating in a multi-agent environment must consider not just their actions, but also those of the other agents in the system. Artificial social systems are a well-known means for coordinating a set of agents, without requiring centralized planning or online negotiation between agents. Artificial social systems enact a social law which restricts the agents from performing some actions under some circumstances. A robust social law prevents the agents from interfering with each other, but does not prevent them from achieving their goals. Previous work has addressed how to check if a given social law, formulated in a variant of <span style="font-variant: small-caps;">ma-strips</span>, is robust, via compilation to planning. However, the social law was manually specified. In this paper, we address the problem of automatically synthesizing a robust social law for a given multi-agent environment. We treat the problem of social law synthesis as a search through the space of possible social laws, relying on the robustness verification procedure as a goal test. We also show how to exploit additional information produced by the robustness verification procedure to guide the search.</p>}, number={06}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Nir, Ronen and Shleyfman, Alexander and Karpas, Erez}, year={2020}, month={Apr.}, pages={9941-9948} }