Designing normative behaviour via landmarks

Authors:
Huib Aldewereld;Davide Grossi;Javier Vázquez-Salceda;Frank Dignum
Affiliations:
Institute of Information and Computing Sciences, Utrecht University, The Netherlands;Institute of Information and Computing Sciences, Utrecht University, The Netherlands;Institute of Information and Computing Sciences, Utrecht University, The Netherlands;Institute of Information and Computing Sciences, Utrecht University, The Netherlands
Venue:
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Year:
2005

Citing 8
Cited 6

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Deontic logic in computer science: normative system specification

Deontic logic in computer science: normative system specification
Deliberative Normative Agents: Principles and Architecture

ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Verification Tools for Finite-State Concurrent Systems

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines

HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
From abstract to concrete norms in agent institutions

FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Meeting the deadline: why, when and how

FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems

Non-normative Behaviour in Multi-agent System: Some Experiments in Traffic Simulation

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Designing protocols for agent institutions

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A Temporal Logic of Robustness

FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
A Tableau for RoBCTL

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Using SOA Provenance to Implement Norm Enforcement in e-Institutions

Coordination, Organizations, Institutions and Norms in Agent Systems IV
A functional program for agents, actions, and deontic specifications

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

In highly regulated environments, where a set of norms defines accepted behaviour, protocols provide a way to reduce complexity by giving direct, step by step guidelines for behaviour, as long as the protocols comply with the norms. In this work we propose a formal framework to design a protocol from a normative specification. In order to be able to connect (descriptive) norms with (operational) protocols, an intermediate level is created by the use of landmarks.