Sökning: "knowledge-based subset construction"

Visar resultat 1 - 5 av 17 uppsatser innehållade orden knowledge-based subset construction.

  1. 1. A Formally Motivated Algorithm for Synthesis of Strategies in Multi-Agent Games of Imperfect Information Against Nature

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Jakob Alfredsson; Jakob Carlsson; [2023]
    Nyckelord :;

    Sammanfattning : In this project we study games where multiple agents cooperate to reach some common team objective. The agents do not have perfect information about the game state, and they cannot communicate during the course of the game. LÄS MER

  3. 2. Investigation on stability of Knowledge Based Subset Construction in Multi-Agent Games

    Kandidat-uppsats, KTH/Datavetenskap

    Författare :Gustaf Johansson; Gustaf Bergmark; [2022]
    Nyckelord :Multi-Agent games; Imperfect information; Strategy synthesis; Structural conditions; Fleragentsspel; Ofullständig information; Strategisyntes; Strukturella villkor;

    Sammanfattning : Many real life problems can be modelled using multi-agent games played on finite graphs. When an agent cannot differentiate between game states, for example when a robot operates with a broken sensor, the game is classified as a game of imperfect information. LÄS MER

  4. 3. An efficient algorithm for strategy synthesis in multi-agent games of imperfect information

    Kandidat-uppsats, KTH/Datavetenskap

    Författare :Alfred Andersson; [2022]
    Nyckelord :;

    Sammanfattning : This project studies games where a team of agents cooperate to achieve a given objective. The agents are assumed to have imperfect information about the game state and no means of communicating with each other. LÄS MER

  5. 4. Recursive knowledge representation for multi-agent games over graphs

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Gustaf Pihl; [2022]
    Nyckelord :MKBSC; KBSC; MAGIIAN; Game Theory; Strategy Synthesis; Knowledge Representation; Epistemic Knowledge; Common Knowledge; MKBSC; KBSC; MAGIIAN; Spelteori; Strategisyntes; Kunskapsrepresentation; Epistemologi; Gemensam kunskap;

    Sammanfattning : In this thesis I explore a construction for Multi-Agent Games of Imperfect Information Against Nature (MAGIIAN) introduced by Gurov et al. called the Multiplayer Knowledge-Based Subset Construction (MKBSC). LÄS MER

  7. 5. Interpretations of epistemic mu-calculus over multi-agent games

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Nikitas Stathatos; [2022]
    Nyckelord :epistemic logic; game theory; multi-agent systems; semantics; epistemisk logik; spelteori; multi-agent systems; semantiker;

    Sammanfattning : In this work, we are interested in expressing and studying certain formal properties of multi-agent games. In particular, we are interested in the case in which a team of agents with imperfect information is playing against the environment. LÄS MER