crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 526165

Časopis

Autori: Maliković, Marko; Čubrilo, Mirko
Naslov: Reasoning about Epistemic Actions and Knowledge in Multi-agent Systems using Coq
( Reasoning about Epistemic Actions and Knowledge in Multi-agent Systems using Coq )
Izvornik: Computer Technology and Application (1934-7332) 2 (2011), 8; 616-627
Vrsta rada: članak
Ključne riječi: Multi-agent systems; Knowledge games; Dynamic logic of common knowledge; Epistemic actions; Coq
( Multi-agent systems; Knowledge games; Dynamic logic of common knowledge; Epistemic actions; Coq )
Sažetak:
In this paper we outline a formal system for reasoning about agents’ knowledge in knowledge games - a special type of multi-agent system. Knowledge games are card games where the agents’ actions involve an exchange of information with other agents in the game. Our system is modeled using Coq - a formal proof management system. To the best of our knowledge, there are no papers in which knowledge games are considered using a Coq proof assistant. We use the dynamic logic of common knowledge, where we particularly focus on the epistemic consequences of epistemic actions carried out by agents. We observe the changes in the system that result from such actions. Those changes that can occur in such a system that are of interest to us take the form of agents’ knowledge about the state of the system, knowledge about other agents’ knowledge, higher-order agents’ knowledge and so on, up to common knowledge. Besides an axiomatic of epistemic logic, we use a known axiomatization of card games that is extended with some new axioms that are required for our approach. Due to a deficit in implementations grounded in theory that enable players to compute their knowledge in any state of the game, we show how our approach can be used for these purposes.
Projekt / tema: 016-0161741-1739
Izvorni jezik: eng
Kategorija: Znanstveni
Znanstvena područja:
Informacijske i komunikacijske znanosti
URL cjelovitog teksta:
Časopis izlazi u samo elektroničkom izdanju: NE
Google Scholar: Reasoning about Epistemic Actions and Knowledge in Multi-agent Systems using Coq
Upisao u CROSBI: marko@ffri.hr (marko@ffri.hr), 20. Ruj. 2011. u 08:55 sati



Verzija za printanje   za tiskati


upomoc
foot_4