Model checking normative agent organisations

Authors:
Louise Dennis;Nick Tinnemeier;John-Jules Meyer
Affiliations:
Department of Computer Science, University of Liverpool, Liverpool, UK;Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands;Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands
Venue:
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Year:
2009

Citing 16
Cited 1

Agent-oriented programming

Artificial Intelligence
Model Checking Programs

Automated Software Engineering
Agent Programming with Declarative Goals

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Verification of Multiagent Systems via Unbounded Model Checking

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Model Checking Rational Agents

IEEE Intelligent Systems
Verifying Multi-agent Programs by Model Checking

Autonomous Agents and Multi-Agent Systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)

Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Give agents their artifacts: the A&A approach for engineering working environments in MAS

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
2APL: a practical agent programming language

Autonomous Agents and Multi-Agent Systems
From human regulations to regulated software agents' behavior

Artificial Intelligence and Law
A flexible framework for verifying agent programs

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
A Framework for Model Checking Institutions

Model Checking and Artificial Intelligence
A Verification Framework for Normative Multi-Agent Systems

PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Programming Verifiable Heterogeneous Agent Systems

Programming Multi-Agent Systems
Automated Verification of Multi-Agent Programs

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Answer set programming for representing and reasoning about virtual institutions

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems

Reasoning about normative update

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the integration of a normative programming language in the MCAPL framework for model checking multi-agent systems. The result is a framework facilitating the implementation and verification of multi-agent systems coordinated via a normative organisation. The organisation can be programmed in the normative language while the constituent agents may be implemented in a number of (BDI) agent programming languages. We demonstrate how this framework can be used to check properties of the organisation and of the individual agents in an LTL based property specification language. We show that different properties may be checked depending on the information available to the model checker about the internal state of the agents. We discuss, in particular, an error we detected in the organisation code of our case study which was only highlighted by attempting a verification with "white box" agents.