Norm approximation for imperfect monitors
In this paper, we consider the runtime monitoring of norms with imperfect monitors. A monitor is imperfect for a norm if it has insufficient observational capabilities to determine if a given execution trace of a multi-agent system complies with or violates the norm. One approach to the problem of i...
| Main Authors: | , , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2014
|
| Online Access: | https://eprints.nottingham.ac.uk/30181/ |
| _version_ | 1848793937315102720 |
|---|---|
| author | Alechina, Natasha Dastani, Mehdi Logan, Brian |
| author_facet | Alechina, Natasha Dastani, Mehdi Logan, Brian |
| author_sort | Alechina, Natasha |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | In this paper, we consider the runtime monitoring of norms with imperfect monitors. A monitor is imperfect for a norm if it has insufficient observational capabilities to determine if a given execution trace of a multi-agent system complies with or violates the norm. One approach to the problem of imperfect monitors is to enhance the observational capabilities of the normative organisation. However this may be costly or in some cases impossible. Instead we show how to synthesise an approximation of an 'ideal' norm that can be perfectly monitored given a monitor, and which is optimal in the sense that any other approximation would fail to detect at least as many violations of the ideal norm. We give a logical analysis of (im)perfect monitors. We state the computational complexity of the norm approximation problem, and give an optimal algorithm for generating optimal approximations of norms given a monitor. |
| first_indexed | 2025-11-14T19:08:14Z |
| format | Conference or Workshop Item |
| id | nottingham-30181 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:08:14Z |
| publishDate | 2014 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-301812020-05-04T16:48:25Z https://eprints.nottingham.ac.uk/30181/ Norm approximation for imperfect monitors Alechina, Natasha Dastani, Mehdi Logan, Brian In this paper, we consider the runtime monitoring of norms with imperfect monitors. A monitor is imperfect for a norm if it has insufficient observational capabilities to determine if a given execution trace of a multi-agent system complies with or violates the norm. One approach to the problem of imperfect monitors is to enhance the observational capabilities of the normative organisation. However this may be costly or in some cases impossible. Instead we show how to synthesise an approximation of an 'ideal' norm that can be perfectly monitored given a monitor, and which is optimal in the sense that any other approximation would fail to detect at least as many violations of the ideal norm. We give a logical analysis of (im)perfect monitors. We state the computational complexity of the norm approximation problem, and give an optimal algorithm for generating optimal approximations of norms given a monitor. 2014-05-05 Conference or Workshop Item PeerReviewed Alechina, Natasha, Dastani, Mehdi and Logan, Brian (2014) Norm approximation for imperfect monitors. In: 13th International Conference on Autonomous Agents & Multiagent Systems AAMAS 2014, 5-9 May 2014, Paris, France. http://dl.acm.org/citation.cfm?id=2615753 |
| spellingShingle | Alechina, Natasha Dastani, Mehdi Logan, Brian Norm approximation for imperfect monitors |
| title | Norm approximation for imperfect monitors |
| title_full | Norm approximation for imperfect monitors |
| title_fullStr | Norm approximation for imperfect monitors |
| title_full_unstemmed | Norm approximation for imperfect monitors |
| title_short | Norm approximation for imperfect monitors |
| title_sort | norm approximation for imperfect monitors |
| url | https://eprints.nottingham.ac.uk/30181/ https://eprints.nottingham.ac.uk/30181/ |