Pregled bibliografske jedinice broj: 429825
Implementation of Epistemic Operators for Model Checking Multi-agent Systems
Implementation of Epistemic Operators for Model Checking Multi-agent Systems // Lecture Notes in Computer Science, 5796 (2009), 217-228 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 429825 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Implementation of Epistemic Operators for Model Checking Multi-agent Systems
Autori
Bagić Babac, Marina ; Kunštić, Marijan
Izvornik
Lecture Notes in Computer Science (0302-9743) 5796
(2009);
217-228
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
Action Computation Tree Logic with Unless Operator; Epistemic Reasoning; Multi-agent Systems
Sažetak
The problem of multi-agent system (MAS) specification and verification has been introduced in this paper, Epistemic transition system (ETS) represents an agent as the smallest unit in a multi-agent system, while Epistemic synchronous product (ESP) represents the formal model for a multi-agent system. Therefore, a formal framework for epistemic properties of multi-agent systems has been provided. A special extension of Action computation tree logic with unless operator for epistemic reasoning (ACTLW-ER) is used for MAS model checking. Epistemic operators of ACTLW-ER are implemented by symbolic model checking algorithms using binary decision diagrams.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
POVEZANOST RADA
Projekti:
036-0362027-1640 - Upravljanje mrežom i uslugama temeljeno na znanju (Jevtić, Dragan, MZO ) ( CroRIS)
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
