Induction puzzlesInduction puzzles are logic puzzles, which are examples of multi-agent reasoning, where the solution evolves along with the principle of induction. A puzzle's scenario always involves multiple players with the same reasoning capability, who go through the same reasoning steps. According to the principle of induction, a solution to the simplest case makes the solution of the next complicated case obvious. Once the simplest case of the induction puzzle is solved, the whole puzzle is solved subsequently.
Logique épistémiqueLa logique épistémique est une logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents. Elle permet aussi de raisonner sur les connaissances des connaissances des autres agents, etc. Son nom est tiré du nom grec epistḗmē qui signifie « connaissance » (du verbe epístamai « savoir »), d'où vient aussi le mot épistémologie. L'application de la logique épistémique à l'économie a été promue par Robert Aumann, Prix Nobel d'économie 2005. Elle a été introduite par et Jaakko Hintikka.
Stratégie (théorie des jeux)En théorie des jeux, la stratégie d'un joueur est l’une des options qu’il choisit dans un contexte où le résultat dépend non seulement de ses propres actions, mais également de celles des autres . La stratégie d'un joueur déterminera l'action qu'il entreprendra à n'importe quel stade de la partie. Une stratégie est un algorithme complet pour jouer à un jeu permettant au joueur de déterminer ce qu’il doit faire dans toutes les situations possibles du jeu.
Chasse au cerf (jeu)Dans la théorie des jeux, la chasse au cerf est un jeu qui décrit un conflit entre sécurité et coopération sociale. Ses autres noms incluent "jeu d'assurance", "jeu de coordination" et "dilemme de confiance". Jean-Jacques Rousseau a décrit une situation dans laquelle deux individus partaient à la chasse . Chacun peut choisir individuellement de chasser un cerf ou de chasser un lièvre . Chaque joueur doit choisir une action sans connaître le choix de l'autre. Si un individu chasse un cerf, il doit avoir la coopération de son partenaire pour réussir.
Raisonnement rétrogradevignette|Un jeu séquentiel en quatre étapes avec une limite de prévoyance Le raisonnement rétrograde ou l'induction à rebours (Backward induction) est une méthode de raisonnement qui consiste à partir d'un résultat final connu pour retracer les étapes ou les événements qui ont conduit à ce résultat. Principalement utilisée en théorie des jeux, il est utilisé pour résoudre les jeux de manière séquentielle en partant de la fin du jeu et en remontant jusqu'au début.
Dynamic epistemic logicDynamic epistemic logic (DEL) is a logical framework dealing with knowledge and information change. Typically, DEL focuses on situations involving multiple agents and studies how their knowledge changes when events occur. These events can change factual properties of the actual world (they are called ontic events): for example a red card is painted in blue. They can also bring about changes of knowledge without changing factual properties of the world (they are called epistemic events): for example a card is revealed publicly (or privately) to be red.
Équilibre de Nashvignette|Le dilemme du prisonnier : chacun des deux joueurs dispose de deux stratégies : D pour dénoncer, C pour ne pas dénoncer. La matrice présente le gain des joueurs. Si les deux joueurs choisissent D (se dénoncent), aucun ne regrette son choix, car s'il avait choisi C, alors que l'autre a opté pour D, sa « tristesse » aurait augmenté. C'est un équilibre de Nash — il y a « non-regret » de son choix par chacun, au vu du choix de l'autre.
Jeu bayésienEn théorie des jeux, un jeu bayésien est un jeu dans lequel l'information dont dispose chaque joueur sur les caractéristiques des autres joueurs est incomplète. En particulier, on représente ainsi un jeu dans lequel un ou plusieurs joueurs font face à une incertitude quant au gain des autres joueurs. Cette situation impose de spécifier pour chaque joueur des croyances concernant les caractéristiques des autres joueurs. Du fait de l'hypothèse de rationalité, ces croyances prennent la forme d'une distribution de probabilités sur toutes les caractéristiques possibles.
Extensive-form gameIn game theory, an extensive-form game is a specification of a game allowing (as the name suggests) for the explicit representation of a number of key aspects, like the sequencing of players' possible moves, their choices at every decision point, the (possibly imperfect) information each player has about the other player's moves when they make a decision, and their payoffs for all possible game outcomes. Extensive-form games also allow for the representation of incomplete information in the form of chance events modeled as "moves by nature".
Théorie des jeuxLa théorie des jeux est un domaine des mathématiques qui propose une description formelle d'interactions stratégiques entre agents (appelés « joueurs »). Les fondements mathématiques de la théorie moderne des jeux sont décrits autour des années 1920 par Ernst Zermelo dans l'article , et par Émile Borel dans l'article . Ces idées sont ensuite développées par Oskar Morgenstern et John von Neumann en 1944 dans leur ouvrage qui est considéré comme le fondement de la théorie des jeux moderne.
