Specification and verification of knowledge in a multi-agent system

Authors:
Marina Bagić;Mojca Ciglarič
Affiliations:
University of Zagreb, Zagreb, Croatia;University of Ljubljana, Ljubljana, Slovenia
Venue:
ASM '07 The 16th IASTED International Conference on Applied Simulation and Modelling
Year:
2007

Citing 4
Cited 0

Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems
Reasoning About Knowledge

Reasoning About Knowledge
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Verification of Intelligent Agents with ACTL for Epistemic Reasoning

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Verification of epistemic properties, i.e. properties involving knowledge of a multi-agent system (MAS) is a great challenge because there are still many open problems especially with the choice of a proper model for MAS specification and then, with the proper technique to verify the system. In this paper we propose our model for MAS specification as the extended labelled transition system (Milner'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.