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. (KAR id:65868)

PDF Author's Accepted Manuscript
Language: English
Download (165kB) Preview
[thumbnail of AAAI-17-Kont.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Ozgur Kafali
Date Deposited: 02 Feb 2018 16:31 UTC
Last Modified: 16 Feb 2021 13:52 UTC
Resource URI: (The current URI for this page, for reference purposes)
Kafalı, Özgur:
  • Depositors only (login required):


Downloads per month over past year