Naslov
Specification and Verification of Knowledge in a Multi-agent System

Autori
Bagić, Marina ; Ciglarič, Mojca

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 16th IASTED International Conference APPLIED SIMULATION AND MODELLING / F. De Felice - Anaheim : Calgary : Zurich : ACTA Press, 2007, 168-173

ISBN
978-0-88986-687-4

Skup
The 16th IASTED International Conference APPLIED SIMULATION AND MODELLING

Mjesto i datum
Palma de Mallorca, Španjolska, 29.08.2007. - 31.08.2007

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Specification; Protocol Verification; Multi-agent System; Intelligent Agent

Sažetak
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). We support our approach with the case study of specification and verification of FIPA Subscribe Scenario, a protocol for inter-agent communication.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA