Automated Verification of Social Law Robustness in STRIPS. Erez Karpas, A. S. & Tennenholtz, M. In Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16), 2016. abstract bibtex Agents operating in a multi-agent system must consider not just their own 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 good social law prevents the agents from interfering with each other, but does not prevent them from achieving their goals. However, designing good social laws, or even checking whether a proposed social law is good, are hard questions. In this paper, we take a first step towards automating these processes, by formulating criteria for good social laws in a multi-agent planning framework. We then describe an automated technique for verifying if a proposed social law meets these criteria, which is based on a compilation to classical planning.
@INPROCEEDINGS{dmap2016karpas,
author = {Erez Karpas, Alexander Shleyfman and Moshe Tennenholtz},
title = {Automated Verification of Social Law Robustness in STRIPS},
booktitle = {Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16)},
abstract = {Agents operating in a multi-agent system must consider not just their own 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 good social law prevents the agents from interfering with each other, but does not prevent them from achieving their goals. However, designing good social laws, or even checking whether a proposed social law is good, are hard questions. In this paper, we take a first step towards automating these processes, by formulating criteria for good social laws in a multi-agent planning framework. We then describe an automated technique for verifying if a proposed social law meets these criteria, which is based on a compilation to classical planning.},
year = {2016}
}
Downloads: 0
{"_id":"F5x8JgT2fHg4pJ2vf","bibbaseid":"erezkarpas-tennenholtz-automatedverificationofsociallawrobustnessinstrips-2016","downloads":0,"creationDate":"2016-05-19T13:19:42.192Z","title":"Automated Verification of Social Law Robustness in STRIPS","author_short":["Erez Karpas, A. S.","Tennenholtz, M."],"year":2016,"bibtype":"inproceedings","biburl":"http://icaps16.icaps-conference.org/dmap16.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Erez","Karpas"],"firstnames":["Alexander","Shleyfman"],"suffixes":[]},{"firstnames":["Moshe"],"propositions":[],"lastnames":["Tennenholtz"],"suffixes":[]}],"title":"Automated Verification of Social Law Robustness in STRIPS","booktitle":"Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16)","abstract":"Agents operating in a multi-agent system must consider not just their own 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 good social law prevents the agents from interfering with each other, but does not prevent them from achieving their goals. However, designing good social laws, or even checking whether a proposed social law is good, are hard questions. In this paper, we take a first step towards automating these processes, by formulating criteria for good social laws in a multi-agent planning framework. We then describe an automated technique for verifying if a proposed social law meets these criteria, which is based on a compilation to classical planning.","year":"2016","bibtex":"@INPROCEEDINGS{dmap2016karpas,\nauthor = {Erez Karpas, Alexander Shleyfman and Moshe Tennenholtz},\ntitle = {Automated Verification of Social Law Robustness in STRIPS},\nbooktitle = {Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16)},\nabstract = {Agents operating in a multi-agent system must consider not just their own 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 good social law prevents the agents from interfering with each other, but does not prevent them from achieving their goals. However, designing good social laws, or even checking whether a proposed social law is good, are hard questions. In this paper, we take a first step towards automating these processes, by formulating criteria for good social laws in a multi-agent planning framework. We then describe an automated technique for verifying if a proposed social law meets these criteria, which is based on a compilation to classical planning.},\nyear = {2016}\n}\n\n","author_short":["Erez Karpas, A. S.","Tennenholtz, M."],"key":"dmap2016karpas","id":"dmap2016karpas","bibbaseid":"erezkarpas-tennenholtz-automatedverificationofsociallawrobustnessinstrips-2016","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["automated","verification","social","law","robustness","strips","erez karpas","tennenholtz"],"keywords":[],"authorIDs":[],"dataSources":["YTEH97APBj4BGmm5u"]}