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. In this report, we have limited the scope to simple objectives where the goal is to reach any member of a specified set of game states. To achieve this, we translate the multi-agent game of imperfect information to individual games of perfect information for each agent using the method Multi-Agent Knowledge-Based Subset Contruction (MKBSC). In these games, each representing the view of an individual agent, we find all possibly-winning strategies, and then combine them into a surely-winning multi-agent strategy profile for the original game, if one exists. Unlike previous work, we also provide a formal motivation for the correctness of this method.

I det här projektet studerar vi spel där flera agenter samarbetar för att nå ett visst gemensamt mål. De har inte perfekt information om spelets tillstånd, och de kan inte kommunicera under spelets gång. I denna rapport har vi begränsat omfattningen till enkla mål, där målet är att nå ett av en viss uppsättning tillstånd. För att uppnå detta översätter vi fleragentspelet med ofullständig information till individuella spel med perfekt information med hjälp av metoden Multi-Agent Knowledge-Based Subset Construction"(MKBSC) för att översätta ett fleragentspel med ofullständig information till individuella spel med perfekt information för varje agent. I dessa spel, som vart och ett representerar perspektivet hos en individuell agent, hittar vi alla potentiellt-vinnande strategier och kombinerar dem sedan till en definitivt-vinnande strategi i det ursprungliga spelet, om en sådan existerar. Till skillnad från tidigare arbeten tillhandahåller vi också en formell motivering till att denna metod är korrekt.