Reasoning about knowledge
Modal logic
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Reasoning about action and cooperation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the logic of normative systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Logic Programs, Norms and Action
The design of intelligent socio-technical systems
Artificial Intelligence Review
| Hi-index | 0.00 |
There is growing interest in the idea that, in some cases, interactions among multiple, independently acting agents in a multi-agent system can be regulated and managed by norms (or `social laws') which, if respected, allow the agents to co-exist in a shared environment. We present a formal (modal-logical) language for describing and analysing such systems. We distinguish between system norms, which express a system designer's view of what system behaviours are deemed to be legal, permitted, desirable, and so on, and agent-specific norms which constrain and guide an individual agent's behaviours and which are supposed to be incorporated, in one way or another, in the agent's implementation. The language provides constructs for expressing properties of states and transitions in a transition system, and modalities of the kind found in logics of action/agency for expressing that an agent brings it about that, or is responsible for, its being the case that A. The novel feature is that an agent, or group of agents, brings it about that a transition has a certain property rather than bringing it about that a certain state of affairs obtains, as is usually the case. The aim of the paper is to motivate the technical development and illustrate the use of the formal language by means of a simple example in which there there are both physical and normative constraints on agents' behaviours. We discuss some relationships between system norms and agent-specific norms, and identify several different categories of non-compliant behaviour that can be expressed and analysed using the formal language. The final part of the paper presents some transcripts of output from a model-checker for the language.