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)

Autori
Maliković, Marko

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, magistarski rad

Fakultet
Fakultet organizacije i informatike

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
Hrvatski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA