@inproceedings{dellanna2023ddnr,
      title={Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)}, 
      author={Davide Dell'Anna and Natasha Alechina and Fabiano Dalpiaz and Mehdi Dastani and Brian Logan},
      booktitle = {Proceedings of the 32nd International Joint Conference on Artificial Intelligence, {IJCAI} 2023},
      year={2023},
      pages = {6868--6872},
      note = {Journal Track},
      url_Link = {https://doi.org/10.24963/ijcai.2023/773},
      url_Paper = {https://www.ijcai.org/proceedings/2023/0773.pdf},
      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 preventing 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, off-the-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.}
}

{"_id":"Fahni4ndbLbDie5Ct","bibbaseid":"dellanna-alechina-dalpiaz-dastani-logan-datadrivenrevisionofconditionalnormsinmultiagentsystemsextendedabstract-2023","author_short":["Dell'Anna, D.","Alechina, N.","Dalpiaz, F.","Dastani, M.","Logan, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)","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":[]}],"booktitle":"Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023","year":"2023","pages":"6868–6872","note":"Journal Track","url_link":"https://doi.org/10.24963/ijcai.2023/773","url_paper":"https://www.ijcai.org/proceedings/2023/0773.pdf","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 preventing 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, off-the-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":"@inproceedings{dellanna2023ddnr,\n title={Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)}, \n author={Davide Dell'Anna and Natasha Alechina and Fabiano Dalpiaz and Mehdi Dastani and Brian Logan},\n booktitle = {Proceedings of the 32nd International Joint Conference on Artificial Intelligence, {IJCAI} 2023},\n year={2023},\n pages = {6868--6872},\n note = {Journal Track},\n url_Link = {https://doi.org/10.24963/ijcai.2023/773},\n url_Paper = {https://www.ijcai.org/proceedings/2023/0773.pdf},\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 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 preventing 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, off-the-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","author_short":["Dell'Anna, D.","Alechina, N.","Dalpiaz, F.","Dastani, M.","Logan, B."],"key":"dellanna2023ddnr","id":"dellanna2023ddnr","bibbaseid":"dellanna-alechina-dalpiaz-dastani-logan-datadrivenrevisionofconditionalnormsinmultiagentsystemsextendedabstract-2023","role":"author","urls":{" link":"https://doi.org/10.24963/ijcai.2023/773"," paper":"https://www.ijcai.org/proceedings/2023/0773.pdf"," 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":"inproceedings","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","extended","abstract","dell'anna","alechina","dalpiaz","dastani","logan"],"title":"Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)","year":2023}