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

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

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

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

Interactive Intelligence

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

17 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 language	English
Title of host publication	Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015
Editors	Elkind Bordini, Yolum Weiss
Place of Publication	Richland, SC
Publisher	International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages	423-432
Number of pages	10
ISBN (Electronic)	978-1-4503-3771-7
ISBN (Print)	978-1-4503-3413-6
Publication status	Published - 2015
Event	AAMAS 2015: 14th International Conference on Autonomous Agents and Multiagent Systems - Istanbul, Turkey Duration: 4 May 2015 → 8 May 2015 Conference number: 14

Conference

Conference	AAMAS 2015: 14th International Conference on Autonomous Agents and Multiagent Systems
Abbreviated title	AAMAS 2015
Country/Territory	Turkey
City	Istanbul
Period	4/05/15 → 8/05/15

Keywords

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

Access to Document

https://dl.acm.org/citation.cfm?id=2772879.2772935

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

van Riemsdijk, M. Birna ; Dennis, Louise ; Fisher, Michael et al. / A Semantic Framework for Socially Adaptive Agents : Towards strong norm compliance. Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015. editor / Elkind Bordini ; Yolum Weiss. Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2015. pp. 423-432

@inproceedings{b48be234b80b4c1bbacddd3d8f7d7225,

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 = "Norm-aware agents, Agent programming languages, Norm compliance, Formal semantics, Executable temporal logic",

author = "{van Riemsdijk}, {M. Birna} and Louise Dennis and Michael Fisher and Hindriks, {Koen V.}",

year = "2015",

language = "English",

isbn = "978-1-4503-3413-6",

pages = "423--432",

editor = "Elkind Bordini and Yolum Weiss",

booktitle = "Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015",

publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",

note = "AAMAS 2015: 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 ; Conference date: 04-05-2015 Through 08-05-2015",

}

van Riemsdijk, MB, Dennis, L, Fisher, M & Hindriks, KV 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. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Richland, SC, pp. 423-432, AAMAS 2015: 14th International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey, 4/05/15. <https://dl.acm.org/citation.cfm?id=2772879.2772935>

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. / van Riemsdijk, M. Birna; Dennis, Louise; Fisher, Michael et al.
Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015. ed. / Elkind Bordini; Yolum Weiss. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2015. p. 423-432.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - A Semantic Framework for Socially Adaptive Agents

T2 - AAMAS 2015: 14th International Conference on Autonomous Agents and Multiagent Systems

AU - van Riemsdijk, M. Birna

AU - Dennis, Louise

AU - Fisher, Michael

AU - Hindriks, Koen V.

N1 - Conference code: 14

PY - 2015

Y1 - 2015

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 - Norm-aware agents

KW - Agent programming languages

KW - Norm compliance

KW - Formal semantics

KW - Executable temporal logic

M3 - Conference contribution

SN - 978-1-4503-3413-6

SP - 423

EP - 432

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

A2 - Bordini, Elkind

A2 - Weiss, Yolum

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

CY - Richland, SC

Y2 - 4 May 2015 through 8 May 2015

ER -

van Riemsdijk MB, Dennis L, Fisher M, Hindriks KV. A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. In Bordini E, Weiss Y, editors, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 2015. p. 423-432

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

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this