Verifying norm compliancy of protocols

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

Citing 12
Cited 4

The British Nationality Act as a logic program

Communications of the ACM
Temporal logic of programs

Temporal logic of programs
Deontic logic: a concise overview

Deontic logic in computer science
On social laws for artificial agent societies: off-line design

Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Verifying Compliance with Commitment Protocols

Autonomous Agents and Multi-Agent Systems
Deliberative Normative Agents: Principles and Architecture

ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Giving Permission Implies Giving Choice

DEXA '97 Proceedings of the 8th International Workshop on Database and Expert Systems Applications
Modelling electronic organizations

CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
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
Contextual taxonomies

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems

An Agent-Based Model for Hierarchical Organizations

Coordination, Organizations, Institutions, and Norms in Agent Systems II
Our Quest for the Holy Grail of Agent Verification

TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Programming cognitive agents

MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Research directions in agent communication

ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can and cannot be done, it can be hard to determine whether a desired goal can actually be achieved without violating the norms. To help the agents in this process, agents can make use of predefined (knowledge-based) protocols, which are designed to help reach a goal without violating any of the norms. But how can we guarantee that these protocols are actually norm-compliant? Can these protocols really realise results without violating the norms? In this paper we introduce a formal method, based on program verification, for checking the norm compliance of (knowledge-based) protocols.