Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 389490

Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic

Bagić, Marina; Babac, Aleksandar; Ciglarič, Mojca
Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic // Proceedings of the 2008 International Conference on Computational Intelligence for Modelling, Control and Automation CIMCA 2008, International Conference on Intelligent Agents, Web Technologies and Internet Commerce IAWTIC 2008, International Conference on Innovation in Software Engineering ISE 2008 / Masoud Mohammadian (ur.).
Los Alamitos (CA) : Washington D.C. : Tokyo: Institute of Electrical and Electronics Engineers (IEEE), 2008. str. 470-475 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

CROSBI ID: 389490 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic

Autori
Bagić, Marina ; Babac, Aleksandar ; Ciglarič, Mojca

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

Izvornik
Proceedings of the 2008 International Conference on Computational Intelligence for Modelling, Control and Automation CIMCA 2008, International Conference on Intelligent Agents, Web Technologies and Internet Commerce IAWTIC 2008, International Conference on Innovation in Software Engineering ISE 2008 / Masoud Mohammadian - Los Alamitos (CA) : Washington D.C. : Tokyo : Institute of Electrical and Electronics Engineers (IEEE), 2008, 470-475

ISBN
13 978-0-7695-3514-2

Skup
2008 International Conference on Computational Intelligence for Modelling, Control and Automation CIMCA 2008, International Conference on Intelligent Agents, Web Technologies and Internet Commerce IAWTIC 2008, International Conference on Innovation in Software Engineering ISE 2008

Mjesto i datum
Beč, Austrija, 10.12.2008. - 12.12.2008

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Action Computation Tree Logic with Unless Operator; Epistemic Reasoning; Multi-agent Systems

Sažetak
This paper investigates the problem of multi-agent system (MAS) specification and verification, with the emphasis on their epistemic properties. Epistemic transition system (ETS) is introduced to present an agent as the smallest unit in a multi-agent system. Being composed of a set of well defined ETSs, MAS builds an epistemic synchronous product (ESP) describing the formal model for a multi-agent system. A special extension of Action computation tree logic with unless operator (ACTLW) for epistemic reasoning (ACTLW-ER) is then used for model checking epistemic properties of MAS. 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

Profili:

Avatar Url Marina Bagić Babac (autor)

Citiraj ovu publikaciju:

Bagić, Marina; Babac, Aleksandar; Ciglarič, Mojca
Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic // Proceedings of the 2008 International Conference on Computational Intelligence for Modelling, Control and Automation CIMCA 2008, International Conference on Intelligent Agents, Web Technologies and Internet Commerce IAWTIC 2008, International Conference on Innovation in Software Engineering ISE 2008 / Masoud Mohammadian (ur.).
Los Alamitos (CA) : Washington D.C. : Tokyo: Institute of Electrical and Electronics Engineers (IEEE), 2008. str. 470-475 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Bagić, M., Babac, A. & Ciglarič, M. (2008) Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic. U: Masoud Mohammadian (ur.)Proceedings of the 2008 International Conference on Computational Intelligence for Modelling, Control and Automation CIMCA 2008, International Conference on Intelligent Agents, Web Technologies and Internet Commerce IAWTIC 2008, International Conference on Innovation in Software Engineering ISE 2008.
@article{article, author = {Bagi\'{c}, Marina and Babac, Aleksandar and Ciglari\v{c}, Mojca}, year = {2008}, pages = {470-475}, keywords = {Action Computation Tree Logic with Unless Operator, Epistemic Reasoning, Multi-agent Systems}, isbn = {13 978-0-7695-3514-2}, title = {Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic}, keyword = {Action Computation Tree Logic with Unless Operator, Epistemic Reasoning, Multi-agent Systems}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, publisherplace = {Be\v{c}, Austrija} }
@article{article, author = {Bagi\'{c}, Marina and Babac, Aleksandar and Ciglari\v{c}, Mojca}, year = {2008}, pages = {470-475}, keywords = {Action Computation Tree Logic with Unless Operator, Epistemic Reasoning, Multi-agent Systems}, isbn = {13 978-0-7695-3514-2}, title = {Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic}, keyword = {Action Computation Tree Logic with Unless Operator, Epistemic Reasoning, Multi-agent Systems}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, publisherplace = {Be\v{c}, Austrija} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.