Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Rezoniranje o višeagentnim sustavima na primjeru kartaških igara pomoću sustava za automatsko dokazivanje tvrdnji OTTER (CROSBI ID 346759)

Ocjenski rad | magistarski rad (mr. sc. i mr. art.)

Maliković, Marko Rezoniranje o višeagentnim sustavima na primjeru kartaških igara pomoću sustava za automatsko dokazivanje tvrdnji OTTER / Čubrilo, Mirko (mentor); Varaždin, Fakultet organizacije i informatike, . 2006

Podaci o odgovornosti

Maliković, Marko

Čubrilo, Mirko

hrvatski

Rezoniranje o višeagentnim sustavima na primjeru kartaških igara pomoću sustava za automatsko dokazivanje tvrdnji OTTER

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.

Višeagentni sustavi; Kartaške igre; Automatsko rezoniranje; OTTER

nije evidentirano

engleski

Reasoning about multiagent systems by using OTTER system for automatic theorem proving on the example of card games

nije evidentirano

Multiagent systems; Card games; Automated reasoning; OTTER

nije evidentirano

Podaci o izdanju

103

24.10.2006.

obranjeno

Podaci o ustanovi koja je dodijelila akademski stupanj

Fakultet organizacije i informatike

Varaždin

Povezanost rada

Informacijske i komunikacijske znanosti