A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance

M. Birna van Riemsdijk, Louise Dennis, Michael Fisher, Koen V. Hindriks

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

11 Citations (Scopus)

Abstract

We address the question of how an agent can adapt its behavior to comply with newly adopted norms. This is particularly relevant in the case of open systems where agents may enter and leave norm-governed social contexts not known at design time. This requires norms to be explicitly and separately stated and presented to an agent as rules to which it then can try to adapt its behavior.
We propose a formal semantic framework that specifies an execution mechanism for such socially adaptive agents. This framework is based on expressing norms using Linear Temporal Logic. The formality of the framework allows us to rigorously study its norm compliance properties. A weak form of norm compliance allows agents to abort execution in order to prevent norm violation. In this paper we investigate a stronger notion of norm compliance that is evaluated over infinite traces. We show that it is not possible for all agents to be strongly compliant with any arbitrary set of norms. We then investigate situations when strong norm compliance can be guaranteed.
Original languageEnglish
Title of host publicationProceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015
EditorsElkind Bordini, Yolum Weiss
Place of PublicationRichland, SC
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages423-432
Number of pages10
ISBN (Electronic)978-1-4503-3771-7
ISBN (Print)978-1-4503-3413-6
Publication statusPublished - 2015
EventAAMAS 2015: 14th International Conference on Autonomous Agents and Multiagent Systems - Istanbul, Turkey
Duration: 4 May 20158 May 2015
Conference number: 14

Conference

ConferenceAAMAS 2015: 14th International Conference on Autonomous Agents and Multiagent Systems
Abbreviated titleAAMAS 2015
CountryTurkey
CityIstanbul
Period4/05/158/05/15

Keywords

  • Norm-aware agents
  • Agent programming languages
  • Norm compliance
  • Formal semantics
  • Executable temporal logic

Fingerprint Dive into the research topics of 'A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance'. Together they form a unique fingerprint.

  • Cite this

    van Riemsdijk, M. B., Dennis, L., Fisher, M., & Hindriks, K. V. (2015). A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. In E. Bordini, & Y. Weiss (Eds.), Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 (pp. 423-432). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). https://dl.acm.org/citation.cfm?id=2772879.2772935