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 / Report / Conference proceedingConference contributionAcademicpeer-review

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 publicationAAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems
EditorsEdith Elkind, Rafael H. Bordini, Gerhard Weiss, Pinar Yolum
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages423-432
Number of pages10
Volume1
ISBN (Electronic)9781450337694
Publication statusPublished - 1 Jan 2015
Externally publishedYes
Event14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 - Istanbul, Turkey
Duration: 4 May 20158 May 2015

Conference

Conference14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015
CountryTurkey
CityIstanbul
Period4/05/158/05/15

Fingerprint

Semantics
Temporal logic
Open systems
Compliance

Keywords

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

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. Elkind, R. H. Bordini, G. Weiss, & P. Yolum (Eds.), AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (Vol. 1, pp. 423-432). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
Van Riemsdijk, M. Birna ; Dennis, Louise ; Fisher, Michael ; Hindriks, Koen V. / A semantic framework for socially adaptive agents : Towards strong norm compliance. AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. editor / Edith Elkind ; Rafael H. Bordini ; Gerhard Weiss ; Pinar Yolum. Vol. 1 International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2015. pp. 423-432
@inproceedings{7b5f6b2c77d54127a8ae6caa4a8e91bb,
title = "A semantic framework for socially adaptive agents: Towards strong norm compliance",
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.",
keywords = "Agent programming languages, Executable temporal logic, Formal semantics, Norm compliance, Norm-aware agents",
author = "{Van Riemsdijk}, {M. Birna} and Louise Dennis and Michael Fisher and Hindriks, {Koen V.}",
year = "2015",
month = "1",
day = "1",
language = "English",
volume = "1",
pages = "423--432",
editor = "Edith Elkind and Bordini, {Rafael H.} and Gerhard Weiss and Pinar Yolum",
booktitle = "AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",

}

Van Riemsdijk, MB, Dennis, L, Fisher, M & Hindriks, KV 2015, A semantic framework for socially adaptive agents: Towards strong norm compliance. in E Elkind, RH Bordini, G Weiss & P Yolum (eds), AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. vol. 1, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), pp. 423-432, 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, 4/05/15.

A semantic framework for socially adaptive agents : Towards strong norm compliance. / Van Riemsdijk, M. Birna; Dennis, Louise; Fisher, Michael; Hindriks, Koen V.

AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. ed. / Edith Elkind; Rafael H. Bordini; Gerhard Weiss; Pinar Yolum. Vol. 1 International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2015. p. 423-432.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - A semantic framework for socially adaptive agents

T2 - Towards strong norm compliance

AU - Van Riemsdijk, M. Birna

AU - Dennis, Louise

AU - Fisher, Michael

AU - Hindriks, Koen V.

PY - 2015/1/1

Y1 - 2015/1/1

N2 - 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.

AB - 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.

KW - Agent programming languages

KW - Executable temporal logic

KW - Formal semantics

KW - Norm compliance

KW - Norm-aware agents

UR - http://www.scopus.com/inward/record.url?scp=84944682420&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84944682420&partnerID=8YFLogxK

M3 - Conference contribution

VL - 1

SP - 423

EP - 432

BT - AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems

A2 - Elkind, Edith

A2 - Bordini, Rafael H.

A2 - Weiss, Gerhard

A2 - Yolum, Pinar

PB - International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)

ER -

Van Riemsdijk MB, Dennis L, Fisher M, Hindriks KV. A semantic framework for socially adaptive agents: Towards strong norm compliance. In Elkind E, Bordini RH, Weiss G, Yolum P, editors, AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. Vol. 1. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 2015. p. 423-432