Reasoning about Dynamic Normative Systems

Max Knobbout; Mehdi Dastani; John-Jules Charles Meyer

doi:10.1007/978-3-319-11558-0_46

Reasoning about Dynamic Normative Systems

Max Knobbout, Mehdi Dastani, John-Jules Charles Meyer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

The use of normative systems is widely accepted as an effective
approach to control and regulate the behaviour of agents in multiagent
systems. When norms are added to a normative system, the
behaviour of such a system changes. As of yet, there is no clear formal
methodology to model the dynamics of a normative system under
addition of various types of norms. In this paper we view the addition
of a norm as an update of a normative system, and we provide update
semantics to model this process.

Original language	English
Title of host publication	Logics in Artificial Intelligence - 14th European Conference (JELIA)
Editors	Eduardo Fermé, J. Leite
Publisher	Springer
Pages	628-636
ISBN (Electronic)	978-3-319-11557-3
ISBN (Print)	978-3-319-11557-3
DOIs	https://doi.org/10.1007/978-3-319-11558-0_46
Publication status	Published - 16 Sept 2014

Publication series

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer
Volume	8761
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Normative Systems
Logic
Multi-agent systems
Reasoning

Access to Document

10.1007/978-3-319-11558-0_46

Cite this

@inproceedings{7e6ca2df790f4ecd83f5cdaddb946199,

title = "Reasoning about Dynamic Normative Systems",

abstract = "The use of normative systems is widely accepted as an effectiveapproach to control and regulate the behaviour of agents in multiagentsystems. When norms are added to a normative system, thebehaviour of such a system changes. As of yet, there is no clear formalmethodology to model the dynamics of a normative system underaddition of various types of norms. In this paper we view the additionof a norm as an update of a normative system, and we provide updatesemantics to model this process.",

keywords = "Normative Systems, Logic, Multi-agent systems, Reasoning",

author = "Max Knobbout and Mehdi Dastani and Meyer, {John-Jules Charles}",

year = "2014",

month = sep,

day = "16",

doi = "10.1007/978-3-319-11558-0_46",

language = "English",

isbn = "978-3-319-11557-3",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer",

pages = "628--636",

editor = "Eduardo Ferm{\'e} and J. Leite",

booktitle = "Logics in Artificial Intelligence - 14th European Conference (JELIA)",

}

Reasoning about Dynamic Normative Systems. / Knobbout, Max; Dastani, Mehdi ; Meyer, John-Jules Charles.
Logics in Artificial Intelligence - 14th European Conference (JELIA). ed. / Eduardo Fermé; J. Leite. Springer, 2014. p. 628-636 (Lecture Notes in Artificial Intelligence; Vol. 8761).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Reasoning about Dynamic Normative Systems

AU - Knobbout, Max

AU - Dastani, Mehdi

AU - Meyer, John-Jules Charles

PY - 2014/9/16

Y1 - 2014/9/16

N2 - The use of normative systems is widely accepted as an effectiveapproach to control and regulate the behaviour of agents in multiagentsystems. When norms are added to a normative system, thebehaviour of such a system changes. As of yet, there is no clear formalmethodology to model the dynamics of a normative system underaddition of various types of norms. In this paper we view the additionof a norm as an update of a normative system, and we provide updatesemantics to model this process.

AB - The use of normative systems is widely accepted as an effectiveapproach to control and regulate the behaviour of agents in multiagentsystems. When norms are added to a normative system, thebehaviour of such a system changes. As of yet, there is no clear formalmethodology to model the dynamics of a normative system underaddition of various types of norms. In this paper we view the additionof a norm as an update of a normative system, and we provide updatesemantics to model this process.

KW - Normative Systems

KW - Logic

KW - Multi-agent systems

KW - Reasoning

U2 - 10.1007/978-3-319-11558-0_46

DO - 10.1007/978-3-319-11558-0_46

M3 - Conference contribution

SN - 978-3-319-11557-3

T3 - Lecture Notes in Artificial Intelligence

SP - 628

EP - 636

BT - Logics in Artificial Intelligence - 14th European Conference (JELIA)

A2 - Fermé, Eduardo

A2 - Leite, J.

PB - Springer

ER -

Reasoning about Dynamic Normative Systems

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this