Sökning: "Louise Tidestav"

Hittade 1 uppsats innehållade orden Louise Tidestav.

  1. 1. Creating and updating Kripke models for multi-agent games with imperfect information against Nature

    Kandidat-uppsats, KTH/Datavetenskap

    Författare :Louise Tidestav; Albin Rydén; [2022]
    Nyckelord :;

    Sammanfattning : 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