Norms and time in agent-based systems
Tiberiu Stratulat, Françoise Clérin‐Debart, Patrice Enjalbert · 2001
We propose a first-order model as a possible formal basis for normative agent systems (NAS). The model allows us to describe the execution of actions in time and the use of dynamic norms. We present its application to the detection of the violation cases and to optimal scheduling.