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

Napredna pretraga

Pregled bibliografske jedinice broj: 392561

Verification of dynamic epistemic properties in multi-agent systems


Bagić Babac, Marina
Verification of dynamic epistemic properties in multi-agent systems 2009., doktorska disertacija, Fakultet elektrotehnike i računarstva, Zagreb


Naslov
Verification of dynamic epistemic properties in multi-agent systems

Autori
Bagić Babac, Marina

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
28.04.2009

Godina
2009

Stranica
132

Mentor
Kunštić, Marijan

Ključne riječi
model checking; multi-agent systems; epistemic reasoning; ACTLW

Sažetak
One of the major application areas of reasoning about knowledge are multi-agent systems (MAS). The paradigm of MAS has been employed successfully in several fields, including philosophy, economics and software engineering. MAS formalism enables us to abstract a system from unnecessary details and to focus on communication and cooperation among agents in the system. This thesis is concerned with the problems of MAS specification and verification, with the emphasis on their dynamic 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 the 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 dynamic epistemic properties of MAS. The epistemic operators are added to ACTLW for that purpose. They are implemented by symbolic model checking algorithms using binary decision diagrams. A set of communication protocols are provided to explain the practical meaning of the theoretical approach. Each example provides with the specification, encoding, verification steps and experimental results are given to conclude.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA


Projekt / tema
036-0362027-1640 - UPRAVLJANJE MREŽOM I USLUGAMA TEMELJENO NA ZNANJU (Dragan Jevtić, )

Ustanove
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Marijan Kunštić (mentor)

Avatar Url Marina Bagić Babac (autor)

Citiraj ovu publikaciju

Bagić Babac, Marina
Verification of dynamic epistemic properties in multi-agent systems 2009., doktorska disertacija, Fakultet elektrotehnike i računarstva, Zagreb
Bagić Babac, M. (2009) 'Verification of dynamic epistemic properties in multi-agent systems', doktorska disertacija, Fakultet elektrotehnike i računarstva, Zagreb.
@phdthesis{phdthesis, author = {Bagi\'{c} Babac, M.}, year = {2009}, pages = {132}, keywords = {model checking, multi-agent systems, epistemic reasoning, ACTLW}, title = {Verification of dynamic epistemic properties in multi-agent systems}, keyword = {model checking, multi-agent systems, epistemic reasoning, ACTLW}, publisherplace = {Zagreb} }