Agent reasoning for norm compliance: A semantic approach

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

Research output: Contribution to ConferencePaperAcademic

Abstract

A system of autonomous agents may exhibit undesirable or ineffective behavior if no form of regulation is imposed. Norms, describing how agents should ideally behave, can be used to address this issue if agents are able to reason about norms and adapt their behavior to comply with them (if they choose to do so). Assuming that which norms will have to be followed is unknown at design time, it is not possible to pre-program agents such that their behavior is norm compliant. Instead, we need a generic execution mechanism that allows agents to adapt their behavior at run-time, which is what we propose in this paper. The execution mechanism is defined on top of an abstract agent decision making mechanism. This is done by allowing the execution of actions by the agent decision making mechanism only if these are not forbidden according to norms, as well as triggering the execution of actions if this is required by norms. We specify norms using Linear Temporal Logic and define the operational semantics of the execution mechanism using techniques from executable temporal logic. We formally analyze properties of the execution mechanism, including norm compliance.

Original languageEnglish
Pages499-506
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

Temporal logic
Decision making
Semantics
Autonomous agents
Compliance

Keywords

  • Agent programming
  • Formal semantics
  • Normative systems

Cite this

Van Riemsdijk, M. B., Dennis, L. A., Fisher, M., & Hindriks, K. V. (2013). Agent reasoning for norm compliance: A semantic approach. 499-506. Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.
Van Riemsdijk, M. Birna ; Dennis, Louise A. ; Fisher, Michael ; Hindriks, Koen V. / Agent reasoning for norm compliance : A semantic approach. Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.8 p.
@conference{fa25facf11754abea354de636b736efb,
title = "Agent reasoning for norm compliance: A semantic approach",
abstract = "A system of autonomous agents may exhibit undesirable or ineffective behavior if no form of regulation is imposed. Norms, describing how agents should ideally behave, can be used to address this issue if agents are able to reason about norms and adapt their behavior to comply with them (if they choose to do so). Assuming that which norms will have to be followed is unknown at design time, it is not possible to pre-program agents such that their behavior is norm compliant. Instead, we need a generic execution mechanism that allows agents to adapt their behavior at run-time, which is what we propose in this paper. The execution mechanism is defined on top of an abstract agent decision making mechanism. This is done by allowing the execution of actions by the agent decision making mechanism only if these are not forbidden according to norms, as well as triggering the execution of actions if this is required by norms. We specify norms using Linear Temporal Logic and define the operational semantics of the execution mechanism using techniques from executable temporal logic. We formally analyze properties of the execution mechanism, including norm compliance.",
keywords = "Agent programming, Formal semantics, Normative systems",
author = "{Van Riemsdijk}, {M. Birna} and Dennis, {Louise A.} and Michael Fisher and Hindriks, {Koen V.}",
year = "2013",
month = "1",
day = "1",
language = "English",
pages = "499--506",
note = "12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 ; Conference date: 06-05-2013 Through 10-05-2013",

}

Van Riemsdijk, MB, Dennis, LA, Fisher, M & Hindriks, KV 2013, 'Agent reasoning for norm compliance: A semantic approach' 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. 499-506.

Agent reasoning for norm compliance : A semantic approach. / Van Riemsdijk, M. Birna; Dennis, Louise A.; Fisher, Michael; Hindriks, Koen V.

2013. 499-506 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 - Agent reasoning for norm compliance

T2 - A semantic approach

AU - Van Riemsdijk, M. Birna

AU - Dennis, Louise A.

AU - Fisher, Michael

AU - Hindriks, Koen V.

PY - 2013/1/1

Y1 - 2013/1/1

N2 - A system of autonomous agents may exhibit undesirable or ineffective behavior if no form of regulation is imposed. Norms, describing how agents should ideally behave, can be used to address this issue if agents are able to reason about norms and adapt their behavior to comply with them (if they choose to do so). Assuming that which norms will have to be followed is unknown at design time, it is not possible to pre-program agents such that their behavior is norm compliant. Instead, we need a generic execution mechanism that allows agents to adapt their behavior at run-time, which is what we propose in this paper. The execution mechanism is defined on top of an abstract agent decision making mechanism. This is done by allowing the execution of actions by the agent decision making mechanism only if these are not forbidden according to norms, as well as triggering the execution of actions if this is required by norms. We specify norms using Linear Temporal Logic and define the operational semantics of the execution mechanism using techniques from executable temporal logic. We formally analyze properties of the execution mechanism, including norm compliance.

AB - A system of autonomous agents may exhibit undesirable or ineffective behavior if no form of regulation is imposed. Norms, describing how agents should ideally behave, can be used to address this issue if agents are able to reason about norms and adapt their behavior to comply with them (if they choose to do so). Assuming that which norms will have to be followed is unknown at design time, it is not possible to pre-program agents such that their behavior is norm compliant. Instead, we need a generic execution mechanism that allows agents to adapt their behavior at run-time, which is what we propose in this paper. The execution mechanism is defined on top of an abstract agent decision making mechanism. This is done by allowing the execution of actions by the agent decision making mechanism only if these are not forbidden according to norms, as well as triggering the execution of actions if this is required by norms. We specify norms using Linear Temporal Logic and define the operational semantics of the execution mechanism using techniques from executable temporal logic. We formally analyze properties of the execution mechanism, including norm compliance.

KW - Agent programming

KW - Formal semantics

KW - Normative systems

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

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

M3 - Paper

SP - 499

EP - 506

ER -

Van Riemsdijk MB, Dennis LA, Fisher M, Hindriks KV. Agent reasoning for norm compliance: A semantic approach. 2013. Paper presented at 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, Saint Paul, MN, United States.