Norms and time in agent-based systems

Authors:
Tiberiu Stratulat;Françoise Clérin-Debart;Patrice Enjalbert
Affiliations:
GREYC, CNRS UPRESA 6072, Université de Caen, 14032 Caen, France;GREYC, CNRS UPRESA 6072, Université de Caen, 14032 Caen, France;GREYC, CNRS UPRESA 6072, Université de Caen, 14032 Caen, France
Venue:
Proceedings of the 8th international conference on Artificial intelligence and law
Year:
2001

Citing 13
Cited 3

Towards a general theory of action and time

Artificial Intelligence
A logic-based calculus of events

New Generation Computing
Many-sorted unification

Journal of the ACM (JACM)
Inheritance hierarchies: Semantics and unification

Journal of Symbolic Computation
Agent-oriented programming

Artificial Intelligence
On social laws for artificial agent societies: off-line design

Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Deontic logic: a concise overview

Deontic logic in computer science
Defeasible deontic reasoning: a logic programming model

Deontic logic in computer science
Coordinating with obligations

AGENTS '98 Proceedings of the second international conference on Autonomous agents
Time and norms: a formalisation in the event-calculus

ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Towards Socially Sophisticated BDI Agents

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Actions and Events in Interval Temporal Logic

Actions and Events in Interval Temporal Logic
Specifying deadlines with continuous time using deontic and temporal logic

International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce

Specifying, detecting and analysing emergent behaviours in multi-level agent-based simulations

Proceedings of the 2007 Summer Computer Simulation Conference
Constraint rule-based programming of norms for electronic institutions

Autonomous Agents and Multi-Agent Systems
A unified model for physical and social environments

E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.