prikaz prve stranice dokumenta Verification of dynamic epistemic properties in multi-agent systems
Rad nije dostupan
disertacija
Verification of dynamic epistemic properties in multi-agent systems
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2009. urn:nbn:hr:168:305081
Bagić Babac, Marina
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zavod za telekomunikacije

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Bagić Babac, M. (2009). Verification of dynamic epistemic properties in multi-agent systems (Disertacija). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:305081

Bagić Babac, Marina. "Verification of dynamic epistemic properties in multi-agent systems." Disertacija, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2009. https://urn.nsk.hr/urn:nbn:hr:168:305081

Bagić Babac, Marina. "Verification of dynamic epistemic properties in multi-agent systems." Disertacija, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2009. https://urn.nsk.hr/urn:nbn:hr:168:305081

Bagić Babac, M. (2009). 'Verification of dynamic epistemic properties in multi-agent systems', Disertacija, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 18.12.2024., https://urn.nsk.hr/urn:nbn:hr:168:305081

Bagić Babac M. Verification of dynamic epistemic properties in multi-agent systems [Disertacija]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2009 [pristupljeno 18.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:305081

M. Bagić Babac, "Verification of dynamic epistemic properties in multi-agent systems", Disertacija, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2009. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:305081

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:305081
Podaci o radu
NaslovVerification of dynamic epistemic properties in multi-agent systems
Naslov (hrvatski)Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava
AutorMarina Bagić Babac
MentorMarijan Kunštić (mentor)
Član povjerenstvaDragan Jevtić (predsjednik povjerenstva)
Član povjerenstvaMiljenko Mikuc (član povjerenstva)
Član povjerenstvaAntun Carić (član povjerenstva)
Član povjerenstvaMojca Ciglarič (član povjerenstva)
strani drzavljanin: Nije dostupno
Član povjerenstvaIgnac Lovrek (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
(Zavod za telekomunikacije)
Zagreb
Datum i država obrane2009-04-28, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Elektrotehnika
Univerzalna decimalna klasifikacija
(UDC)		621.3 - Elektrotehnika
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.
Sažetak (hrvatski)
Paradigma višeagentskih sustava (MAS) uspješno je primijenjena u raznim područjima poput filozofije, ekonomije i softverskog inženjerstva. MAS formalizam omogućava apstrahiranje sustava od nepotrebnih detalja i fokusiranje na komunikaciju i kooperciju među agentima u sustavu. Ova disertacija bavi se problemima specifikacije i verifikacije višeagentskih sustava s naglaskom na njihova dinamička epistemička svojstva. Agent je kao najmanja jedinica višeagentskog sustava prikazan pomoću strukture epistemičkog prijelaznog sustava (Epistemic transition system - ETS). Višeagentski sustav prikazan je kao skup ETS-ova što čini epistemički sinkroni produkt (Epistemic Synchronous Product - ESP). Time je opisan formalni model agenata. Za provjeravanje njihovih dinamičkih epistemičkih svojstava koristi se proširenje ACTLW logike (Action computation tree logic with unless operator) logika za epistemičku analizu. U njoj su epistemički operatori pomoću kojih se verificira znanje agenata. Operatori su implementirani pomoću simboličkih algoritama koji se temelje na binarnim stablima odlučivanja (binary decision diagrams - BDDs). Teorijska raščlamba disertacije potkrijepljena je na kraju skupom komunikacijskih primjera od kojih svaki sadrži specifikaciju, kodiranje, verifikaciju i eksperimantalne rezultate simulacije.
Ključne riječi
Ključne riječi (hrvatski)
Jezikengleski
URN:NBNurn:nbn:hr:168:305081
ProjektŠifra: 036-0362027-1640
Naziv: UPRAVLJANJE MREŽOM I USLUGAMA TEMELJENO NA ZNANJU
Voditelj: Dragan Jevtić
Pravna nadležnost: Hrvatska
Financijer: MZOS
Linija financiranja: ZP
Studijski programNaziv: Elektrotehnika
Vrsta studija: sveučilišni
Stupanj studija: poslijediplomski znanstveni (doktorski)
Akademski / stručni naziv: doktor/doktorica znanosti, po-dručje tehničkih znanosti (dr. sc.)
URL zapisa u kataloguhttp://lib.fer.hr/cgi-bin/koha/opac-detail.pl?biblionumber=33435
Vrsta resursaTekst
Opseg132 str.
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2020-03-24 12:18:06