A real-time semantics for norms with deadlines

Koen V. Hindriks, M. Birna Van Riemsdijk

Research output: Contribution to ConferencePaperAcademic

Abstract

Norms have been proposed as a way to regulate multi-agent systems. In order to operationalize norms, several computational frameworks have been proposed for programming norm-governed agent organizations. It has been argued that in such systems it is essential that norms, in particular those giving rise to achievement obligations, have deadlines. In this paper we propose a novel semantic framework that takes into account and formalizes real-time aspects of such norms with deadlines. The framework introduced provides a semantics for norms with real-time deadlines that is a conservative extension of more traditional transition systems semantics that has been used for specifying multi-agent systems. Our framework thus provides a natural extension for formalizing multi-agent systems with norms that have real-time deadlines. We address several important aspects of semantics of norms with deadlines such as deadline termination and, in particular, investigate the issue of deadline shifting that arises naturally in a real-time setting as a result of interactions between norms. A new normative model is presented for handling such interactions. We present several formal results showing that our semantics corresponds with basic intuitions that any operational semantics for norms with (real-time) deadlines should satisfy, and that it is well-defined.

Original languageEnglish
Pages507-514
Number of pages8
Publication statusPublished - 1 Jan 2013
Externally publishedYes
Event12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 - Saint Paul, MN, United States
Duration: 6 May 201310 May 2013

Conference

Conference12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013
CountryUnited States
CitySaint Paul, MN
Period6/05/1310/05/13

Fingerprint

Semantics
Multi agent systems

Keywords

  • Deadlines
  • Norms
  • Real-Time Semantics

Cite this

Hindriks, K. V., & Van Riemsdijk, M. B. (2013). A real-time semantics for norms with deadlines. 507-514. Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.
Hindriks, Koen V. ; Van Riemsdijk, M. Birna. / A real-time semantics for norms with deadlines. Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.8 p.
@conference{017ea98720e5418b88688bca41002f34,
title = "A real-time semantics for norms with deadlines",
abstract = "Norms have been proposed as a way to regulate multi-agent systems. In order to operationalize norms, several computational frameworks have been proposed for programming norm-governed agent organizations. It has been argued that in such systems it is essential that norms, in particular those giving rise to achievement obligations, have deadlines. In this paper we propose a novel semantic framework that takes into account and formalizes real-time aspects of such norms with deadlines. The framework introduced provides a semantics for norms with real-time deadlines that is a conservative extension of more traditional transition systems semantics that has been used for specifying multi-agent systems. Our framework thus provides a natural extension for formalizing multi-agent systems with norms that have real-time deadlines. We address several important aspects of semantics of norms with deadlines such as deadline termination and, in particular, investigate the issue of deadline shifting that arises naturally in a real-time setting as a result of interactions between norms. A new normative model is presented for handling such interactions. We present several formal results showing that our semantics corresponds with basic intuitions that any operational semantics for norms with (real-time) deadlines should satisfy, and that it is well-defined.",
keywords = "Deadlines, Norms, Real-Time Semantics",
author = "Hindriks, {Koen V.} and {Van Riemsdijk}, {M. Birna}",
year = "2013",
month = "1",
day = "1",
language = "English",
pages = "507--514",
note = "12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 ; Conference date: 06-05-2013 Through 10-05-2013",

}

Hindriks, KV & Van Riemsdijk, MB 2013, 'A real-time semantics for norms with deadlines' Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States, 6/05/13 - 10/05/13, pp. 507-514.

A real-time semantics for norms with deadlines. / Hindriks, Koen V.; Van Riemsdijk, M. Birna.

2013. 507-514 Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.

Research output: Contribution to ConferencePaperAcademic

TY - CONF

T1 - A real-time semantics for norms with deadlines

AU - Hindriks, Koen V.

AU - Van Riemsdijk, M. Birna

PY - 2013/1/1

Y1 - 2013/1/1

N2 - Norms have been proposed as a way to regulate multi-agent systems. In order to operationalize norms, several computational frameworks have been proposed for programming norm-governed agent organizations. It has been argued that in such systems it is essential that norms, in particular those giving rise to achievement obligations, have deadlines. In this paper we propose a novel semantic framework that takes into account and formalizes real-time aspects of such norms with deadlines. The framework introduced provides a semantics for norms with real-time deadlines that is a conservative extension of more traditional transition systems semantics that has been used for specifying multi-agent systems. Our framework thus provides a natural extension for formalizing multi-agent systems with norms that have real-time deadlines. We address several important aspects of semantics of norms with deadlines such as deadline termination and, in particular, investigate the issue of deadline shifting that arises naturally in a real-time setting as a result of interactions between norms. A new normative model is presented for handling such interactions. We present several formal results showing that our semantics corresponds with basic intuitions that any operational semantics for norms with (real-time) deadlines should satisfy, and that it is well-defined.

AB - Norms have been proposed as a way to regulate multi-agent systems. In order to operationalize norms, several computational frameworks have been proposed for programming norm-governed agent organizations. It has been argued that in such systems it is essential that norms, in particular those giving rise to achievement obligations, have deadlines. In this paper we propose a novel semantic framework that takes into account and formalizes real-time aspects of such norms with deadlines. The framework introduced provides a semantics for norms with real-time deadlines that is a conservative extension of more traditional transition systems semantics that has been used for specifying multi-agent systems. Our framework thus provides a natural extension for formalizing multi-agent systems with norms that have real-time deadlines. We address several important aspects of semantics of norms with deadlines such as deadline termination and, in particular, investigate the issue of deadline shifting that arises naturally in a real-time setting as a result of interactions between norms. A new normative model is presented for handling such interactions. We present several formal results showing that our semantics corresponds with basic intuitions that any operational semantics for norms with (real-time) deadlines should satisfy, and that it is well-defined.

KW - Deadlines

KW - Norms

KW - Real-Time Semantics

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

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

M3 - Paper

SP - 507

EP - 514

ER -

Hindriks KV, Van Riemsdijk MB. A real-time semantics for norms with deadlines. 2013. Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.