Data-Driven Revision of Conditional Norms in Multi-Agent Systems. Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M., & Logan, B. Journal of Artificial Intelligence Research, 75:1549-1593, 2022. Link Paper Slides Poster Video Supplement abstract bibtex In multi-agent systems, norm enforcement is a mechanism for steering the behavior of individual agents in order to achieve desired system-level objectives. Due to the dynamics of multi-agent systems, however, it is hard to design norms that guarantee the achievement of the objectives in every operating context. Also, these objectives may change over time, thereby making previously defined norms ineffective. In this paper, we investigate the use of system execution data to automatically synthesise and revise conditional prohibitions with deadlines, a type of norms aimed at prohibiting agents from exhibiting certain patterns of behaviors. We propose DDNR (Data-Driven Norm Revision), a data-driven approach to norm revision that synthesises revised norms with respect to a data set of traces describing the behavior of the agents in the system. We evaluate DDNR using a state-of-the-art, offthe-shelf urban traffic simulator. The results show that DDNR synthesises revised norms that are significantly more accurate than the original norms in distinguishing adequate and inadequate behaviors for the achievement of the system-level objectives.
@article{DBLP:journals/jair/DellAnnaADDL22,
title={Data-Driven Revision of Conditional Norms in Multi-Agent Systems},
author={Davide Dell'Anna and Natasha Alechina and Fabiano Dalpiaz and Mehdi Dastani and Brian Logan},
journal = {Journal of Artificial Intelligence Research},
volume = {75},
pages = {1549-1593},
year={2022},
url_Link = {https://doi.org/10.1613/jair.1.13683},
url_Paper = {https://jair.org/index.php/jair/article/view/13683/26879},
url_Slides = {2023_IJCAI/IJCAI23_DellAnnaADDLL_Slides.pdf},
url_Poster = {2023_IJCAI/IJCAI23_DellAnnaADDLL_Poster.pdf},
url_Video = {https://ijcai-23.org/video/?vid=39005627},
url_Supplement = {https://doi.org/10.5281/zenodo.5907522},
keywords = {Data Driven Supervision Of Autonomous Systems, Norms, Multi-Agent Systems, Revision, Synthesis, Traffic Simulation},
abstract = {In multi-agent systems, norm enforcement is a mechanism for steering the behavior of individual agents in order to achieve desired system-level objectives. Due to the dynamics
of multi-agent systems, however, it is hard to design norms that guarantee the achievement of the objectives in every operating context. Also, these objectives may change over time, thereby making previously defined norms ineffective. In this paper, we investigate the use of system execution data to automatically synthesise and revise conditional prohibitions with deadlines, a type of norms aimed at prohibiting agents from exhibiting certain patterns of behaviors. We propose DDNR (Data-Driven Norm Revision), a data-driven approach to norm revision that synthesises revised norms with respect to a data set of traces describing
the behavior of the agents in the system. We evaluate DDNR using a state-of-the-art, offthe-shelf urban traffic simulator. The results show that DDNR synthesises revised norms that are significantly more accurate than the original norms in distinguishing adequate and inadequate behaviors for the achievement of the system-level objectives.}
}
Downloads: 0
{"_id":"7cZo6LuRJZPdsFdBC","bibbaseid":"dellanna-alechina-dalpiaz-dastani-logan-datadrivenrevisionofconditionalnormsinmultiagentsystems-2022","author_short":["Dell'Anna, D.","Alechina, N.","Dalpiaz, F.","Dastani, M.","Logan, B."],"bibdata":{"bibtype":"article","type":"article","title":"Data-Driven Revision of Conditional Norms in Multi-Agent Systems","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Dell'Anna"],"suffixes":[]},{"firstnames":["Natasha"],"propositions":[],"lastnames":["Alechina"],"suffixes":[]},{"firstnames":["Fabiano"],"propositions":[],"lastnames":["Dalpiaz"],"suffixes":[]},{"firstnames":["Mehdi"],"propositions":[],"lastnames":["Dastani"],"suffixes":[]},{"firstnames":["Brian"],"propositions":[],"lastnames":["Logan"],"suffixes":[]}],"journal":"Journal of Artificial Intelligence Research","volume":"75","pages":"1549-1593","year":"2022","url_link":"https://doi.org/10.1613/jair.1.13683","url_paper":"https://jair.org/index.php/jair/article/view/13683/26879","url_slides":"2023_IJCAI/IJCAI23_DellAnnaADDLL_Slides.pdf","url_poster":"2023_IJCAI/IJCAI23_DellAnnaADDLL_Poster.pdf","url_video":"https://ijcai-23.org/video/?vid=39005627","url_supplement":"https://doi.org/10.5281/zenodo.5907522","keywords":"Data Driven Supervision Of Autonomous Systems, Norms, Multi-Agent Systems, Revision, Synthesis, Traffic Simulation","abstract":"In multi-agent systems, norm enforcement is a mechanism for steering the behavior of individual agents in order to achieve desired system-level objectives. Due to the dynamics of multi-agent systems, however, it is hard to design norms that guarantee the achievement of the objectives in every operating context. Also, these objectives may change over time, thereby making previously defined norms ineffective. In this paper, we investigate the use of system execution data to automatically synthesise and revise conditional prohibitions with deadlines, a type of norms aimed at prohibiting agents from exhibiting certain patterns of behaviors. We propose DDNR (Data-Driven Norm Revision), a data-driven approach to norm revision that synthesises revised norms with respect to a data set of traces describing the behavior of the agents in the system. We evaluate DDNR using a state-of-the-art, offthe-shelf urban traffic simulator. The results show that DDNR synthesises revised norms that are significantly more accurate than the original norms in distinguishing adequate and inadequate behaviors for the achievement of the system-level objectives.","bibtex":"@article{DBLP:journals/jair/DellAnnaADDL22,\n title={Data-Driven Revision of Conditional Norms in Multi-Agent Systems}, \n author={Davide Dell'Anna and Natasha Alechina and Fabiano Dalpiaz and Mehdi Dastani and Brian Logan},\n journal = {Journal of Artificial Intelligence Research},\n volume = {75},\n pages = {1549-1593},\n year={2022},\n url_Link = {https://doi.org/10.1613/jair.1.13683},\n url_Paper = {https://jair.org/index.php/jair/article/view/13683/26879},\n url_Slides = {2023_IJCAI/IJCAI23_DellAnnaADDLL_Slides.pdf},\n url_Poster = {2023_IJCAI/IJCAI23_DellAnnaADDLL_Poster.pdf},\n url_Video = {https://ijcai-23.org/video/?vid=39005627},\n url_Supplement = {https://doi.org/10.5281/zenodo.5907522},\n keywords = {Data Driven Supervision Of Autonomous Systems, Norms, Multi-Agent Systems, Revision, Synthesis, Traffic Simulation},\n abstract = {In multi-agent systems, norm enforcement is a mechanism for steering the behavior of individual agents in order to achieve desired system-level objectives. Due to the dynamics\nof multi-agent systems, however, it is hard to design norms that guarantee the achievement of the objectives in every operating context. Also, these objectives may change over time, thereby making previously defined norms ineffective. In this paper, we investigate the use of system execution data to automatically synthesise and revise conditional prohibitions with deadlines, a type of norms aimed at prohibiting agents from exhibiting certain patterns of behaviors. We propose DDNR (Data-Driven Norm Revision), a data-driven approach to norm revision that synthesises revised norms with respect to a data set of traces describing\nthe behavior of the agents in the system. We evaluate DDNR using a state-of-the-art, offthe-shelf urban traffic simulator. The results show that DDNR synthesises revised norms that are significantly more accurate than the original norms in distinguishing adequate and inadequate behaviors for the achievement of the system-level objectives.}\n}\n\n\n","author_short":["Dell'Anna, D.","Alechina, N.","Dalpiaz, F.","Dastani, M.","Logan, B."],"key":"DBLP:journals/jair/DellAnnaADDL22","id":"DBLP:journals/jair/DellAnnaADDL22","bibbaseid":"dellanna-alechina-dalpiaz-dastani-logan-datadrivenrevisionofconditionalnormsinmultiagentsystems-2022","role":"author","urls":{" link":"https://doi.org/10.1613/jair.1.13683"," paper":"https://jair.org/index.php/jair/article/view/13683/26879"," slides":"http://davidedellanna.com/publications/2023_IJCAI/IJCAI23_DellAnnaADDLL_Slides.pdf"," poster":"http://davidedellanna.com/publications/2023_IJCAI/IJCAI23_DellAnnaADDLL_Poster.pdf"," video":"https://ijcai-23.org/video/?vid=39005627"," supplement":"https://doi.org/10.5281/zenodo.5907522"},"keyword":["Data Driven Supervision Of Autonomous Systems","Norms","Multi-Agent Systems","Revision","Synthesis","Traffic Simulation"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"http://davidedellanna.com/publications/dellanna.bib","dataSources":["6mqXRucaPuwqWyQEd","Rymgh7KJx3EhNfvG8","2pnuieZznE6L96taK"],"keywords":["data driven supervision of autonomous systems","norms","multi-agent systems","revision","synthesis","traffic simulation"],"search_terms":["data","driven","revision","conditional","norms","multi","agent","systems","dell'anna","alechina","dalpiaz","dastani","logan"],"title":"Data-Driven Revision of Conditional Norms in Multi-Agent Systems","year":2022}