Specification and Verification of Knowledge in a Multi-Agent System

M. Bagić (Croatia) and M. Ciglarič (Slovenia)

Keywords

Specification, Protocol Verification, Multi-agent System, Intelligent Agent.

Abstract

Verification of epistemic properties, i.e. properties involv ing knowledge of a multi-agent system (MAS) is a great challenge because there are still many open problems es pecially with the choice of a proper model for MAS spec ification and then, with the proper technique to verify the system. In this paper we propose our model for MAS spec ification as the extended labelled transition system (Mil ner’s Process Algebra), namely Mixed Transition System (MTS). We support our approach with the case study of specification and verification of FIPA Subscribe Scenario, a protocol for inter-agent communication.

Important Links:



Go Back


IASTED
Rotating Call For Paper Image