Verification of Intelligent Agents with ACTL for Epistemic Reasoning

Authors:
Marina Bagic;Marijan Kun!stic
Affiliations:
University of Zagreb, Croatia;University of Zagreb, Croatia
Venue:
CIMCA '06 Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce
Year:
2006

Citing 0
Cited 3

Verification of communication protocols in a multi-agent system

CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Specification and verification of knowledge in a multi-agent system

ASM '07 The 16th IASTED International Conference on Applied Simulation and Modelling
Implementation of Epistemic Operators for Model Checking Multi-agent Systems

ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Verification of multi-agent systems (MAS) is a huge challenge, especially for those systems where security and safety are of major importance. Verification detects faults, defects and drawbacks in an early stage of software development. Here, we give a formal model for verification of MAS by means of model checking technique. We extend the existing Action Computation Tree Logic (ACTL) with epistemic operators in order to reason about knowledge properties of MAS. We introduce new operators for manipulation on agent's actions with data. We explain their syntax and semantics for our ACTL-er (ACTL for Epistemic Reasoning), and provide a case study for a MAS system of foraging bees.