Automated Verification of Social Law Robustness in STRIPS. Karpas, E., Shleyfman, A., & Tennenholtz, M. In Paper 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 and Alexander Shleyfman and Moshe Tennenholtz},
title = {Automated Verification of Social Law Robustness in STRIPS},
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.},
url = {https://icaps16.icaps-conference.org/proceedings/dmap16.pdf#page=76}
}
Downloads: 0
{"_id":"QysWDv38vXBAJamrC","bibbaseid":"karpas-shleyfman-tennenholtz-automatedverificationofsociallawrobustnessinstrips","downloads":0,"creationDate":"2016-05-19T15:13:08.669Z","title":"Automated Verification of Social Law Robustness in STRIPS","author_short":["Karpas, E.","Shleyfman, A.","Tennenholtz, M."],"year":null,"bibtype":"inproceedings","biburl":"icaps16.icaps-conference.org/dmap16.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Erez"],"propositions":[],"lastnames":["Karpas"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Shleyfman"],"suffixes":[]},{"firstnames":["Moshe"],"propositions":[],"lastnames":["Tennenholtz"],"suffixes":[]}],"title":"Automated Verification of Social Law Robustness in STRIPS","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.","url":"https://icaps16.icaps-conference.org/proceedings/dmap16.pdf#page=76","bibtex":"@INPROCEEDINGS{dmap2016karpas,\nauthor = {Erez Karpas and Alexander Shleyfman and Moshe Tennenholtz},\ntitle = {Automated Verification of Social Law Robustness in STRIPS},\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.},\nurl = {https://icaps16.icaps-conference.org/proceedings/dmap16.pdf#page=76}\n}\n\n","author_short":["Karpas, E.","Shleyfman, A.","Tennenholtz, M."],"key":"dmap2016karpas","id":"dmap2016karpas","bibbaseid":"karpas-shleyfman-tennenholtz-automatedverificationofsociallawrobustnessinstrips","role":"author","urls":{"Paper":"https://icaps16.icaps-conference.org/proceedings/dmap16.pdf#page=76"},"metadata":{"authorlinks":{}}},"search_terms":["automated","verification","social","law","robustness","strips","karpas","shleyfman","tennenholtz"],"keywords":[],"authorIDs":[],"dataSources":["YTEH97APBj4BGmm5u","oF6o5YwZvH6DhpPhw"]}