TY - GEN
T1 - N-Jason: Run-time norm compliance in AgentSpeak(L)
AU - Lee, JeeHang
AU - Padget, Julian
AU - Logan, Brian
AU - Dybalova, Daniela
AU - Alechina, Natasha
PY - 2014
Y1 - 2014
N2 - Normative systems offer a means to govern agent behaviour in dynamic open environments. Under the governance, agents themselves must be able to reason about compliance with state-or event-based norms (or both) depending upon the formalism used. This paper describes how norm awareness enables a BDI agent to exhibit norm compliant behaviour at run-time taking into account normative factors. To this end, we propose N-Jason, a run-time norm compliant BDI agent framework supporting norm-aware deliberation as well as run-time norm execution mechanism, through which new unknown norms are recognised and bring about the triggering of plans. To be able to process a norm such as an obligation, the agent architecture must be able to deal with deadlines and priorities, and choose among the plans triggered by a particular norm. Consequently, we extend the syntax and the scheduling algorithm of AgentSpeak(RT) to operate in the context of Jason/AgentSpeak(L) and provide ‘real-time agency’, which we explain through a detailed examination of the operational semantics of a single reasoning cycle.
AB - Normative systems offer a means to govern agent behaviour in dynamic open environments. Under the governance, agents themselves must be able to reason about compliance with state-or event-based norms (or both) depending upon the formalism used. This paper describes how norm awareness enables a BDI agent to exhibit norm compliant behaviour at run-time taking into account normative factors. To this end, we propose N-Jason, a run-time norm compliant BDI agent framework supporting norm-aware deliberation as well as run-time norm execution mechanism, through which new unknown norms are recognised and bring about the triggering of plans. To be able to process a norm such as an obligation, the agent architecture must be able to deal with deadlines and priorities, and choose among the plans triggered by a particular norm. Consequently, we extend the syntax and the scheduling algorithm of AgentSpeak(RT) to operate in the context of Jason/AgentSpeak(L) and provide ‘real-time agency’, which we explain through a detailed examination of the operational semantics of a single reasoning cycle.
KW - Agent programming language
KW - BDI
KW - Normative system
KW - Norms
UR - http://www.scopus.com/inward/record.url?scp=84919627317&partnerID=8YFLogxK
UR - http://dx.doi.org/10.1007/978-3-319-14484-9
U2 - 10.1007/978-3-319-14484-9
DO - 10.1007/978-3-319-14484-9
M3 - Chapter in a published conference proceeding
AN - SCOPUS:84919627317
SN - 9783319144832
VL - 8758
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 367
EP - 387
BT - Engineering Multi-Agent Systems
A2 - Dalpiaz , Fabiano
A2 - Dix , Jurgen
A2 - Birna van Riemsdiijk, M.
PB - Springer
T2 - 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014
Y2 - 5 May 2014 through 6 May 2014
ER -