Sökning: "Louise Tidestav"
Hittade 1 uppsats innehållade orden Louise Tidestav.
1. Creating and updating Kripke models for multi-agent games with imperfect information against Nature
Kandidat-uppsats, KTH/DatavetenskapSammanfattning : Higher-order knowledge can be crucial when playing a game. Information about the history of the game can also be important. Hintikka’s world is a tool that uses Kripke models to visualize higher-order knowledge for various games. The Kripke models represent possible states a game can be in, and which agents can separate what states. LÄS MER
Resultatsidor:
1