Verifying Multi-Agent Knowledge-Based Systems using COVERAGE

Alun Preece and Neil Lamb

Anomaly detection, as performed by the COVER tool, has proven to be a useful method for verification of knowledge-based systems. The increasing development of distributed knowledge-based systems based upon the multi-agent architecture demands techniques for the verification of these systems. This paper describes the COVERAGE too1 -- an extension of COVER designed to perform anomaly detection on multi-agent systems. The paper includes an example of a multiagent system verified using COVERAGE.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.