Skip to main content

Kont: Computing tradeoffs in normative multiagent systems

Kafalı, Özgur, Ajmeri, Nirav, Singh, Munindar P. (2017) Kont: Computing tradeoffs in normative multiagent systems. In: Proceedings of the 31st Conference on Artificial Intelligence (AAAI). . pp. 3006-3012.

PDF - Author's Accepted Manuscript
Download (165kB) Preview
[img]
Preview
Official URL
https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/v...

Abstract

We propose Kont, a formal framework for comparing normative multiagent systems (nMASs) by computing tradeoffs among liveness (something good happens) and safety (nothing bad happens). Safety-focused nMASs restrict agents' actions to avoid undesired enactments. However, such restrictions hinder liveness, particularly in situations such as medical emergencies. We formalize tradeoffs using norms, and develop an approach for understanding to what extent an nMAS promotes liveness or safety. We propose patterns to guide the design of an nMAS with respect to liveness and safety, and prove their correctness. We further quantify liveness and safety using heuristic metrics for an emergency healthcare application. We show that the results of the application corroborate our theoretical development.

Item Type: Conference or workshop item (Proceeding)
Subjects: Q Science > Q Science (General) > Q335 Artificial intelligence
Divisions: Faculties > Sciences > School of Computing
Faculties > Sciences > School of Computing > Security Group
Depositing User: Ozgur Kafali
Date Deposited: 02 Feb 2018 16:31 UTC
Last Modified: 24 Jul 2019 10:27 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/65868 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year