Reasoning about Dynamic Normative Systems

Publication date

2014-09-16

Authors

Knobbout, M.ISNI 0000000493228943
Dastani, MehdiISNI 0000000043464658
Meyer, John-JulesISNI 0000000116521183

Editors

Fermé, Eduardo
Leite, J.

Advisors

Supervisors

Document Type

Part of book

License

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.

Keywords

Normative Systems, Logic, Multi-agent systems, Reasoning

Citation

Knobbout, M, Dastani, M & Meyer, J-J C 2014, Reasoning about Dynamic Normative Systems. in E Fermé & J Leite (eds), Logics in Artificial Intelligence - 14th European Conference (JELIA). Lecture Notes in Artificial Intelligence, vol. 8761, Springer, pp. 628-636. https://doi.org/10.1007/978-3-319-11558-0_46