Specification and Verification of Knowledge in a Multi-agent System (CROSBI ID 531330)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Bagić, Marina ; Ciglarič, Mojca
engleski
Specification and Verification of Knowledge in a Multi-agent System
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.
Specification; Protocol Verification; Multi-agent System; Intelligent Agent
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
168-173-x.
2007.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 16th IASTED International Conference APPLIED SIMULATION AND MODELLING
F. De Felice
Anaheim : Calgary : Zurich: ACTA Press
978-0-88986-687-4
Podaci o skupu
The 16th IASTED International Conference APPLIED SIMULATION AND MODELLING
predavanje
29.08.2007-31.08.2007
Palma de Mallorca, Španjolska