Johdatus modaaliseen peliteoriaan

Show full item record



Permalink

http://urn.fi/URN:NBN:fi:hulib-202004291990
Title: Johdatus modaaliseen peliteoriaan
Author: Piironen, Antti
Contributor: University of Helsinki, Faculty of Science
Publisher: Helsingin yliopisto
Date: 2020
Language: fin
URI: http://urn.fi/URN:NBN:fi:hulib-202004291990
http://hdl.handle.net/10138/314590
Thesis level: master's thesis
Discipline: Matematiikka
Abstract: Tutkielmassani esittelen työkalumaisesti johdantoa modaalipelien teoriaan. Modaalipelit ovat modaalilogiikan ja modaalisen predikaattilogiikan avulla käytäviä pelejä, joissa voidaan hyödyntää klassisen peliteorian teoriaa. Modaalipelit muodostavat kielellisen raamin peleille ja toteankin että tutkielmassa tutkitaan Wittgensteinilaisia kielipelejä sekä kieltä, logiikan ollessa kieli. Tutkielma jakautuu kahteen osaan: I) Klassinen peliteoria ja II) Modaalinen Peliteoria. Ensimmäisessä osassa luon ensin historiallisen synteesin logiikan ja peliteorian kehityksen osalle, jonka jälkeen esittelen työkaluja vakiosummapeleihin sekä tasapainopeleihin. Esimerkkeinä käytän lähinnä kilpailullisia pelejä ja eräitä tunnetuimpia pelejä kuten vangin dilemma sekä tuon esille esimerkin yhteistyöpeleistä. Sen jälkeen pyrin esittämään mahdollisimman yksinkertaisesti tärkeimmät menetelmät pelien ratkaisuihin sekä tuoton maksimointiin, jotka ovat: dominoivat strategiat, sekastrategiat, Nash-tasapaino sekä min-max teorian perusteita. Tämän jälkeen todistan välttämättömät ja riittävät lauseet liittyen em. ratkaisuihin. Osassa kaksi aloitan ensin käsittelemällä työssä käytettävää logiikkaa, joka on modaalilogiikka ja modaalinen predikaattilogiikka. Käsittelemme ensin perusmääritelmät Kripke-semantiikalle, jossa esitämme esimerkkejä aleettisen, deonttisen sekä episteemisen logiikan käännöksiä lauseista. Sen jälkeen tarkastelemme modaalilogiikan totuuden asteita: validi mallissa, tautologia, K-validi jne. todistaen samalla riittävän ja välttämättömän määrän teoriaa modaalilogiikan tautologian ja validien lauseiden muodostuksesta, jotta niistä voidaan ylipäätänsäkään puhua semanttisten pelien voittostrategian olemassaolon yhteydessä. Tämän jälkeen esitän modaalisen predikaattilogiikan perusteet ja semantiikan joita käytämme todistaessamme päätuloksen semanttisen pelin voittostrategiasta. Semanttisten pelien yhteydessä pyrin esittämään määritelmän pelisäännöille, strategialle ja voittostrategialle sekä todistamaan tuloksen voittostrategian ehdosta pelaajalle II. Semanttisen pelin pyrin laatimaan niin että se kattaa klassiset semanttiset pelit (propositionaalilogiikan ja predikaattilogiikan semanttiset pelit) ja modaalilogiikan semanttiset pelit. Tämän jälkeen esitän lyhyitä esimerkkejä aiheesta. Viimeisenä esitän lyhyen luonnoksen klassisen peliteorian päälle rakentuvasta modaalipelistä käyttäen esimerkkinä Vangin Dilemmaa ja Paholaisen Asianajajaa. Mahdollisen maailman käsite vastaa sekä semanttisessa modaalipelissä että modaalisessa pelissä pelaajan aitoa tilaa johon hän on saapunut kielen käyttönsä tuloksena.
Subject: peliteoria
modaalilogiikka
logiikka
kielifilosofia
matematiikka
modaalinen peliteoria
semanttinen peli
modaalipeli


Files in this item

Total number of downloads: Loading...

Files Size Format View
Piironen_Antti_Pro_gradu_2020.pdf 574.0Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record