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: 293434

Disertacija

Autor: Maliković, Marko
Naslov: Rezoniranje o višeagentnim sustavima na primjeru kartaških igara pomoću sustava za automatsko dokazivanje tvrdnji OTTER
( Reasoning about multiagent systems by using OTTER system for automatic theorem proving on the example of card games )
Vrsta: magistarski rad
Fakultet: Fakultet organizacije i informatike
Sveučilište: Sveučilište u Zagrebu
Mjesto: Varaždin
Datum: 24.10.
Godina: 2006
Stranica: 103
Mentor: Čubrilo, Mirko
Ključne riječi: Višeagentni sustavi; Kartaške igre; Automatsko rezoniranje; OTTER
( Multiagent systems; Card games; Automated reasoning; OTTER )
Sažetak:
Rad istražuje mogućnosti rezoniranja o kartaškim igrama kao primjeru višeagentnih sustava, uz pomoć sustava za automatsko dokazivanje tvrdnji OTTER. Kartaške igre, kao igre temeljene na znanju, modeliramo propozicijskom višemodalnom epistemičkom logikom S5m. Da bi se o kartaškim igrama moglo rezonirati pomoću OTTER-a koji je sustav za dokazivanje tvrdnji izraženih klasičnom propozicijskom logikom i predikatnom logikom prvog reda, potrebno je tvrdnje prikazane epistemičkom logikom prilagoditi pomoću adekvatnih proširenja. Za rezoniranje o promjenama stanja i znanja igrača u kartaškim igrama protekom vremena, u radu se uvodi poseban vremenski parametar.
Izvorni jezik: HRV
Znanstvena područja:
Informacijske i komunikacijske znanosti
Upisao u CROSBI: Marko Maliković (marko@ffri.hr), 23. Ožu. 2007. u 02:21 sati



  Verzija za printanje   za tiskati


upomoc
foot_4