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.)
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